Информация об изменениях

Сообщение Re[2]: концептуальный wish you happy debug от 08.11.2024 13:54

Изменено 08.11.2024 14:17 F3V

Re[2]: концептуальный wish you happy debug
Здравствуйте, 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

А полный пример можно увидеть?

А то всё равно нужно подстановку делать в список классов, что требует изменения кода в остальных местах.
Re[2]: концептуальный wish you happy debug
Здравствуйте, 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/GP8e5rTsP

А то всё равно нужно подстановку делать в список классов, что требует изменения кода в остальных местах.
Подсветка среды для старых версий была.

Спасибо!