typename关键字在C++中主要用于声明模板类型参数和标识嵌套依赖类型；在C++20概念中，typename T::value_type可安全检查嵌套类型存在性，避免硬错误。
用 typename 检查嵌套类型是否存在
要检查类型 T 是否含有名为 value_type 的嵌套类型，不能写 T::value_type 直接出现在 requires 块里——那会触发硬错误（hard error），编译直接失败。正确方式是用 typename 关键字声明它存在：
template<typename T>
concept HasValueType = requires {
typename T::value_type;
};
这行代码只做一件事：在模板参数替换后，验证 T::value_type 是否是一个合法的类型名。不关心它是 int 还是 void，也不调用任何构造函数或成员函数。
常见错误：把 typename 当成类型使用
下面这些写法都错：
-
typename T::value_type{};——typename后不能跟初始化器，这不是变量定义 -
T::value_type x;—— 缺少typename，且这是声明语句，不是类型存在性检查 -
requires std::is_same_v<T::value_type, int>;—— 先得确保T::value_type存在，才能用它做类型比较；否则未定义行为直接终止编译
真正安全的组合是先用 typename T::xxx 确保嵌套类型存在，再用另一个 requires 嵌套检查其性质：
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
template<typename T>
concept IntegralValueType = requires {
typename T::value_type;
} && std::integral<typename T::value_type>;
嵌套类型检查常和成员函数/表达式搭配使用
单独检查 value_type 很少够用。实际中往往需要它“存在且能参与后续操作”，比如容器迭代器的 iterator_traits 场景：
template<typename Iter>
concept InputIterator = requires(Iter it) {
typename Iter::value_type;
typename Iter::reference;
typename Iter::difference_type;
{ *it } -> std::same_as<typename Iter::reference>;
};
注意三点：
-
typename行必须放在最外层requires块里，不能塞进花括号表达式中 - 后续复合要求（如
{ *it } -> ...）可以引用前面已确认存在的嵌套类型 - 如果
Iter::value_type不存在，整个 concept 就为false，不会继续检查*it
为什么不用 std::is_detected 或 SFINAE？
因为 typename T::xxx 是 requires 表达式的原生语法，零开销、无宏、错误提示直指缺失的嵌套名。而 std::is_detected 需要额外 trait 定义，SFINAE 则让错误信息回溯到十几层模板栈里。C++20 的 typename 要求就是专为这个场景设计的——它不引入新机制，只是把过去靠技巧实现的检查，变成一行可读、可调试、可组合的声明。
最容易被忽略的是：嵌套类型检查本身不保证该类型可默认构造、可复制，甚至不保证它不是 void。真要用，还得配合其他 concept（比如 std::default_initializable 或 std::copy_constructible）进一步约束。
