应使用 std::iterator_traits<It>::iterator_category 提取迭代器类别，它通过特化机制统一处理标准迭代器、原生指针及自定义迭代器，避免直接访问 It::iterator_category 导致的编译失败。
怎么用 std::iterator_traits 提取迭代器的 iterator_category
直接用 std::iterator_traits<It>::iterator_category，这是最标准、最可靠的方式。它不依赖迭代器是否定义了嵌套类型，而是通过特化机制兜底处理所有情况（包括原生指针）。
常见错误是试图直接访问 It::iterator_category —— 对 int* 这类原生指针会编译失败，因为指针没有成员类型。
-
std::iterator_traits对所有标准迭代器（std::vector::iterator、std::list::const_iterator等）都提供完整特化 - 对原生指针（如
int*、const char*）也做了偏特化，自动映射为对应 category（int*→std::random_access_iterator_tag） - 自定义迭代器只要正确定义了
typedef或using嵌套类型（iterator_category、value_type等），std::iterator_traits就能直接用
为什么不能只靠 decltype(it)::iterator_category
因为不是所有迭代器类型都暴露这个类型别名。原生指针根本不是类类型，自然没有嵌套类型；某些轻量包装迭代器（比如某些 view 的 iterator）也可能省略冗余定义，仅靠 std::iterator_traits 特化来补全语义。
典型报错：error: 'iterator_category' is not a member of 'int*' —— 就是直接写 int*::iterator_category 导致的。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 标准库要求所有迭代器必须能被
std::iterator_traits正确识别，但不要求它们自己定义嵌套类型 -
std::iterator_traits是唯一被标准保证可用的提取途径 - 模板元编程中做 category 分发（比如
enable_if重载）时，必须走std::iterator_traits，否则泛化性崩掉
iterator_category 类型值怎么判断和分发
category 是空基类标签类型（如 std::input_iterator_tag），不能用值比较，得靠类型推导或模板偏特化来区分。
最常用的是 std::is_same_v 配合 decltype，或者更惯用的 SFINAE / if constexpr 分支：
template <typename It>
void process(It first, It last) {
using Cat = typename std::iterator_traits<It>::iterator_category;
if constexpr (std::is_same_v<Cat, std::random_access_iterator_tag>) {
auto n = last - first; // 只有 RA 迭代器支持减法
} else if constexpr (std::is_same_v<Cat, std::forward_iterator_tag>) {
// 只能 ++，不能 - 或 <
}
}- 别用
std::iterator_category（不存在这个类型名），正确写法是std::iterator_traits<It>::iterator_category - 注意
std::bidirectional_iterator_tag是std::forward_iterator_tag的基类，std::is_base_of_v更适合做层级判断 - C++20 后推荐用概念（
std::random_access_iterator）替代手动 tag 判断，但 traits 提取仍是底层基础
自定义迭代器漏定义 iterator_category 会怎样
如果只定义了 value_type 和 reference，但没定义 iterator_category，std::iterator_traits 默认会 fallback 到 std::input_iterator_tag —— 这很危险：可能把本该是随机访问的迭代器降级成只读单向的，导致算法退化甚至编译失败。
- 标准规定：若未显式定义
iterator_category，std::iterator_traits使用默认值std::input_iterator_tag - 即使你的迭代器支持
it += 5，没声明 category 就拿不到std::random_access_iterator_tag - 建议在自定义迭代器里显式 typedef：
using iterator_category = std::random_access_iterator_tag;（按实际能力选）
category 不是“越高级越好”，必须严格匹配真实操作能力。标成 random_access_iterator_tag 却不实现 operator-，会导致标准算法（如 std::sort）内部崩溃。
