Пример кода можно найти ниже или на компиляторе. Все 3 случая разрешены GCC, в то время как Svariadictemplate :: foo отклоняется Clang и MSVC. Какой компилятор верен в этом случае? < /P>
#include
struct SNonTemplate {
template
static void foo(Template) {}
};
template
struct STemplate {
template
static void foo(Template) {}
};
template
struct SVariadicTemplate {
template
static void foo(Template) {}
};
template
struct S {};
static_assert(requires { SNonTemplate::foo(std::declval()); });
static_assert(requires { STemplate::foo(std::declval()); });
static_assert(requires { SVariadicTemplate::foo(std::declval()); }); // error clang/MSVC: too many template arguments for S
Подробнее здесь: https://stackoverflow.com/questions/796 ... e-template
