C++ typename

参考：typename是怎么来的
本文测试环境：vs2019，c++ 标准：ISO c++ 14

typename通常用作模板的声明中，如下：
template<typename T>
void f1(T val){}

也可以用class说明模板类型参数
template<class T>
void f1(T val){}

class在typename这个关键字之前就已经有了，比如我们常用来定义一个类类型：
class c1{};

那么既然有了class,为什么还要有typename,有哪些地方必须写typename而不能写class呢？
template<class T>
void f1(T val)
{
T::p *p1;
}
上面是一个模板函数的定义，第一行 中class T用于说明T是一个类型，也可以用typename T;但是对于T::p * p1这条语句，应该如何解释呢？也许T是一个类类型，它有一个静态变量p，p1是一个全局变量，则这是一个乘法表达式语句。但是也可能T中的p是一个类型，则这是一个定义指针的语句。那么如何解释该语句只有在明确T的类型之后才能确定，也就是实例化模板时才能确定。这可能会造成很多潜在的bug，所以C++标准提出了typename关键字，其表明typename后面的是一个类型名字，比如typename T::p * p1;如果用class T::p * p1 则T::p必须是一个类类型，但是如果用typename T::p * p1,则T::p是一个类型即可，既可以是内置类型，也可以是类类型。比如 typename int a=1;等价于 int a=1;如果没有class 或者typename,则T::p * p1只有在实例化时才能确定该语句的确切含义，为了避免这种情况，不同的编译器采取了不同的措施：VS认为这是一个乘法表达式，即把p1作为一个已经存在的变量看待；而GNU认为这是一个定义p1是指针变量的语句；