值初始化的singular迭代器可比较但无法构成find_if有效范围的疑问

问题现象 #

值初始化的singular迭代器处于无关联容器的状态，但可以正常进行比较操作（如两个值初始化的迭代器判定为相等）；但将这类迭代器组成的[it1, it2]范围传入std::find_if时，会触发_GLIBCXX_DEBUG的断言错误，提示需要有效迭代器范围。

代码示例 #

std::multimap<char, int>::iterator it1{};
std::multimap<char, int>::iterator it2{};

(void) (it1==it2); // 正常执行
std::find_if(it1, it2, [](const auto& el) { return el.second == 8;});

错误信息 #

/opt/compiler-explorer/gcc-12.2.0/include/c++/12.2.0/bits/stl_algo.h:3875:
In function:
    _IIter std::find_if(_IIter, _IIter, _Predicate) [with _IIter = 
    gnu_debug::_Safe_iterator<_Rb_tree_iterator<pair<const char, int>>, 
    debug::multimap<char, int>, bidirectional_iterator_tag>; _Predicate = 
    main()::<lambda(const auto:1&)>]

Error: function requires a valid iterator range [first, last).

标准依据与疑问 #

根据C++标准n3337的24.2.1.7条款，标准算法要求接收有效范围作为输入；同章节第6条款定义迭代器可达性：若存在有限次++i操作使i==j，则j可从i到达，且二者指向同一序列。

直觉上，两个相等的singular迭代器满足“零步可达”，且比较结果为相等，但实际却无法构成有效范围。疑问在于：这种设计的依据是什么？放宽该限制可能引发哪些问题？

设计依据与潜在问题 #

设计依据 #

1. 有效范围的核心前提：标准定义的有效迭代器范围要求迭代器属于同一容器（或序列），而singular迭代器未关联任何容器，本质上不属于任何合法序列，自然无法构成有效范围。
2. 可达性定义的边界：可达性要求的“同一序列”是前置条件，singular迭代器没有关联序列，因此即使it1 == it2，也不满足该前置条件，“零步可达”的逻辑不适用。
3. 调试工具的防护：_GLIBCXX_DEBUG的断言是对未定义行为的提前拦截——标准本身将singular迭代器作为范围传入算法的行为定义为未定义行为，调试库只是通过断言明确暴露问题，避免后续更隐蔽的错误。

放宽限制的潜在问题 #

1. 语义模糊：会混淆“无关联的singular迭代器”和“合法空范围”（如容器的begin() == end()）的语义，开发者可能误将singular迭代器当作合法空范围使用，破坏迭代器的语义一致性。
2. 实现复杂度提升：容器迭代器通常携带关联容器的元信息（如调试迭代器会存储容器指针），singular迭代器无此类信息。若算法要兼容这种情况，需要额外的判断逻辑，增加标准库的实现成本和运行时开销。
3. 未定义行为扩散：允许此类操作可能导致开发者依赖这种未定义行为，后续若尝试对singular迭代器进行解引用、递增等操作，会触发更严重的未定义行为，且难以排查。

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