Wiele rozszerzeń w pakiecie w klasie o stałej liczbie argumentów szablonu

Question

Czy ten kod jest dobrze sformułowany? Deklaracja samego szablonu funkcji powoduje błąd zarówno w klangu, jak iw gcc, nawet jeśli Ts może być pusty.

// error: too many template arguments for class template 'pair' 
template<class I, class U, class... Ts> 
void f(std::pair<I,U,Ts...>); 

int main() 
{ 
    f(std::pair<int,int>()); 
} 

Wywołanie funkcji daje ten błąd w gcc, które nie ma sensu. Nie ma konwersja do int:

note: cannot convert 'std::pair<int, int>()' (type 'std::pair<int, int>') to type 'int' 

Answer 1

[temp.res]/8:

Jeśli każdy ważny specjalizacja o zmiennej liczbie argumentów szablonu wymaga pusty szablonu parametr pakiet, szablon jest źle sformułowane , nie wymaga diagnostyki .

Każda ważna specjalizacja f wymagałaby, aby Ts była pustą paczką. Dlatego program jest źle sformułowany NDR. Oba kompilatory są poprawne.

Jeśli chodzi o diagnostykę GCC, wydaje się, że jest to spowodowane jego zwyczajem używania int jako symbolu zastępczego dla "czegoś, co wygląda na typ, ale nie ma sensu" dla celów odzyskiwania błędów.