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

Question

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

我看到三种可能性:

• 算法需要检查条件，如果条件不满足，算法什么都不做
• 要求算法抛出异常
• 这是未定义的行为，所以...任何事情都可能发生

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

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

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

Answer 1

您要查找的文本在迭代器部分(强调我的):

[iterator.requirements.general]/7-8

An iterator j is called reachable from an iterator i if and only if there is a finite sequence of applications of the expression ++i that makes i == j. If j is reachable from i, they refer to elements of the same sequence.

Most of the library’s algorithmic templates that operate on data structures have interfaces that use ranges. A range is a pair of iterators that designate the beginning and end of the computation. A range [i,i) is an empty range; in general, a range [i,j) refers to the elements in the data structure starting with the element pointed to by i and up to but not including the element pointed to by j. Range [i,j) is valid if and only if j is reachable from i. The result of the application of functions in the library to invalid ranges is undefined.

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

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