Вложенные шаблоны с зависимой областью

Question

Что такое зависимая область действия и каково значение typename в контексте следующей ошибки?

$ 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

Компилятор рассказал вам, что именно делать. Написать typename Перед ptrModel<std::vector<Data> >::Type, как так:

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

причина для этого требования заключается в том, что компилятор не в этой точке знать, описывает ли ptrModel<std::vector<Data> >::Type переменной-члена или вложенного типа. Он даже не может понять этого, посмотрев определение ptrModel, потому что может быть специализация ptrModel для std::vector<Data> где-то еще в программе, что она еще не дошла до того, какие изменения изменились из этих вещей, на которые ссылается ::Type. Поэтому вам нужно прямо сказать это.

Название ptrModel<std::vector<Data> >::Type имеет «зависимую область видимости», потому что она находится в области, которая зависит от формы создания шаблона:.