Gli argomenti della funzione del pacchetto parametri possono essere impostati in modo predefinito?

Question

Questo è un punto su cui gcc 4.9.2 e clang 3.5.2 sono in netto disaccordo . Il programma:

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

int main() 
{ 
    return foo(); 
} 

compila senza commento da gcc (-std=c++11 -Wall -pedantic). Clang dice:

error: missing default argument on parameter 'args' 

Con foo modificato a:

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

clang ha nessuna lamentela, ma gcc dice:

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

quale compilatore è giusto?

Answer 1

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

Un argomento di default non sono determinati per un pacchetto di parametri.

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

In una data dichiarazione di funzione, ogni parametro successivo ad un parametro con un argomento predefinito deve avere un argomento di default fornita in questa o in una precedente dichiarazione o deve essere un pacchetto di parametri di funzione.

Quindi questo consente il codice come void f(int a = 10, Args ... args), o effettivamente come il tuo primo frammento di codice. (Grazie a @ T.C. Per cercare la seconda frase!)

Answer 2

Un Kerrek SB dice, non è possibile. Che cosa si potrebbe fare, invece, utilizza un std::tuple

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