当 first <= last 未满足时，C++ 标准对算法有何规定？

Question

当 first <= last 条件不满足时，官方 C++ 标准对算法有何规定，first 和 last 是传递给标准算法之一的迭代器？

我看到了三种可能性：

• 算法需要检查条件，如果它没有满足，算法不会做任何事情
• 需要算法才能引发异常
• 这是未定义的行为，所以...任何事情都可能发生

我很困惑，因为在算法描述中我没有看到关于first 和last 的requires 子句。

EDIT1：这是对问题的简化。更准确的版本是“当通过连续应用operator++ 无法从first 访问last 时，算法会发生什么？

EDIT2：我问这个问题是因为我正在实现std::reverse 的专门化，我想知道是否应该检查这个条件，或者当last 无法访问时我是否可以允许该函数做一些完全错误的事情来自first？

Answer 1

您要查找的文本位于迭代器部分（重点是我的）：

[iterator.requirements.general]/7-8

当且仅当存在有限的 使 i == j 的表达式 ++i。如果 j 可以从 i 到达，则它们指的是同一序列的元素。

大多数在数​​据结构上运行的库算法模板都有使用范围的接口。 范围是一对指定计算开始和结束的迭代器。范围 [i,i) 是 空范围； 一般来说，范围 [i,j) 指的是数据结构中以元素开头的元素 i 指向的元素，直到但不包括 j 指向的元素。范围 [i,j) 有效当且仅当 j 可以从 i 到达。将库中的函数应用于无效范围的结果未定义。

标准在这里明确指出，将无效（未完成）范围传递给标准算法会导致未定义的行为。算法本身确实以[first, last) 格式指定范围。

请注意，/7 不允许交换随机访问迭代器的参数，因为您不能一遍又一遍地应用 ++first 以达到 last。