170 похожих чатов

static_assert(

std::disjunction_v<
std::is_same<TIndex, int>,
std::conjunction<
std::is_enum<TIndex>,
std::is_same<std::underlying_type_t<TIndex>, uint32_t>
>
>
);
я же правильно понимаю, что такое не покатит? как нормально записать "int или enum под которым uint32_t"?

19 ответов

46 просмотров

static_assert(std::is_same_v<TIndex, int> || (std::is_enum_v<TIndex> && std::is_same_v<std::underlying_type<TIndex>, int>));

Constantine-Drozdov Автор вопроса
Stas
static_assert(std::is_same_v<TIndex, int> || ...

и почему бы это не UB?

Constantine-Drozdov Автор вопроса
Constantine-Drozdov Автор вопроса
Stas
почему?

а почему есть?

Constantine Drozdov
а почему есть?

потому что std::is_enum_v<TIndex> &&

Constantine-Drozdov Автор вопроса

>Conjunction is short-circuiting

Constantine Drozdov
тут нет short circuit

А что, в стдлибе есть перегрузка оператора&& на бул?

Vlad
>Conjunction is short-circuiting

http://eel.is/c++draft/meta.logical#3 http://eel.is/c++draft/meta.logical#8

Vlad
http://eel.is/c++draft/meta.logical#3 http://eel.i...

Там std::underlying_type_t<TIndex>, оно инстанцируется сразу вне зависимости от чего бы то ни было

Constantine-Drozdov Автор вопроса

https://godbolt.org/z/bnqheofKz в любом случае не работает даже так

В общем, проще написать свой ленивый трейт для этого В общем, проще написать свой ленивый is_same по аналогии с disjunction/conjunction, который принимает не типы, а врапперы с алиасом type Кажется, первый предложенный вариант не сработает

Constantine-Drozdov Автор вопроса
Ofee Oficsu
В общем, проще написать свой ленивый трейт для это...

Можно наверное constexpr функцию через зависимости потаскать

Constantine Drozdov
https://godbolt.org/z/bnqheofKz в любом случае не ...

ну тогда остаётся сфинай template<typename T, class Enable = void> struct is_uint32_enum : std::false_type {}; template<typename T> struct is_uint32_enum<T, std::enable_if_t<std::is_enum_v<T>>> { enum { value = std::is_same_v<std::underlying_type_t<T>, uint32_t> }; };

Constantine-Drozdov Автор вопроса
Constantine-Drozdov Автор вопроса
Andrey Davydov
https://godbolt.org/z/hcsaxKPvY

понял, круто, спасибо

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Гайс, вопрос для разносторонее развитых: читаю стрим с юарта, нада выделять с него фреймы с определенной структурой, если ли чо готовое, или долбаться с ринг буффером? нада у...
Vitaly
9
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
длина пакета фиксированная, или меняется?
Okhsunrog
7
Карта сайта