C++的嵌套依赖别名（typename的用法）

看了很多遍，还是记录一下

1、在模板声明时typename和class是等价的

template<class T> class Widget; // uses "class"
template<typename T> class Widget; // uses "typename"

两面的两句等价

2、什么情况下必须放typename?

template<typename C>
void print2nd(const C& container)
{
　   C::const_iterator *x; //①
　   ...
}

此时的编译器会纠结：const_iterator是一个什么东西？const_iterator是模板参数C内的一个static变量？x是一个全局变量？
再或者：const_iterator是模板参数C内部的一个typedef。假设模板参数C最后用Class_C来实例化，Class_C类似这样：

class Class_C{
	typedef int const_iterator;
	...
}；

那上面的例子中的语句①就是声明一个指向int类型的指针x，语句①转化过来就是这样：

int *x;

程序员是不能让编译器纠结的，编译器纠结的后果是：报错。程序员嘛，就debug吧。

所以此时我们应该告诉编译器const_iterator是模板参数C里面的一个类型。即在C的前面加上typename就可以了，像这样：

template<typename C>
void print2nd(const C& container)
{
　   typename C::const_iterator * x; //①
　   ...
}

3、总结一下上面的用法

a、模板内出现的名称如果依赖于某个模板参数，称之为从属名称（dependent name）。如果从属名称在class内呈嵌套状，我们称为嵌套从属名称（nested dependent name）。距离如下：

template<typename C>
void print(const C & container)
{
    C::const_iterator iter(container.begin());
    cout << *iter << endl;
    int value = *iter;
    return;
}

• 在上述代码中，我的理解C就是一个从属名称。假如我们在函数被使用了类似 C inst_c; 这样的语句，inst_c就是从属于C；
• 同理，value的类型是语言内置类型，不依赖于任何模板参数，因此被称为 非从属名称;
• C++编译器在面对从属名称时，如果此时该从属名称又嵌套了其他类型，如此处的 iter就是C::const_iterator类型，这里的C::const_iterator 称为嵌套从属类型名称（嵌套于C类型，从属于模板参数C）。

b、再来看一个例子：

template<typename C> // typename allowed (as is "class")
void f(const C& container, // typename not allowed
		typename C::iterator iter); // typename required

上述的C并不是嵌套从属类型名称 （它并非嵌套与任何“取决于模板参数”的东西内），所以声明container时并不需要以typename为前导。
但C::iterator是个嵌套从属类型名称，所以必须以typename为前导。

c、说人话
使用某个模板类里面typedef的类型时，如果这个类型与模板参数C相关，就需要使用typename。
即这样的形式：
y(C)::iterator it;
这样的语句前面就需要前置typename；

参考：
[1] https://blog.csdn.net/gatieme/article/details/50946005
[2] https://blog.csdn.net/xuqingict/article/details/24884811

[3] C++模板沉思录（上）