C++ 学习笔记：typename

“typename”是一个C++程序设计语言中的关键字。当用于泛型编程时是另一术语”class”的同义词。这个关键字用于指出模板声明（或定义）中的非独立名称（dependent names）是类型名，而非变量名。

class关键字的同义词

这是一项C++编程语言的泛型编程（或模板编程）的功能，typename关键字用于引入一个模板参数，例如

 // 定义一个返回参数中较大者的通用函数
 template <typename T>
 const T& max(const T& x, const T& y)
 {
   return x > y ? x : y;
 }

这种情况下，typename可用另一个等效的关键字class代替.

类型名指示符

Typename关键字 告诉编译把一个特殊的名字解释成一个类型，在下列情况下必须对一个name使用typename关键字：

1. 一个唯一的name(可以作为类型理解)，嵌套在另一个类型中；
2. 依赖于一个模板参数，就是说模板参数在某种程度上包含这个name，当模板参数是编译器在指认一个类型时便会产生误解

为了保险起见，应该在所有编译可能错把一个type当成一个变量的地方使用typename,如果你的类型在模板参数中是有限制的，那就必须使用typename