C++17后继承std::iterator弃用警告修复及编译异常解惑

问题根源 #

C17弃用std::iterator基类后，手动添加关联类型仍触发std::distance错误，核心原因是**MSVC在C23模式下的迭代器概念检查更严格**：

• 之前继承std::iterator时，标准库的std::iterator_traits会直接从基类推导关联类型，即使你的迭代器操作符不完全符合对应迭代器概念，编译器可能宽松处理；
• 手动替换为using声明后，编译器会严格按照C++20+的迭代器概念（如input_iterator、random_access_iterator）验证你的迭代器，若操作符实现不满足概念要求，std::distance的重载会因概念不匹配而找不到。

另外需注意：仅添加单个关联类型（如difference_type）会导致std::iterator_traits推导不完整，直接触发编译错误，必须完整声明所有五个关联类型。

解决步骤 #

1. 完整声明public的关联类型 #

确保迭代器类的所有五个关联类型都是public，示例：

class MyIterator {
public:
    // 必须与原std::iterator的模板参数完全一致
    using iterator_category = std::random_access_iterator_tag; // 替换为你的迭代器类别
    using value_type = int; // 替换为你的元素类型
    using difference_type = std::ptrdiff_t;
    using pointer = int*; // 替换为你的指针类型
    using reference = int&; // 替换为你的引用类型

    // 迭代器核心操作符实现（必须符合对应迭代器概念）
    reference operator*() const;
    pointer operator->() const;
    MyIterator& operator++();
    MyIterator operator++(int);
    // 随机访问迭代器还需要：operator--、operator+=、operator-=、operator+、operator-、operator[]等
    bool operator==(const MyIterator&) const = default;
};

2. 验证迭代器符合概念要求 #

用C++20的概念检查工具，确认你的迭代器满足目标类别：

// 替换为你的迭代器类别，比如std::input_iterator、std::random_access_iterator
static_assert(std::random_access_iterator<MyIterator>);

如果断言失败，编译器会明确提示缺少哪些操作（比如未实现operator-、operator++返回值错误等），针对性修复即可。

3. 验证关联类型推导正确 #

确认std::iterator_traits能正确识别你的迭代器类型：

static_assert(std::is_same_v<typename std::iterator_traits<MyIterator>::iterator_category, std::random_access_iterator_tag>);
static_assert(std::is_same_v<typename std::iterator_traits<MyIterator>::value_type, int>);
static_assert(std::is_same_v<typename std::iterator_traits<MyIterator>::difference_type, std::ptrdiff_t>);
static_assert(std::is_same_v<typename std::iterator_traits<MyIterator>::pointer, int*>);
static_assert(std::is_same_v<typename std::iterator_traits<MyIterator>::reference, int&>);

4. 排查操作符实现细节 #

常见不符合概念的错误：

• 前置operator++返回值为值而非引用（正确应为MyIterator&）；
• 未实现operator==或operator!=（C++20起可默认生成）；
• 随机访问迭代器缺少operator-、operator[]等操作；
• 操作符的const修饰符错误（比如operator*未加const）。

内容的提问来源于stack exchange，提问作者Bruce Adams