C++中typename的用法

前言

最近在看STL源码剖析时，遇到关于typename的用法，平常接触到的只是在定义模板参数时使用，直到遇到这个问题我才彻底的查找了typename的用法。先看下一个例子：

typedef typename iterator_traits<_Iter>::value_type  value _type;

我们可能对typedef很了解，即定义一个别名，其形式是：typedef+原类型名+新类型名；因此，我们可以知道typename
iterator_traits<_Iter>::value_type是类型名；但是感到困惑的是这里为什么要使用typename关键字？

typename的常规用法

typename在C++类模板或者函数模板中经常使用的关键字，此时作用和class相同，只是定义模板参数；在下面的例子中，该函数实现泛型交换数据，即交换两个数据的内容，数据的类型由_Tp决定。

template <typename _Tp>
inline void swap(_Tp& __a, _Tp& __b) 
{
  _Tp __tmp = __a;
  __a = __b;
  __b = __tmp;
}

typename的第二个用法：修饰类型

在介绍第二个用法之前先了解下一些基本概念，

限定名和非限定名

限定名(qualified name)，是限定了命名空间的名称。看下面这段代码，cout和endl是在命名空间std定义的，必须加上std::，使其为std::cout和std::endl，因此称其为限定名。

#include <iostream>

 int main()  
{
    std::cout << "Hello world!" << std::endl;
}

若在主函数前面使用using namespace std;或者在主函数内使用using
std::cout;，然后使用时只用cout和endl，它们的前面不再有空间限定std::，所以此时的cout和endl叫做非限定名(unqualified
name)。

#include <iostream>
 using namespace std;
 int main()  
{
    //using std::cout;
	//using std::endl;
	cout << "Hello world!" << endl;
}

依赖名和非依赖名

依赖名(dependent name)是指依赖于模板参数的名称，而非依赖名(non-dependent
name)则相反，指不依赖于模板参数的名称。看下面这段代码：

template <class T>
class MyClass {
     int i;
     vector<int> vi;
     vector<int>::iterator vitr;
  
     T t;
     vector<T> vt;
      vector<T>::iterator viter;
 };

因为int是内置类型，前三个定义的类型在声明这个模板类时就已知,叫做非依赖名。然而对于接下来的三行定义，只有在模板实例化时才能知道它们的类型，因为它们都依赖于模板参数T。则T,
vector<T>, vector<T>::iterator称为依赖名。

类作用域

在类外部访问类中的名称时，可以使用类作用域操作符，调用通常存在三种：静态数据成员、静态成员函数和嵌套类型：Mydata::value,Mydata::function,Mydata::str;

 class Mydata {
     static int value;
     static int function();
     typedef string str;
 };

下面来看一个例子：

template <class T>
 void function()
 {
	T::iterator *iter;
	.....
 }

看到上面这个例子时，我们脑子里可能会有两种想法：第一：T::iterator *iter;实现乘法，iterator是类T的一个成员；第二：定义一个指针，指针指向的类型为T::iterator；

这样的话就会产生异议，由上面的介绍可以知道iterator是类T的静态数据成员，静态成员函数或者是嵌套类型；如果没有修饰关键词typename编译器可能认为我们是想实现乘法运算；若我们的本意是想定义一个指针时，这是就需要typename来修饰，即在T::iterator前面加上关键字typename；

template <class T>
 class myData()
 {
	typename T::iterator *iter;//定义一个指针
	typedef typename iterator_traits<_Iter>::value_type  value _type;//定义一个别名
	.....
 };

typename使用规则

typename在下面情况下禁止使用：

模板定义之外，即typename只能用于模板的定义中
非限定类型，比如int，vector<int>之类
基类列表中，比如template <class T> class C1 : T::InnerType不能在T::InnerType前面加typename
构造函数的初始化列表中

如果类型是依赖于模板参数的限定名，那么在它之前必须加typename(除非是基类列表，或者在类的初始化成员列表中)。

承接Matlab、Python和C++的编程，机器学习、计算机视觉的理论实现及辅导，本科和硕士的均可，咸鱼交易，专业回答请走知乎，详谈请联系QQ号757160542，非诚勿扰。