c++原生数组不可直接用==比较，因会退化为指针比较地址；应使用std::equal逐元素比较或改用std::array（支持==）。
因为 C++ 原生数组（比如 int arr[5]）不是可比较的类型，语言标准没给它定义 ==、!= 或其他关系运算符。
原生数组没有重载比较操作符
C++ 中的内置数组是“退化类型”（decayed type），本质上是连续内存块的别名，编译器不为它生成任何比较逻辑。你写 arr1 == arr2，编译器会尝试把两个数组名隐式转成指针（int*），结果变成比较两个地址——这显然不是你想比的内容。
- 即使两个数组内容完全一样，
arr1 == arr2也几乎总是false（除非它们是同一块内存的两个名字） - 这种行为在 C 和 C++ 里都一致，属于底层设计选择，不是 bug
-
std::array和std::vector则明确重载了==等运算符，可以安全直接比较
用 std::equal 比较内容是否相等
最常用、语义清晰的方式是用 std::equal，它逐元素调用 operator==，要求两个范围长度一致：
#include <algorithm>
#include <array><p>int a1[] = {1, 2, 3};
int a2[] = {1, 2, 3};
bool eq = std::equal(std::begin(a1), std::end(a1), std::begin(a2));
</p></array></algorithm>
- 必须确保两个数组大小相同；否则
std::equal会越界读取（a2较短时）或忽略多余元素（a2较长时） - 如果数组大小是编译期常量，建议封装成函数模板，让编译器推导
N，避免手动传 size - 注意：
std::equal不检查第二个序列是否足够长，只保证第一个范围内的迭代器有效
用 memcmp 快速按字节比较（慎用）
如果数组元素是 trivially copyable 类型（如 int、float、char），且你确定内存布局一致，可以用 memcmp：
#include <cstring><p>int a1[] = {1, 2, 3};
int a2[] = {1, 2, 3};
bool eq = (memcmp(a1, a2, sizeof(a1)) == 0);
</p></cstring>
- 快，但不安全：对
float数组，-0.0和+0.0字节不同但语义相等；NaN的表示也不唯一 - 对含 padding 的 struct 数组，padding 字节可能未初始化，导致随机比较结果
- 不能用于
std::string、std::vector或任何有构造/析构逻辑的类型
为什么 std::array 可以直接比较
std::array<t n></t> 是一个聚合类，标准明确要求它支持所有比较运算符，行为等价于逐元素 std::equal + 字典序规则：
#include <array><p>std::array<int> a1 = {1, 2, 3};
std::array<int> a2 = {1, 2, 3};
if (a1 == a2) { /<em> ✅ 合法且直观 </em>/ }
</int></int></p></array>
- 底层仍要遍历，但语法干净、语义明确、编译期可优化（N 小时可能全展开）
- 如果只是需要“能比较”的数组，优先用
std::array而非原生数组 - 注意：
std::array比较要求T本身支持==；若T是自定义类，需自己提供
真正容易被忽略的是：原生数组的“不可比较性”不是临时限制，而是整个类型系统的设计前提——它没有拷贝赋值、没有移动构造、没有比较，只有隐式退化和地址操作。一旦你开始频繁想“比较数组”，就该考虑换 std::array 或 std::vector 了。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
