classe modèle type imbriqué type nom

Question

Je dois déclarer Iter comme typename mais pas typedef.
Alors, je ne peux pas utiliser Iter dans mon templateclass déclaration => frustrant :(
S'il vous plaît me apprendre comment utiliser Iter, ou bien me expliquer pourquoi C++ est si nasty ...

template <typename T> 
struct MyContainer 
{ 
    typedef std::vector<T> Vec; 
    typename Vec::iterator Iter; 

    void Fo (typename std::vector<T>::iterator); //ok 
    typename std::vector<T>::iterator Ba();  //ok 

    void Foo (Iter); //error: 'Iter' is not a type 
    Iter Bar();  //error: 'Iter' does not name a type 
};     //(gcc 4.1.2) 

1. Pourquoi typedef ne peut pas être utilisé pour déclarer Iter? Pourquoi pas?
2. Comment utiliser Iter dans le templateclass? (par exemple, le type de paramètre de fonction)

EDIT
Dans l'instruction typename Vec::iterator Iter; le mot-clé typename dit Vec::iterator est un type (à savoir pas une fonction/attribut de membre statique). Par conséquent, Iter n'est pas déclaré en tant que type, mais en tant que variable en utilisant le type Vec::iterator.

Answer 1

1. typedef peut être utilisé aux côtés typename. Ainsi, il devient:

   typedef typename vec::iterator Iter; 
   

2. Il suffit d'utiliser Iter maintenant.

   template <typename T> 
   struct MyContainer 
   { 
       typedef std::vector<T>   Vec; 
       typedef typename Vec::iterator Iter; 
   
       void Foo (Iter); //ok 
       Iter Bar();  //ok 
   }; 
   

Answer 2

Juste pour ajouter à la réponse précédente ...

typename Vec::iterator Iter; 

est une déclaration de C++ valide qui déclare pas un type, mais une variable nommée Iter.

Le mot-clé typename a été introduit pour spécifier que l'identificateur qui suit est un type. Lors de l'analyse Vec::iterator, le compilateur est incapable de reconnaître que iterator signifie un type, car il est un nom dépendant du modèle. Il pourrait également s'agir d'un membre de données statiques dans Vec.

Officially, what is typename for?

Answer 3

Cette ligne:

typename Vec::iterator Iter; 

déclare une variable membre appelée Iter, de type Vec::iterator (à savoir vector<T>::iterator), et non un type.

En regardant ce que vous avez fait après cela, vous vouliez probablement dire:

typedef typename Vec::iterator Iter;