它是否被定义为向 C++ 标准算法提供倒置范围？

考虑标准算法，例如，std::for_each.

template<class InputIterator, class Function>
Function for_each(InputIterator first, InputIterator last, Function f);

据我所知，实际上没有任何要求relative两人的状态InputIterator论据。

这是否意味着以下内容在技术上是有效的？或者它是未定义的？我能实际期望它做什么do?

std::vector<int> v{0,1,2,3,4};
std::for_each(
   v.begin()+3,  // range [3,0)
   v.begin(),
   [](int){}
);

geordi告诉我：

错误：函数需要有效的迭代器范围 [__first, __last)。 [+ 13 条废弃的行]

但我无法判断此调试诊断的合规性如何。

我在尝试时想到了这个问题迂腐地确定如何明确定义以下行为：

std::vector<int> v; // <-- empty
std::for_each(      // <-- total no-op? stated or just left to implication?
   v.begin(),
   v.end(),
   [](int){}
);

该标准明确要求last迭代器为可达的来自first迭代器。这意味着通过增加first一个人最终应该能够击中last.

24.1 迭代器要求

...

6迭代器j被称为可从迭代器到达i当且仅当 表达式的应用存在有限序列++i那 使i == j. If j可以从以下位置到达i，它们指的是同一个 容器。

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