Здравствуйте, vopl, Вы писали:
V>не знаю пока зачем такое может понадобиться, но удалось организовать перевычисляемые концепты:
| | decltype(...) |
| | V>template<class T, class Entropy = decltype([]{})> concept fable = requires(const T& t) { f(t); Entropy{}; };
struct C{};
static_assert(!fable<C>);
void f(C);
static_assert(fable<C>);
|
| | |
https://gcc.godbolt.org/z/MPssWecWb
А полный пример можно увидеть?
https://gcc.godbolt.org/z/dPnYEMqzr
А то всё равно нужно подстановку делать в список классов, что требует изменения кода в остальных местах.
Подсветка среды для старых версий была.
Спасибо!
