std::array 的 == 运算符可直接比较相等性，要求类型完全一致且元素支持 operator==，底层逐个调用并短路；不可用 std::memcmp，因其按字节比较填充和未定义状态，导致结果不可靠。
std::array 的 == 运算符可以直接比较相等性
只要两个 std::array 类型完全一致（元素类型相同、大小相同），就能直接用 == 判断是否所有对应元素都相等。这是标准库提供的默认行为，底层逐个调用元素的 == 运算符，且支持短路（遇到第一个不等就返回 false）。
常见错误是误以为需要手动循环或用 std::equal ——其实没必要，除非你有特殊需求（比如自定义比较逻辑）。
- 必须保证两个数组是同一模板特化：比如
std::array<int></int>和std::array<int></int>可比；但和std::array<int></int>或std::array<double></double>比较会编译失败 - 元素类型必须支持
operator==；如果是自定义结构体，需自行定义该运算符 - 比较是值语义，不关心内存地址或是否为同一对象
为什么不能用 std::memcmp 比较 std::array
std::memcmp 是按字节比较内存块，对 std::array 来说既不安全也不可靠。它会把填充字节（padding）、未初始化成员、或非 POD 类型的内部状态也纳入比较，导致结果不可预测。
典型错误现象：std::array<:string></:string> 用 memcmp 比较永远返回不等，哪怕内容一样——因为 std::string 内部指针或小字符串缓冲区布局不同。
- 仅当元素是 trivially copyable 且无 padding（如纯
int、float数组）时，memcmp才可能碰巧正确，但仍是未定义行为（UB） -
std::array不保证连续存储的“裸字节”可直接解释；它的data()返回的是元素首地址，但不代表整个对象可按字节 memcmp - 编译器优化可能让 padding 值不确定，
memcmp结果不稳定
需要自定义比较逻辑时怎么办
如果要忽略大小写、允许浮点误差、或按某种规则跳过某些字段，就不能依赖默认 ==，得自己写比较逻辑。推荐用 std::equal 配合 lambda，而不是手写 for 循环。
例如比较两个 std::array<double></double> 是否在误差范围内相等：
bool approx_equal = std::equal(a.begin(), a.end(), b.begin(),
[](double x, double y) { return std::abs(x - y)
-
std::equal要求两个范围长度一致；对std::array来说，只要类型相同，size()必然一致，所以安全 - 避免用
std::mismatch后再检查是否到尾——多一次遍历，不如std::equal直观高效 - 不要用
std::lexicographical_compare判断相等，它开销更大，且需额外判断 “!less && !less(other, self)”
注意 std::array 和 C 风格数组的混淆
有人试图对 C 风格数组（如 int arr[5]）用 ==，结果发现总是不等——那是数组名退化为指针，比较的是地址。而 std::array 是类类型，== 是重载运算符，行为完全不同。
-
std::array支持拷贝、赋值、比较，C 数组不支持这些操作 - 传参时，C 数组容易衰减；
std::array按值或 const 引用传递更清晰，且大小信息保留在类型中 - 若从 C 接口拿到原始指针和长度，想模拟
std::array比较，必须先确认长度相等，再逐元素比——这时候才轮到手写循环或std::equal
实际项目里最容易被忽略的是：把 std::array 当成“更安全的 C 数组”就完事了，却没意识到它的比较行为完全由元素类型的 == 定义——一旦元素是自定义类型，这个运算符没正确定义，整个相等判断就会静默失效。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
