std::array 的比较运算符

Question

标准库提供的 operator== 与 std::array 的比较仅适用于大小相等的数组。例如，以下代码无法编译

#include <array>

int main()
{
   std::array<int, 2> a{1, 3};
   std::array<int, 3> b{1, 2, 3};
   bool x = (a == b);
}

将大小不等的数组之间的比较定义为始终为假似乎是合乎逻辑的。但是，按照标准，不允许为非用户定义类型重载 operator==。总是可以选择定义一个比较函数，比如

template <typename U, std::size_t N, std::size_t M>
bool compare(const std::array<U, N>& a, const std::array<U, M>& b) noexcept
{
    if constexpr (N == M) {
       return (a == b);
    }
    else {
       return false;
    }
}

这样的解决方案很不方便，因为这意味着当 a 和 b 有可能具有不同的大小时，必须始终使用语法 compare(a, b)。

有没有标准库没有的根本原因在上面的代码中定义 operator==?
有没有更好的比较大小不等数组的解决方案？

Answer 1

Is there a fundamental reason why the standard library does not define operator== as in the code above?

标准库没有定义它的最根本原因是：没有提出这样的运算符==。这是将包装器添加到标准中的 proposal。它不包含不提供模板不同实例之间比较的理由。文档中没有证据表明甚至考虑过这样的运算符。

std::array 的比较运算符

comparison operator for std::array

c++

operator-overloading

stdarray