template与template完全等价；但访问嵌套依赖类型（如t::iterator）时必须用typename，因编译器默认将其视为值而非类型。
template 和 template 完全等价
在声明模板类型参数时，class 和 typename 语义完全相同，编译器不做任何区分。比如：
template<class t> void f(T x) {}
template<typename t> void g(T x) {}</typename></class>
两者都能接受 int、std::string、甚至内置类型——class 这个名字容易让人误以为只能传类类型，但实际不是。C++98 起就允许用 class 声明任意类型参数，只是语义不够清晰；typename 是后来引入的，更准确表达“这是一个类型”，所以现代代码普遍倾向用它。
必须用 typename 的地方：嵌套依赖类型名
当你要访问一个依赖于模板参数的内部类型（比如 T::iterator、T::value_type），而这个类型名又嵌套在类作用域里时，编译器默认把它当作静态成员变量或值，不是类型——这时必须加 typename 显式提示。
常见错误现象：
-
T::const_iterator iter;编译失败，报错类似error: expected ';' before 'iter'或把T::const_iterator当作乘法表达式 - 即使你确定
T是std::vector<int></int>，编译器在模板解析阶段仍无法确认const_iterator是类型还是静态成员
正确写法：
typename T::const_iterator iter = container.begin();
注意：typename 在以下位置不能用（语法错误）：
- 基类列表：
template<typename t> struct D : public T::Base {}</typename>—— 这里不能写typename T::Base - 成员初始化列表：
D() : T::Base(42) {}—— 同样不能加typename
模板模板参数中 class 和 typename 的兼容性
C++17 之前，模板模板参数只能用 class：
template<template> class Container> struct X {};</template>
C++17 起允许用 typename 替代（标准已生效，当前时间是 2026 年，可放心用）：
template<template> typename Container> struct X {};</template>
但注意：这里 typename 不是可选的“风格替换”，而是语法要求的一部分；若写成 template<template> class Container></template>，它仍是合法的，只是旧式写法。
容易被忽略的关键点
很多人记住了“嵌套依赖类型要加 typename”，却忽略了它的触发条件：只有当该名称同时满足「依赖于模板参数」+「嵌套在类作用域内」时才需要。例如：
-
std::vector<int>::iterator</int>是确定类型，不依赖模板参数 → 不需要typename -
T::value_type中T是模板参数 → 依赖；value_type在T内部定义 → 嵌套 → 必须加typename -
using U = typename T::inner;——typename不能省，哪怕你在using里重命名
最常踩的坑是：在函数模板里写了 T::type *p; 却没加 typename，编译器直接报错且提示模糊；而一旦补上，问题立刻消失——这不是风格问题，是语法硬性要求。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
