具有依赖范围的嵌套模板

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

编译器准确地告诉了你要做什么。在ptrModel<std::vector<Data> >::Type之前写typename，像这样：

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

此要求的原因是编译器此时不知道ptrModel<std::vector<Data> >::Type 是描述成员变量还是嵌套类型。它甚至无法通过查看ptrModel 的定义来弄清楚这一点，因为在程序中的其他地方可能存在ptrModel 的专用化std::vector<Data>，它尚未到达这会改变这些事情中的哪一个::Type 指。所以你需要明确地告诉它。

名称ptrModel<std::vector<Data> >::Type 具有“依赖范围”，因为它位于依赖模板实例化的范围内。