c++ - 参数包函数参数可以默认吗？

Question

这是 gcc 4.9.2 和 clang 3.5.2 的重点分歧。程序:

template<typename ...Ts>
int foo(int i = 0, Ts &&... args)
{
    return i + sizeof...(Ts);
}

int main()
{
    return foo();
}

编译时没有来自 gcc 的注释 (-std=c++11 -Wall -pedantic)。 Clang 说:

error: missing default argument on parameter 'args'

将foo修改为:

template<typename ...Ts>
int foo(int i = 0, Ts &&... args = 0)
{
    return i + sizeof...(Ts);
}

clang 没有提示，但 gcc 说:

error: parameter pack ‘args’ cannot have a default argument

哪个编译器是正确的？

Answer 1

从 8.3.6 ([dcl.fct.default])/3:

A default argument shall not be specified for a parameter pack.

从 8.3.6 ([dcl.fct.default])/4:

In a given function declaration, each parameter subsequent to a parameter with a default argument shall have a default argument supplied in this or a previous declaration or shall be a function parameter pack.

所以这允许像 void f(int a = 10, Args ... args) 这样的代码，或者确实像你的第一个片段。 (感谢@T.C. 查找第二句话!)