Clang vs GCC - variadic parametro Template Pack seguito dal parametro con valore di default funziona in GCC 4.8, ma non clang 3,5

Question

Il codice di seguito lavora in gcc-4.8.2

#include <iostream> 
using namespace std; 

template<typename... Args> 
void func(Args... args, int optional = 0) 
{ 
    cout << optional << endl; 
} 

int main() 
{ 
    func(1); 
    func(2.1f); // converts 2.1 to int as 'optional' parameter 
    func<float>(3.3f); // Fine, prints '0' 
    func(); // gcc OK, fails to compile with clang-3.5 
} 

Ed Uscite:

$ ./a.out 
1 
2 
0 
0 

Ma se non riesce a compilare con clang-3.5,

test_variadic.cpp:15:2: error: no matching function for call to 'func' 
    func(); 
    ^~~~ 
test_variadic.cpp:5:6: note: candidate function template not viable: requires at least argument 'args', but no arguments were provided 
void func(Args... args, int optional = 0) 
    ^

clang almeno avverte di la conversione implicita da un float a un int. Bene, possiamo correggerlo chiamando lo func<float> che inserisce il parametro float nel template pack. Quindi, se commento fuori func(), compila bene.

Non riesco a trovare nulla nel proverbio standard esplicitamente che il template pack variadic debba essere l'ultima cosa nella clausola-dichiarazione-parametro, solo che diventa un contesto non dedotto.

La mia confusione deriva dal motivo per cui clang non piace func() quando func(1) è perfettamente accettabile. Posso definire manualmente func(int optional = 4) { cout << optional << endl; } e tutto va bene (ma anziché la funzione templated quando passa int ho correttamente ottengo il specializzata func() sia clang e gcc. Qual è enforcing clang che limita l'uso di func()?

Answer 1

Questo in realtà è coperto dal leggermente Misplaced [temp.arg.explicit]/3:.

un parametro di modello finale pacco (14.5.3) non altrimenti deducibile sarà dedotta ad una sequenza vuota di argomenti template

Il pacchetto parametri template è in coda e quindi dedotto nel pacchetto vuoto in tutte le chiamate tranne per func<float>(3.3f), vale a dire, sono tutti validi (e Clang li compila bene as of 3.5).

---

Tuttavia, i compilatori non sono conformi più una volta registriamo la dichiarazione del modello per

template <typename... Args, typename=void> 
void func(Args... args, int optional = 0) 

Ora, la citazione di cui sopra non è applicabile (come Args non è in svantaggio) e [temp.deduct.call]/1 applica invece:

Quando un parametro funzione pack appare in un contesto non dedotta (14.8.2.5), il tipo di quel parametro confezione è neve dedotto.

(Ie questo dovrebbe produrre un fallimento deduzione.)