C++自定义动态生成值容器的迭代器实现合规性及风险咨询

为提升效率，我尝试创建可动态生成值的C++容器（以生成零的Zeros容器为例）。理想实现如下：

struct Zeros
{
    struct Iterator
    {
        using value_type        = int;
        using pointer           = const int*;
        using reference         = const int&;
        using difference_type   = int;
        using iterator_category = std::input_iterator_tag;

        int idx_;

        int operator*() const { return 0; }
    
        Iterator& operator++() { ++idx_; return *this; }
        Iterator  operator++(int) {
            Iterator res(*this); 
            ++(*this);
            return res;
        }
    
        bool operator==(const Iterator& other) const { return idx_ == other.idx_; }
        bool operator!=(const Iterator& other) const { return !(*this == other);  }
    };

    Iterator begin() const { return Iterator{0}; }
    Iterator end()   const { return Iterator{10}; }
};

但该迭代器解引用返回值而非引用，不符合标准要求。因此我提出如下解决方案（返回迭代器属性的引用，虽显繁琐但严格符合输入迭代器要求）：

struct Zeros
{
    struct Iterator
    {
        // 省略重复的类型定义
        int idx_;
        mutable int value_ = 0;

        const int& operator*() const { 
            return value_;
        }
    
        // 省略重复的递增、比较运算符实现
    };

    Iterator begin() const { return Iterator{0};  }
    Iterator end()   const { return Iterator{10}; }
};

我感觉标准迭代器要求基于迭代器指向外部已存在内存的设计理念，因此担忧该修改方案可能存在问题，想咨询此设计是否存在问题或未定义行为？

回答 #

这个修改后的设计是符合C++标准输入迭代器要求的，不存在未定义行为，具体理由如下：

• 输入迭代器对解引用的核心要求是：在迭代器未被递增（或修改逻辑状态）的前提下，多次解引用得到的引用必须指向同一个值，且值保持一致。你的实现中value_固定为0，每次解引用都返回它的引用，完全满足这一规则。
• 使用mutable修饰value_是合理的：operator*是const成员函数，但value_的状态并不属于迭代器的“逻辑状态”（迭代器的逻辑状态由idx_唯一决定），修改它不会破坏迭代器的const语义。
• 标准并没有强制要求输入迭代器必须指向外部已存在的内存。输入迭代器允许“生成式”实现，只要满足单遍遍历、解引用有效等核心规则即可——比如标准库中的std::istream_iterator，本质就是从输入流中动态生成值，和你的实现思路是一致的。

需要注意的是，这个迭代器只能作为输入迭代器使用。如果要适配更严格的迭代器类别（比如前向迭代器），当前设计就不满足要求了——因为前向迭代器要求同一位置的不同迭代器必须指向同一个对象，而你的每个迭代器都持有独立的value_。但仅作为输入迭代器的话，完全合规。

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