Я не могу найти правильный синтаксис в cppreference для концепции, которая соответствует значению статического члена constexpr. Этот код компилируется и правильно работает в GCC и MSVC, но не работает в Clang. Мне было интересно, знает ли кто-нибудь, была ли это моя ошибка или проблема с GCC, MSVC или Clang?
Вот божий болт со всеми тремя открытыми компиляторами, я думаю, это иллюстрирует суть!
#include
#include
template
concept MyConcept = requires (T t){
requires t.member == 1;
//[clang's error]
// note: because 't.member == 1' would be invalid:
// constraint variable 't' cannot be used in an evaluated context
};
struct S {
constexpr static int member {2};
};
struct D {
constexpr static int member {1};
};
template
void func(){
std::cout
Подробнее здесь: https://stackoverflow.com/questions/685 ... -similar-c
