C++ typename 的双重含义

最新推荐文章于 2022-06-20 23:55:53 发布

恋喵大鲤鱼

最新推荐文章于 2022-06-20 23:55:53 发布

阅读量2k

点赞数 5

分类专栏： C++

本文链接：https://blog.csdn.net/K346K346/article/details/82751245

版权

C++ 专栏收录该内容

81 篇文章 110 订阅

订阅专栏

1.模板类型参数申明

使用模板时，在申明模板类型参数时，我们经常有如下两种申明方式：

// 方式一
template <class T> CTest;

// 方式二
template <typename T> CTest;

这两种写法并没有任何区别，都表示 T 是模板类型参数，可以是任何类型，包括用户自定义类型或是语言的基本类型。虽然用于模板类型参数申明时作用完全相同，但是仍建议使用 typename，因为 typename 的字面意义即表示类型名称，更加符合其语义。而 class 则多用于类的申明，而非模板类型参数。当然，如果原有项目中均使用 class，那么请与原有项目风格保持一致。

2.嵌套从属类型名称（nested dependent type name）须使用typename

在 template 声明式中，用于申明模板类型参数时，class 与 typename 作用完全一致。当然，因为前者字符数少，可能会有人倾向于使用 class。但有些时候，typename 却是不可被替换成 class。

假设有个函数模板，接受一个容器 C 为参数，这个容器内部定义了一个类型 a。STL 容器内部会定义 5 种迭代器型别（iterator_category, value_type, difference_type, pointer, reference），即迭代器中定义的类型。这里a可以是其中任何一个，也可是用户自定义类型，但假设不是基本类型。现在看这个函数模板的定义：

template<typename C>			// 建议使用 typename
void func(const C& container)  {
	...
	C::a* x;
	...
}

考虑上面模板定义式中间那行代码，对于开发者而言，可以很明显地推断出代码的含义，x是一个a类型的指针。但是对于编译器而言，在没有明确 C 的定义之前，是无法确定a是一个嵌套于 C 中的类型，其实a可能是 C 内一个静态成员变量，假设x刚好是一个全局变量，那么这行代码也可以由编译器解析为两数相乘。

编译器面对这样的代码如何处置？编译器会这样处理：如果在template中遇到一个嵌套从属类型名称，即依赖于模板类型参数的类型，放在上面例子中对应 C::a，C::a 依赖于模板类型参数 C，它便假设这个名称不是个类型，除非显示告诉编译器。所以缺省情况下嵌套从属类型名称不是类型。如何显示告知呢，可以使用 typename，这是它的第二重意义。在此对之前假设 a 不是基本类型，因为基本类型并不依赖其它类型。

正确的函数模板定义如下：

template<typename C>
void func(const C& container) {
	//...
	typename C::a * x;	//在行首加上typename即可
	//...
}

到这里，想必对 typename 的第二重含义已经基本了解，这也是 typename 与 class 的不同之处，模板中当出现嵌套从属类型名称时须使用 typename 帮助编译器识别。

3.规则之外

模板中当出现嵌套从属类型名称时须使用 typename 帮助编译识别，这一规则也存在例外。typename 不可以出现在 base classes list（所继承的基类成员列表）内的嵌套从属类型名称之前，也不可以在 member initialization list（成员初始化列表）中作为 base class 修饰符。例如：

template<typename T>
class Derived: public Base<T>::Nested { 			//基类成员列表中不允许使用 typename
public:
    explicit Drived(int x) : Base<T>::Nexted(x)  { 	//成员初始化列表中不允许使用 typename
        typename Base<T>:: Nexted temp;	//这里可以
    }
};