static_assert(

Question

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"?

#c++ #embedded #programming #russian

0

01.09.2021

19 ответов

13 просмотров

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

Stas
static_assert(std::is_same_v<TIndex, int> || ...

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

0

01.09.2021

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

Stas
static_assert(std::is_same_v<TIndex, int> || ...

тут нет short circuit

0

01.09.2021

Stas

Constantine Drozdov
тут нет short circuit

почему?

0

01.09.2021

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

Stas
почему?

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

0

01.09.2021

Stas

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

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

0

01.09.2021

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

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

неперегруженный &&

0

01.09.2021

Vlad

>Conjunction is short-circuiting

0

01.09.2021

Danya🔥

Constantine Drozdov
тут нет short circuit

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

0

01.09.2021

Vlad

Vlad
>Conjunction is short-circuiting

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

0

01.09.2021

Ofee Oficsu

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

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

0

01.09.2021

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

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

0

01.09.2021

Ofee Oficsu

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

0

01.09.2021

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

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

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

0

01.09.2021

Stas

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> }; };

0

01.09.2021

Stas

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

или концепт

0

01.09.2021

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

Stas
или концепт

нет 20го

0

01.09.2021