c++ - 比较 vector 的不等式仅在 vector 元素上使用相等运算符。为什么？

Question

我的两个编译器(g++ 和 clang)都不会编译这个:

#include <vector>

struct A {
  friend bool operator!=(A const& a1, A const& a2) { return false; }
};

int main()
{
  std::vector<A> v1, v2;
  return (v1 != v2);
}

错误是 STL_algobase.h 中某处的 !(*__first1 == *__first2) 无效。

换句话说，它完全忽略了 A 的现有运算符!=。不用说，如果我定义一个 operator== 然后它编译并工作。

按照标准应该是这样的吗？

如果是，为什么？

Answer 1

是因为the comparison operators想要一个 EqualityComparable或 LessThanComparable类型。

只有 ==和 < , 你可以导出等价的 != , <= , >= , 和 > .换句话说，只需实现 2 个运算符，就可以获得所有 6 个比较(假设我没有在逻辑上犯错):

(a != b) is !(a == b)
(a <= b) is !(b < a)
(a >= b) is !(a < b)
(a >  b) is  (b < a)

标准容器通常使用它，并将使用 operator==和 operator<在进行类型比较时。

所以，是的，这是应该的。

至于问题的第二部分(为什么)，我实际上并不完全确定为什么没有使用其他可用的运算符。 p>