typename指定类型（Error C2143）

今天在编写kd树程序的过程中遇到了以下的问题

1>d:\myspace\program\datastructure\kdtree\kdtree\kdtree.h(52): warning C4346: “KDTree<Type>::Node”: 依赖名称不是类型
1>          用“typename”为前缀来表示类型
1>d:\myspace\program\datastructure\kdtree\kdtree\kdtree.h(52): error C2143: 语法错误 : 缺少“;”(在“*”的前面)
1>d:\myspace\program\datastructure\kdtree\kdtree\kdtree.h(52): error C4430: 缺少类型说明符 - 假定为 int。注意: C++ 不支持默认 int
1>d:\myspace\program\datastructure\kdtree\kdtree\kdtree.h(52): fatal error C1903: 无法从以前的错误中恢复；正在停止编译

接下过我们便分析为什么出现这些问题！

简略的代码如下：

template <typename Type>
class KDTree
{
public:
    .....
    void  create(const std::vector<Type> &examplarSet);
    .....
private:
    .....
    struct Node
    {
         ........
     };
     Node* _createKDTree(const std::vector<Type> &examplarSet);
       ......
｝;
template <typename Type>
KDTree<Type>::Node* KDTree<Type>::_createKDTree(const std::vector<Type> &examplarSet)

以上是一个嵌套模板类的结构，问题就出现在成员函数_createKDTree的定义上。

由上面代码我们知道 KDTree<Type>::Node是类KDTree<Type>的内嵌类型，但编译器并不能通过检查得知Node是一个类型名字还是一个数据成员（成员变量）的名字。如果是成员变量的名字，那Node是不能作为返回值的。因此我们必须时显式的告诉编译器Node是一个类型名字。

因此，上面的语句因修改为：

typename KDTree<Type>::Node* KDTree<Type>::_createKDTree(const std::vector<Type> &examplarSet)

下面是 《effective C++》(第三版)的解释：

template内出现的名称如果相依于某个template参数，称之为从属名称（dependent names）

如果从属名称在class内呈嵌套状，我们称它为嵌套从属名称，此处Node即为嵌套从属名称。

如果解析器在template中遭遇一个嵌套从属名称，它便假设这个名称不是个类型，除非你告诉它是。所以缺省情况下嵌套从属名称不是类型

--摘自《effective C++》(第三版)条款42：了解typename的双重意义

但上面所讲有个例外：

typename不可出现在base classes list的嵌套从属类型名称之前，也不可在成员初始化列表中作为基类的修饰符。

template<typename T>

class Derived:public Base<T>::Nested

{

public:

explicit Derived(int x):Base<T>::Nested(x)

{typename Base<T>::Nested temp;}

}

希望本文可以给大家一个思路，才疏学浅，多多指教。

转载请注明出处http://blog.csdn.net/zhxlianxin/article/details/12919683