解读C++20标准草案iterator.concepts.general#1中ITER_TRAITS条款含义

首先明确规则原文：

对于类型I，若iterator_traits<I>是主模板生成的特化，则ITER_TRAITS(I)指代类型I；否则ITER_TRAITS(I)指代iterator_traits<I>。

核心逻辑 #

这是C++20迭代器概念体系中引入的兼容设计，核心作用是降低自定义迭代器的实现成本，同时完全兼容旧版本代码：

• std::iterator_traits是标准库用来萃取迭代器关联类型（value_type、difference_type、reference等）的工具类。如果某个迭代器类型I没有被手动特化std::iterator_traits<I>，编译器会自动用iterator_traits的主模板生成对应的特化版本。
• 当iterator_traits<I>是主模板自动生成的版本时，说明开发者没有自定义迭代器的萃取规则，此时ITER_TRAITS(I)直接指代I本身，标准库会直接从I的类定义中读取所需的关联类型。
• 当iterator_traits<I>是用户手动特化的版本（包括标准库内置的针对指针类型的特化），说明开发者自定义了迭代器的萃取规则，此时ITER_TRAITS(I)直接使用特化后的iterator_traits<I>。

典型场景示例 #

场景1：使用主模板特化的自定义迭代器 #

struct MyForwardIter {
    // 迭代器要求的关联类型直接在类内定义
    using value_type = int;
    using difference_type = std::ptrdiff_t;
    using reference = int&;
    using pointer = int*;
    using iterator_category = std::forward_iterator_tag;

    // ... 迭代器必要的运算符实现
};

// 没有手动特化std::iterator_traits<MyForwardIter>
// 此时iterator_traits<MyForwardIter>由主模板生成，ITER_TRAITS(MyForwardIter)等价于MyForwardIter

这种场景下C20之后不需要额外写任何适配代码，自定义迭代器就能直接被标准库算法识别，不需要像C17及更早版本那样继承std::iterator辅助类，也不需要手动写特化代码。

场景2：有手动特化的迭代器 #

// 旧版本自定义迭代器，没有在类内定义关联类型，通过特化iterator_traits适配
struct MyLegacyIter {
    // ... 只有运算符实现，没有内部关联类型定义
};

template<>
struct std::iterator_traits<MyLegacyIter> {
    using value_type = long;
    using difference_type = std::ptrdiff_t;
    using reference = long&;
    using pointer = long*;
    using iterator_category = std::random_access_iterator_tag;
};

// 此时iterator_traits<MyLegacyIter>是手动特化版本，ITER_TRAITS(MyLegacyIter)等价于std::iterator_traits<MyLegacyIter>

这种场景下旧版本的迭代器适配代码可以完全不用修改，就能正常在C++20及之后的标准库中工作。

内容的提问来源于stack exchange，提问作者ayub.ab