关于std::ranges中默认构造std::forward_iterator状态的要求问询

核心结论 #

默认构造的迭代器允许处于任意无效/不一致状态，只要程序中不会对其执行任何需要有效状态的操作（比如解引用、递增、与有效迭代器比较等）即可。因为std::default_initializable仅要求类型能被默认构造，并不强制默认构造后的对象必须处于可用状态——前提是这个默认构造的对象永远不会被实际使用。

标准依据 #

C++标准中，std::sentinel_for依赖的std::semiregular概念，要求类型满足std::default_initializable、std::copyable和std::destructible。其中std::default_initializable仅规定类型必须存在默认构造函数，不定义默认构造对象的行为语义，除非类型本身有额外的语义约束（比如标准库容器的迭代器，但自定义迭代器不属于这类情况）。

对于ranges库的实际使用场景，只要你的迭代器都是通过合法路径构造（比如从容器的begin()/end()获取），默认构造函数永远不会被ranges库调用或触发，那么即使默认构造的迭代器状态无效，也不会引发未定义行为。

针对“无法生成一致状态”的实现建议 #

如果你的迭代器在默认初始化时无法生成一致的有效状态，完全可以实现一个空的默认构造函数，或者让成员变量处于未初始化状态，只需确保：

• 自身代码不会主动创建并使用默认构造的迭代器
• 任何可能接触到默认构造迭代器的代码路径，都不会执行需要其有效状态的操作

示例实现：

struct MyForwardIterator {
    // 默认构造函数，成员变量不做初始化
    MyForwardIterator() = default;

    // 用于创建有效迭代器的构造函数
    explicit MyForwardIterator(/* 必要初始化参数 */) {
        // 初始化成员变量至有效状态
    }

    // 迭代器必需的操作重载
    MyForwardIterator& operator++();
    MyForwardIterator operator++(int);
    const int& operator*() const;
    // ... 其他必要操作
};

这种实现是安全的，因为ranges库不会调用这个默认构造函数，只要你自己的代码也不使用默认构造的迭代器，就不会有问题。

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