Вычет аргумента шаблона с шаблоном переменного шаблона ⇐ C++

[Anonymous]

Пример кода можно найти ниже или на компиляторе. Все 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