42. Understand the two meanings of typename.
作者：互联网
了解typename的双重意义
以下template声明中，class和typname有什么不同？
template<class T> class Widget;
template<typename T> class Widget;
从C++的角度而言，声明template参数时，不论使用关键字class或typname，意义完全相同。
然后C++并不总是把class和typename视为等价。有时候一定得使用typename。为了解其时机，我们必须先谈谈你可以在template内指涉的两种名称。
template内出现的名词如果相依于某个template参数，称之为从属名称。如果丛书名称在class内呈嵌套状，称之为嵌套从属名称。
对于下面代码：
template<typname C>
void print2nd(const C& container)
{
C::const_iterator* x;
...
}
看起来好像声明x为一个local变量，它是一个指针，指向一个C::const_iterator。
在知道C是什么之前，没有任何办法可以知道C::const_iterator是否是一个类型。而当编译器开始解析template print2nd时，尚未确知C是什么东西。C++有个规则可以解析此歧义状态：如果解析器在template中遭遇一个嵌套从属名称，它便假设这名称不是类型，除非告诉它是。所以缺省情况下嵌套从属名称不是类型。
一般性规则很简单：任何时候当你想要在template中指涉一个嵌套从属类型名称，就必须在紧临它的前一个位置放上关键字typename。
修改如下：
template<typname C>
void print2nd(const C& container)
{
typename C::const_iterator* x;
...
}
typename只能被用来验明嵌套从属类型名称；其他名称不该有它存在，例如下面这个function template，接收一个容器和一个“指向该容器的”迭代器：
template<typename C>
void f(const C& container, typname C::iterator iter);
C并不是嵌套从属类型名称，所以声明container时并不需要以typename为前导，但C::iterator是个嵌套从属类型名称，所以必须以typname为前导。
“typename必须作为嵌套从属类型名称的前缀词”这一规则的例外是，typename不可以出现在base classes list内的嵌套从属类型名称之前，也不可在member initialization(成员初值列)中作为base class修饰符。
请记住：
声明template参数时，前缀关键字class和typename可互换。
请使用关键字typename标识嵌套从属类型名称；但不得在base class lists(基类列)或member initialization list（成员初值列)内以它作为base class修饰符。
xupeng1644
发布了278 篇原创文章 · 获赞 32 · 访问量 3万+
私信
关注
标签：从属,typename,42,two,嵌套,Understand,名称,template,class 来源： https://blog.csdn.net/xp178171640/article/details/104405688