应使用 std::iterator_traits::iterator_category 提取迭代器类别，它通过特化机制统一处理标准迭代器、原生指针及自定义迭代器，避免直接访问 it::iterator_category 导致的编译失败。
怎么用 std::iterator_traits 提取迭代器的 iterator_category
直接用 std::iterator_traits<it>::iterator_category</it>，这是最标准、最可靠的方式。它不依赖迭代器是否定义了嵌套类型，而是通过特化机制兜底处理所有情况（包括原生指针）。
常见错误是试图直接访问 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++ Code Review Master
下载
组合式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>) {
// 只能 ++，不能 - 或 <ul>
<li>别用 <code>std::iterator_category</code>（不存在这个类型名），正确写法是 <code>std::iterator_traits<it>::iterator_category</it></code>
</li>
<li>注意 <code>std::bidirectional_iterator_tag</code> 是 <code>std::forward_iterator_tag</code> 的基类，<code>std::is_base_of_v</code> 更适合做层级判断</li>
<li>C++20 后推荐用概念（<code>std::random_access_iterator</code>）替代手动 tag 判断，但 traits 提取仍是底层基础</li>
</ul>
<h3>自定义迭代器漏定义 <code>iterator_category</code> 会怎样</h3>
<p>如果只定义了 <code>value_type</code> 和 <code>reference</code>，但没定义 <code>iterator_category</code>，<code>std::iterator_traits</code> 默认会 fallback 到 <code>std::input_iterator_tag</code> —— 这很危险：可能把本该是随机访问的迭代器降级成只读单向的，导致算法退化甚至编译失败。</p>
<ul>
<li>标准规定：若未显式定义 <code>iterator_category</code>，<code>std::iterator_traits</code> 使用默认值 <code>std::input_iterator_tag</code>
</li>
<li>即使你的迭代器支持 <code>it += 5</code>，没声明 category 就拿不到 <code>std::random_access_iterator_tag</code>
</li>
<li>建议在自定义迭代器里显式 typedef：<code>using iterator_category = std::random_access_iterator_tag;</code>（按实际能力选）</li>
</ul>
<p>category 不是“越高级越好”，必须严格匹配真实操作能力。标成 <code>random_access_iterator_tag</code> 却不实现 <code>operator-</code>，会导致标准算法（如 <code>std::sort</code>）内部崩溃。</p></cat></cat></it></typename>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
