了解typename的双重定义

这里只说一个小坑具体的typename使用方法和注意事项见Effective C++条款42

首先typename是template(泛型编程的定义)有众所周知的作用
这个作用和class是完全一样的

template<typename T>
template<class T>

不过这里就不细说这个点了啊

关于泛型编程时可能会遇到的一个问题
就是我们在编写函数或者定义变量时，可能需要引用到泛型类里的自定义数据类型
比如说：

template<class T>
class A{class B{};
};// 错误的写法！！！
template <class T>
void test(A<T> &a){A<T>::B b=a.B;int n;
}

当需要定义B的类型时如果直接是 A<T>::B 是不可编译的
需要在前面加上typename这是C++编译器的一种规则

原理

对于上方的test函数，我们对其做一些专业术语介绍
首先a是类型A<T>我们称之为从属名称(dependent name)，因为他的类型依附于某个template参数
而b是类型A<T>::B的，虽然上面书写方式是错误的，b我们称之为嵌套从属名称(nested dependent type name)
而n是int的，根据上面的方式，我们称之为非从属名称(non-dependent name)，为不是独立名称(independent name)，没有为什么，已经是行业类的术语了

之所以会出现这种情况是比如我们书写这样一条语句
A<T>::B* b;
我们的本意是实例化一个A<T>::B类型
但是编译器不知道我们的A<T>::B是一个数据类型
如果我们在A的类里定义了一个static的变量也叫B呢，这样也还好，编译器还会报错，但是如果我们有一个golbal(全局)变量也叫b呢
那这条语句就会被认为是A类中的static变量B与golbal变量b相乘

所以为了不混淆，C++在编译时有了这样一个规则
如果解析器在template中遭遇到一个嵌套从属名称，它便假设这个名称不是个类型，除非我们告诉它，但这也有类外

template<class T>
class C::A<T>::B{    //base class list中不允许使用"typename"explicit C(int x):A<T>::B(x){    //mem init list中不允许使用"typename"typename A<T>::B temp;  //除了上面两种情况，其他情况都需要加上"typename"}
}