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 ответов

40 просмотров

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

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

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

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

30500 за редактор? )
Владимир
47
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
вы делали что-то подобное и как? может есть либы готовые? увидел картинку нокода, где всё линиями соединено и стало интересно попробовать то же в ddl на lua сделать. решил с ч...
Victor
8
Подскажите пожалуйста, как в CustomDrawCell(Sender: TcxCustomGridTableView; ACanvas: TcxCanvas; AViewInfo: TcxGridTableDataCellViewInfo; var ADone: Boolean); получить наз...
A Z
7
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Раз начали говорить про embassy, то присоединюсь со своими парой вопросов. 1) Есть ли сопоставимые аналоги для асинхронного кода в emdebbed? 2) Можно ли внутри задач embassy ...
NI_isx
6
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
1
Он в одиночку это дело запилил или была какая-то команда?
Aquinary
12
~ 2m21s  nix shell github:nixos/nixpkgs#stack ~  stack ghc -- --version error: … while calling the 'derivationStrict' builtin at /builtin/derivation.nix:...
Rebuild your mind.
6
Карта сайта