c++ - 具有固定数量的模板参数的类内部的多个包扩展

Question

这段代码格式是否正确？即使 Ts 很可能为空，函数模板本身的声明也会在 clang 和 gcc 中给出错误。

// error: too many template arguments for class template 'pair'
template<class I, class U, class... Ts>
void f(std::pair<I,U,Ts...>);

int main()
{
    f(std::pair<int,int>());
}

函数调用在 gcc 中给出了这个没有意义的错误。没有到 int 的转换:

note: cannot convert 'std::pair<int, int>()' (type 'std::pair<int, int>') to type 'int'

Answer 1

[温度.res]/8:

If every valid specialization of a variadic template requires an empty template parameter pack, the template is ill-formed, no diagnostic required.

f 的每个有效特化都要求 Ts 是一个空包。因此该程序是格式错误的 NDR。两个编译器都是正确的。

至于 GCC 的诊断，这似乎是由于它习惯于使用 int 作为“看起来像类型但没有意义的东西”的占位符以进行错误恢复。