Erreur de paramètre de type par défaut dans le code de gabarit

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 

Pourquoi compiler 1 et 2 alors que 3 ne le fait pas?

Answer 1

(3) est mal formé parce

C++ 03 [Section 14.1/11] dit

Si un modèle-paramètre a un modèle argument par défaut, tous les modèles-paramètres suivants ont un défaut argument de modèle fourni.

Answer 2

Pour la même raison pour laquelle:

void f(int = 0, int); 

échoue.

Il n'y a aucun moyen d'utiliser le paramètre par défaut 3ème version:

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

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

Answer 3

Si vous mettez cela dans un contexte, la troisième voie peut effectivement être légal, à condition que la deuxième défaut a été donné plus tôt.

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; 
}