c++ - partial_sort 的中间迭代器可以等于结束迭代器吗？

Question

根据 http://www.cplusplus.com/reference/algorithm/partial_sort/ , middle 参数是:

Random-access iterator pointing to the element within the range[first,last) that is used as the upper boundary of the elements thatare fully sorted.

具体来说，middle 不允许等于last。然而，https://en.cppreference.com/w/cpp/algorithm/partial_sort似乎有完全不同的文档并且没有提到任何范围限制(但显然 middle 不应该在 [first, last] 之外)。

middle == last 时是否定义了行为？

Answer 1

Can partial_sort's middle iterator equal the end iterator?

是的，它可以。在这种情况下，效果与使用 std::sort 相同。

标准规定了这样的先决条件:

Preconditions: [first, middle) and [middle, last) are valid ranges.