Czy argumenty funkcji zestawu parametrów mogą być domyślne?

Question

To jest punkt, o którym gcc 4.9.2 i clang 3.5.2 są ostry nieporozumienia. Program:

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

int main() 
{ 
    return foo(); 
} 

kompiluje bez komentarza z gcc (-std=c++11 -Wall -pedantic). Dzyń mówi:

error: missing default argument on parameter 'args' 

Z foo zmienione na:

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

dzyń ma żadnych skarg, ale gcc mówi:

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

Który kompilator ma rację?

Answer 1

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

domyślny argument nie określa się dla opakowania parametrów.

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

W danym zgłoszenia funkcji, każdy parametr Po parametru z domyślnym argumentu ma domyślny Argumentowane w tej lub poprzedniej deklaracji lub będzie pakietem parametrów funkcji.

Pozwala to na stosowanie kodu takiego jak void f(int a = 10, Args ... args), a nawet jak w przypadku pierwszego fragmentu. (Dzięki @ T.C. Za sprawdzenie drugiego zdania!)

Answer 2

Kerrek SB mówi, że to niemożliwe. Co można zrobić, zamiast tego używa std::tuple

template <class ... Args> 
void foo(std::tuple<Args...> t = std::tuple<int>(0)) 
{}