Как отключить кэширование оценки концепции? ⇐ C++

[Anonymous]

Похоже, что все компиляторы выполняют кэширование оценок концепций. Поэтому, если какая-то концепция была оценена как false , как только она не будет переоценена снова для того же аргумента:

Код: Выделить всё

template 
concept C = T::a;

struct A;
static_assert(!C);

struct A { static constexpr bool a = true; };
static_assert(C); //< fails everywhere unless above static_assert is removed
< /code>
Могу ли я как -то деактивировать это кэширование? Я попытался добавить дополнительный аргумент шаблона в концепцию со значением по умолчанию Lambda auto = [] {} 

, который должен иметь новый тип каждый раз:

Код: Выделить всё

template 
concept C = T::a;

struct A;
static_assert(!C);

struct A { static constexpr bool a = true; };
static_assert(C); //< fails in GCC only
< /code>
Это действительно работало с Clang, EDG и MSVC. Но GCC по -прежнему выполняет кэширование из предыдущей оценки концепции C  

, где это было false . Онлайн демонстрация: https://gcc.godbolt.org/z/fg1nx884x
Здесь правильное поведение GCC?

Подробнее здесь: https://stackoverflow.com/questions/796 ... lt-caching