Следует ли отклонить следующую программу? Clang, кажется, принимает это.
Код: Выделить всё
template
concept c = requires { T::n; };
struct z;
constexpr bool b(auto...) { return c; }
struct z { int n; };
static_assert(not b()); // clang ok, gcc nope, msvc nope
К моменту вычисления b() шаблон b будет неявно удален, и тип z будет завершен. Однако выражение c внутри b не зависит ни от одного из параметров шаблона b. Итак, я думаю, вопрос сводится к тому, следует ли разрешать c при определении шаблона b или при его создании.
Демо< /п>
Подробнее здесь:
https://stackoverflow.com/questions/790 ... e-complete