C++模板中的typename和class有什么区别 关键字选择指南

typename和c++lass在c++模板中大部分情况可互换，但在特定场景有区别。1. 声明模板类型参数时两者等价，仅风格不同；2. 引用嵌套依赖类型时必须用typename，如typename t::value_type；3. 模板模板参数只能使用class关键字。

在C++模板中，typename和class这两个关键字经常被混用，尤其是在声明类型参数的时候。很多人会疑惑：它们到底有没有区别？其实，在大多数情况下，它们是可以互换使用的，但在某些特定场景下，选择哪一个确实会影响代码的正确性。

1. 声明模板类型参数时，typename和class基本等价

当你在定义一个模板时，比如：

template <class T> void foo(T t);  template <typename T> void bar(T t);

这两种写法是完全等价的，编译器不会有任何区别对待。你可以根据个人或团队风格选择使用哪一个。

立即学习“C++免费学习笔记（深入）”；

一些开发者的习惯是：

• 用class表示期望传入的是类类型（虽然并不强制）
• 用typename表示可以接受任意类型（包括内置类型）

但这些只是风格上的区别，并非语言规范的要求。

2. 在嵌套依赖类型中，必须使用typename

这是两者之间最核心的一个区别。

如果你在一个模板内部引用了一个依赖于模板参数的类型中的嵌套类型，比如：

template <class T> void print(typename T::value_type* ptr);

这里就必须使用typename，否则编译器会报错。因为T::value_type是一个依赖类型，它是否真的是一个类型，在编译器解析模板时无法确定。加上typename的作用就是告诉编译器：“放心，这个T::value_type是个类型”。

常见错误示例：

template <class T> void func(T::iterator it); // 编译失败！缺少 typename

正确的写法应该是：

template <class T> void func(typename T::iterator it); // 正确

注意：如果那个名字不是类型名（比如是静态成员变量），就不能加typename，否则也会出错。

3. 模板模板参数中只能使用class

还有一种情况是使用模板模板参数（template template parameter）时，你只能使用class关键字：

template <template <class> class Container> struct my_container;

或者更现代一点的写法：

template <template <typename> class Container> struct my_container;

但不能写成：

template <template <typename> typename Container> // 错误！语法不允许 struct my_container;

所以在这个特定语法结构里，无论你偏好哪个关键字，都只能使用class。

总结一下几个关键点：

• 大多数时候typename和class可以互换使用
• 引用嵌套依赖类型时必须加typename
• 模板模板参数只能用class
• 风格上可以根据团队约定统一选择，保持一致性即可

基本上就这些了。看起来不复杂，但如果不注意细节，很容易写出让编译器“看不懂”的代码。

以上就是C++模板中的typename和class有什么