Modèles imbriqués avec portée dépendante

Question

Qu'est-ce qu'une portée dépendante et quelle est la signification de typename dans le contexte de l'erreur suivante?

$ make 
g++ -std=gnu++0x main.cpp 
main.cpp:18:10: error: need 'typename' before 'ptrModel<std::vector<Data> >::Type' because 'ptrModel<std::vector<Data> >' is a dependent scope 
make: *** [all] Error 1 


/* 
* main.cpp 
*/ 

#include <vector> 
#include <memory> 

template<typename T> 
struct ptrModel 
{ 
typedef std::unique_ptr<T> Type; 
}; 


template<typename Data> 
struct ptrType 
{ 
typedef ptrModel< std::vector<Data> >::Type Type; 
}; 

int main() 
{ 
return 0; 
} 

Answer 1

Le compilateur vous a dit exactement quoi faire. Ecrire typename avant ptrModel<std::vector<Data> >::Type, comme ceci:

typedef typename ptrModel<std::vector<Data> >::Type Type; 

La raison de cette exigence est que le compilateur ne sait pas à ce stade si ptrModel<std::vector<Data> >::Type décrit une variable de membre ou d'un type imbriqué. Il ne peut même pas comprendre cela en regardant la définition de ptrModel parce qu'il pourrait y avoir une spécialisation de ptrModel pour std::vector<Data> quelque part dans le programme qu'il n'a pas encore eu qui change lequel de ces choses ::Type se réfère à. Donc vous devez le dire explicitement.

Le nom ptrModel<std::vector<Data> >::Type a une "portée dépendante" car il est dans une portée que dépend sur l'instanciation d'un modèle.