C++ 新特性 | C++ 11 | typename关键字

前言：

在C++的模板编程中，typename关键字扮演着至关重要的角色。它主要用于指示编译器将一个特定的标识符解释为类型名称，而不是变量名或其他实体。本文将深入探讨typename的用法，帮助读者更好地理解其在模板编程中的作用。

一、typename关键字

C++中的typename关键字用于声明模板参数的类型。它主要用于两个场景：

1）在模板定义中，声明模板参数的类型

例如，声明一个模板类，其类型参数为T：

template <typename T>
class MyClass {
    // ...
};

2）在模板内部，当需要指明某个名称是类型名时

这通常用于依赖型名称（dependent names），即名称的含义依赖于模板参数。例如，在一个模板函数内部，使用typename关键字来指明某个名称是类型名：

template <typename T>
void func(T& obj) {
    typename T::SubType sub_obj; // 假设T有一个名为SubType的嵌套类型
    // ...
}

需要注意的是，在C++11及以后的版本中，关键字class和typename可以互换使用，它们具有相同的功能。例如，上面的代码可以用class关键字替换typename关键字：

template <class T>
class MyClass {
    // ...
};

template <class T>
void func(T& obj) {
    class T::SubType sub_obj;
    // ...
}

总之，C++中的typename关键字用于声明模板参数的类型，以及在模板内部指明某个名称是类型名。在C++11及以后的版本中，关键字class和typename可以互换使用。