possibilités de modèle emboîtées

Question

est la suivante valide ?:

template<typename T> class C { C1<C2<T>> someMember; }; 

Answer 1

Eh bien, vous aurez besoin de faire quelque chose avec le type, que ce soit en faire un typedef ou un membre, mais oui:

template <typename T> 
struct C1 {}; 

template <typename T> 
struct C2 {}; 

template <typename T> 
struct C 
{ 
    typedef C1<C2T> > type; // note the space! 
}; 

>> est en fait l'opérateur de décalage droit, donc vous avez besoin d'un espace là pour qu'il fonctionne correctement. En C++ 0x, cependant, vous pouvez simplement taper >>; il est très bien analysé. *

_{* Certains compilateurs clémentes vont actuellement l'accepter.}

Answer 2

Erm, non, du moins pas dans l'isolement, parce que vous avez pas de définition pour C1 et C2. En supposant qu'ils sont définis comme des classes modèle avec un argument, alors non, il est toujours pas valable pour la même raison que int; est pas valide - ce n'est pas une déclaration complète, juste un typename.

Maintenant, si vous vous posez sur la syntaxe avec les crochets, ignorant alors toutes les autres questions, qui est valable uniquement dans C++ 0x. Dans la norme C++ actuelle, l'analyse est ambiguë et vous devez la composer comme C1<C2<T> >.

Answer 3

Bien sûr, je l'ai utilisé:

vector< pair<int, int> > blah; 

avant.