Error de parámetro de tipo predeterminado en el código de plantilla

Question

1)template <class T = int, class U = double> //compiles 

2)template <class T, class U =double> //compiles 

3)template <class T = int, class U> //fails 

¿Por qué 1 y 2 compilan mientras que 3 no? está mal formados

Answer 1

(3) porque

C++ 03 [Section 14.1/11] dice

Si un parámetro de plantilla tiene una plantilla-argumento por defecto, todas las posteriores plantilla parámetros deben tener un valor predeterminado argumento de plantilla proporcionado.

Answer 2

Por la misma razón por la cual:

void f(int = 0, int); 

falla.

No hay manera de usar tercera versión de parámetros por defecto:

template<class T = int, class U> class B { ... }; 

B<, short> var; // ??? no such syntax 

Answer 3

Si pones eso en algún contexto, la tercera vía de hecho puede ser legal, siempre que el segundo defecto se ha dado anteriormente.

template <class T, class U = double> 
struct X; 

template <class T = int, class U> //here 
struct X {}; 

int main() 
{ 
    X<> x; 
    X<float> y; 
    X<char, char> z; 
}