Können Argumente für Parameterpakete-Funktionen voreingestellt werden?

Question

Dies ist ein Punkt, über den gcc 4.9.2 und clang 3.5.2 in scharfen Meinungsverschiedenheiten sind. Das Programm:

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

int main() 
{ 
    return foo(); 
} 

kompiliert ohne Kommentar von gcc (-std=c++11 -Wall -pedantic). Clang sagt:

error: missing default argument on parameter 'args' 

Mit foo geändert:

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

Klirren hat keine Beschwerden, aber gcc sagt:

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

Welche Compiler ist richtig?

Answer 1

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

Ein Standardargument ist nicht für einen Parameter Packung angegeben werden.

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

In einer bestimmten Funktionsdeklaration, jeder Parameter im Anschluss an einen Parameter mit einem Standardargument ist ein Standard-Argument geliefert in dieser oder einer früheren Deklaration oder soll ein Funktionsparameter-Paket sein.

So ermöglicht Code wie void f(int a = 10, Args ... args), oder tatsächlich wie Ihr erstes Schnipsel. (Danke an @ T.C. Für Nachschlagen des zweiten Satzes!)

Answer 2

Ein Kerrek SB sagt, es ist nicht möglich. Was Sie tun können, stattdessen wird ein std::tuple

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