Телеграмм чат группы supapro страница 33015

17:04пожаловаться #1

DP

Denis Paukaev in supapro.cxx

Danya

Не очень понятно что ты имеешь в виду

Что constexpr не отличить от const?

D

Я пишу концепты
И мне надо проверить что у типа есть 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>;

Пришёл к такому решению:

template <auto>
    concept constant_expression = true;

Использование:

concept ... = constant_expression<T::foo>

D

Что constexpr не отличить от const?

Мне достаточно того, что это константа этапа компиляции

D

Пришёл к такому решению:

template <auto>
    concept constant_expression = true;

Использование:

concept ... = constant_expression<T::foo>

Насколько я знаю, что если в описации концепта не в requires написать ill-formed выражение, то оно вернёт false просто

17:07пожаловаться #5

D

Да даже если грохнется компиляция, то тоже норм

17:07пожаловаться #6

D

https://godbolt.org/z/boqvbz
Почему на 30 строке берётся перегрузка с requires?

Compiler Explorer - C++ (x86-64 gcc 10.2)

template <auto>
concept constant_expression = true;

struct FooWithConstant {
static constexpr auto bar = 0;
};

struct FooWithNonConstant {
static inline auto bar = 0;
};

template <typename T>
concept compile_time_foo = constant_expression<T::bar>;

template <typename T>
requires compile_time_foo<T>
void write_foo() {
std::puts("Compile-time Foo");
}

template <typename T>
void write_foo() {
std::puts("Runtime-time Foo");
}

int main() {
write_foo<FooWithConstant>();
write_foo<FooWithNonConstant>();
}

17:27пожаловаться #7

D

Тип если инлайн статик переменная инициализируется константным выражением, то она сама становится константным выражением?

17:28пожаловаться #8

АК

Danya

Тип если инлайн статик переменная инициализируется константным выражением, то она сама становится константным выражением?

static_assert(compile_time_foo<FooWithNonConstant>); не фейлится

D

static_assert(compile_time_foo<FooWithNonConstant>); не фейлится

Я это понимаю, почему?

17:29пожаловаться #10

D

По идее должен же

17:29пожаловаться #11

D

FooWithNonConstant::bar не константное выражение же

17:30пожаловаться #12

D

По идее..

17:30пожаловаться #13

АК

template <auto Value>
concept constant_expression = (std::integral_constant<decltype(Value), Value>{}, true);

17:30пожаловаться #14

АК

а вот почему - хз, вероятно компилятор видит always-true концепт и ему этого хватает

17:31пожаловаться #15

D

Александр Караев

а вот почему - хз, вероятно компилятор видит always-true концепт и ему этого хватает

Го репортить багу в MSVC или GCC?)))
https://godbolt.org/z/EMG9sE

Compiler Explorer - C++ (x64 msvc v19.24)

template <auto>
concept constant_expression = true;

struct FooWithConstant {
static constexpr auto bar = 0;
};

struct FooWithNonConstant {
static inline auto bar = 0;
};

template <typename T>
concept compile_time_foo = constant_expression<T::bar>;

template <typename T>
requires compile_time_foo<T>
void write_foo() {
std::puts("Compile-time Foo");
}

template <typename T>
void write_foo() {
std::puts("Runtime-time Foo");
}

int main() {
write_foo<FooWithConstant>();
write_foo<FooWithNonConstant>();
}

17:32пожаловаться #16

АК

Danya

Го репортить багу в MSVC или GCC?)))
https://godbolt.org/z/EMG9sE

Compiler Explorer - C++ (x64 msvc v19.24)

template <auto>
concept constant_expression = true;

struct FooWithConstant {
static constexpr auto bar = 0;
};

struct FooWithNonConstant {
static inline auto bar = 0;
};

template <typename T>
concept compile_time_foo = constant_expression<T::bar>;

template <typename T>
requires compile_time_foo<T>
void write_foo() {
std::puts("Compile-time Foo");
}

template <typename T>
void write_foo() {
std::puts("Runtime-time Foo");
}

int main() {
write_foo<FooWithConstant>();
write_foo<FooWithNonConstant>();
}

https://godbolt.org/z/r1bGPv
вот так проще смотреть

template <auto Value>
concept constant_expression = true;

struct FooWithConstant {
static constexpr auto bar = 0;
};

struct FooWithNonConstant {
static inline auto bar = 0;
};

template <typename T>
concept compile_time_foo = constant_expression<T::bar>;

static_assert(compile_time_foo<FooWithConstant>);
static_assert(!compile_time_foo<FooWithNonConstant>);

Compiler Explorer - C++

17:34пожаловаться #17

АК

как по стандарту - не знаю, но я бы сказал, что гцц не прав

17:35пожаловаться #18

АК

Александр Караев

template <auto Value>
concept constant_expression = (std::integral_constant<decltype(Value), Value>{}, true);

вот так работают все

17:36пожаловаться #19

D

Александр Караев

как по стандарту - не знаю, но я бы сказал, что гцц не прав

У кланга поведение как у MSVC