D
Понял почему?
Оно не компилируется если два раза)
Size: a a a
2020 July 29
AF
Оно не компилируется если два раза)
Дык оно и так не компилируется
LA
а есть смысл их сравнивать? этот механизм доступен лишь в constant evaluation
в рантайме ничего не изменилось
в рантайме ничего не изменилось
Я просто банально не понимаю. При вызове виртуальной функции там куча лишних операций с таблицей виртуальных функций(да-да, её не существует). В компайл тайме просто берётся информация, известная компилятору, безо всяких там лишних таблиц? Вообще не понимаю
D
Дык оно и так не компилируется
А я наверное понял про что ты, позже проверю
Е
А я наверное понял про что ты, позже проверю
VS
Я просто банально не понимаю. При вызове виртуальной функции там куча лишних операций с таблицей виртуальных функций(да-да, её не существует). В компайл тайме просто берётся информация, известная компилятору, безо всяких там лишних таблиц? Вообще не понимаю
да
DP
Я пишу концепты
И мне надо проверить что у типа есть static constexpr member variable типа bool
Есть какие-нибудь красивые способы это проверить?
А то пока у меня приходят в голову не самый красивые варианты
1) Написать:
2) Написать dummy шаблон
И мне надо проверить что у типа есть static constexpr member variable типа bool
Есть какие-нибудь красивые способы это проверить?
А то пока у меня приходят в голову не самый красивые варианты
1) Написать:
concept ... = (T::foo || !T::foo)2) Написать dummy шаблон
template <typename T, T value>
constexpr bool is_constexpr_expr = true;
...
concept ... = is_constexpr_expr<bool, T::foo>;
struct S {
static const int foo{};
};
constexpr auto k = S::foo;как же ты их интересно собрался различать )
AF
Там надо 2 раза requires наверное
Тебе нужен clause или expression?
LA
В общем, это просто название – виртуальные функции и т.д. в компалтайме, но начинка другая. Ясно, спасибо
VS
В общем, это просто название – виртуальные функции и т.д. в компалтайме, но начинка другая. Ясно, спасибо
виртуальные функции всегда были про поведение, а не про vtable. тот самый случай, когда их не стоит отождествлять, потому что на этапе компиляции есть лучшие способы реализовать это поведение
LA
виртуальные функции всегда были про поведение, а не про vtable. тот самый случай, когда их не стоит отождествлять, потому что на этапе компиляции есть лучшие способы реализовать это поведение
Да, уточка, я понял.
RZ
Как перевести массив в std::string?
То есть, у меня, допустим, есть
То есть, у меня, допустим, есть
uint16_t arr[32]. Я хочу получить std::string, в котором каждый элемент массива представлен в строчном формате.А как сделать то же самое, только чтобы в hex отразилось?
DP
А как сделать то же самое, только чтобы в hex отразилось?
ввести этот вопрос в гугл, например:
https://stackoverflow.com/questions/5100718/integer-to-hex-string-in-c
и добавить к этому итерацию по массиву
https://stackoverflow.com/questions/5100718/integer-to-hex-string-in-c
и добавить к этому итерацию по массиву
AB
Мне нужна операция взятия этой переменной в компайл тайме)
AB
struct S {
static const int foo{};
};
constexpr auto k = S::foo;как же ты их интересно собрался различать )
Очевидно, ему нужно constant expression, не обязательно constexpr
AB
Мне нужна операция взятия этой переменной в компайл тайме)
Ты сам же и написал, как это проверить
AB
requires {
constexpr bool b = T::foo;
}Это говно не работает, потому что выражения можно, а операторы нельзя
AF
Это говно не работает, потому что выражения можно, а операторы нельзя
Ну можно передавать в шаблон
DP
template<auto = 100500>
using Dummy = int;
template<typename T>
concept is_foo_const = std::is_same_v< Dummy<T::foo>, Dummy<> >;
AF
template<auto = 100500>
using Dummy = int;
template<typename T>
concept is_foo_const = std::is_same_v< Dummy<T::foo>, Dummy<> >;
Слишком сложно