结束迭代器总是在比较的 rhs 中吗？答案

【问题标题】：Are the end iterators always in the rhs of the comparison?结束迭代器总是在比较的 rhs 中吗？
【发布时间】：2021-03-03 14:57:28
【问题描述】：

根据我在测试基于范围的标准算法和容器中发现的结果，始终进行以下比较 it!=c.end() 也就是结束迭代器位于 != 运算符的右侧，我想知道是否有标准或一些标准保证以下内容不会出现在 STL 实现中c.end()!=it

我很好奇，因为我正在构建一个迭代器库，而我的 != 运算符看起来像这样

bool operator!=(const Iterator& lhs, const Iterator& rhs)
{
    return lhs._validate();
}

只要 rhs 始终是结束迭代器，这就是有效的

【问题讨论】：

c.end() != it 形式有时被称为尤达条件，它可以防止拼写错误it = c.end()（省略！）。此外，标准算法不假定它们在容器上工作，而是在迭代器对指定的范围内显式运行。这可以是容器的子范围。（C++20 之前的<ranges>）
尽你所能。

标签： c++ c++11 iterator std

【解决方案1】：

当it!=c.end() 为假时，从技术上讲，结束迭代器位于比较的两侧。

不需要写it!=c.end() 而不是c.end()!=it，也不能保证不会写后者。两者同样被允许。此外，比较的迭代器完全有可能不是结束迭代器：c.begin()!=c.begin() 完全没问题。因此，您的建议无效。

将不断变化的“变量”写在左边，将具有已知属性的“常数”写在右边，这在编程中是常规的，并且与英语相关：我们问“迭代器在末尾吗？”而不是“最后是迭代器吗？”。

【讨论】：

你是对的，但我认为作为我的库设计的一部分，将迭代器与其末端以外的任何东西进行比较没有多大意义

【解决方案2】：

23.3.1 一般 [iterator.requirements.general]
1 迭代器是指针的泛化，它允许 C++ 程序以统一的方式处理不同的数据结构（例如，容器和范围）。
2 由于迭代器是指针的抽象，它们的语义是 C++ 中大多数指针语义的泛化。这确保了每个带有迭代器的函数模板都可以与常规指针一起工作。

指针的比较是明确定义的，即使它们中的任何一个是空指针或结束指针。它们具有交换性，即当参数的顺序颠倒时结果保持不变。因此，与迭代器一起使用的比较函数应该以类似的方式运行，而不仅仅是随机取消引用参数或要求其中一个不是结束迭代器。

【讨论】：

我知道比较应该是可交换的，但是（也许我忘了提到这一点，但我的迭代器是 input_iterators）所以我假设我的库中的用例不需要或不需要比较迭代器除了结束之外的任何事情，因为它没有多大意义
@CarlosCM 因此，即使应该只将迭代器与结束迭代器进行比较，比较也需要是可交换的。另请注意，最好将与可修改操作数的比较写在右侧以避免虚假赋值。