sizeof计算栈上原生数组长度仅在定义时有效，函数参数中数组会退化为指针导致结果错误；std::size可安全用于原生数组、std::array和std::vector，但不支持指针或退化后的形参。
用 sizeof 计算栈上数组长度
只有在数组是**栈上定义的原生数组**（非指针、非动态分配）时，sizeof(array) / sizeof(array[0]) 才能正确得到元素个数。这是编译期行为，不适用于函数参数传入的数组。
常见错误：把数组传进函数后还在函数内用 sizeof 算长度——此时数组已退化为指针，sizeof 返回的是指针大小（通常是 4 或 8），结果完全不可靠。
- ✅ 正确场景：
int arr[] = {1, 2, 3, 4, 5}; size_t n = sizeof(arr) / sizeof(arr[0]); // 得到 5 - ❌ 错误场景：
void func(int a[]) { size_t n = sizeof(a) / sizeof(a[0]); // 错！a 是 int*，不是数组类型 } - ⚠️ 注意：
sizeof对std::array和std::vector不适用（它们不是 C 风格数组）
用 std::size（C++17 起推荐）
std::size 是标准库提供的泛型工具，对原生数组、std::array、std::vector 等都有效，且类型安全、语义清晰。它底层仍依赖 sizeof 处理原生数组，但封装后避免了手写除法的出错可能。
- 支持栈数组：
int arr[] = {10, 20, 30}; auto n = std::size(arr); // 类型为 size_t，值为 3 - 也支持
std::array：std::array
- ⚠️ 不支持
int*指针，也不支持函数形参中的数组声明（因已退化）
为什么不能对函数参数用 sizeof 或 std::size
在函数签名中写 void f(int arr[]) 或 void f(int* arr)，效果完全一样：编译器只看到指针。数组长度信息在传参时就丢失了，没有任何运行时机制能从指针反推原始大小。
- 唯一可靠办法是**额外传入长度参数**：
void
process(int arr[], size_t len) {
for (size_t i = 0; i < len; ++i) { /* 安全遍历 */ }
} - 或者改用容器：用
std::vector或& std::span（C++20），它们自带.size()方法 - ⚠️ 即使是
int arr[5]这样的形参写法，也仍是语法糖，实际还是int*
process(int arr[], size_t len) {
for (size_t i = 0; i < len; ++i) { /* 安全遍历 */ }
}动态数组（new int[n]）怎么知道长度
用 new[] 分配的数组，C++ 标准**不提供任何接口获取其长度**。运行时长度信息由实现管理，但不对用户暴露。强行尝试解析内存或依赖特定编译器行为属于未定义行为。
- ✅ 正确做法：自己记录长度，例如用
std::pair或封装成小结构体 - ✅ 更推荐：直接用
std::vector替代，v.size()直接可用，且自动管理内存 - ❌ 不要试图通过
operator new分配头信息、或用调试器看内存布局来“猜”长度
原生数组长度只能靠编译期信息；一旦退化为指针，长度就彻底丢失了——这不是限制，而是 C++ 值语义和零成本抽象的设计选择。别绕开它，用 std::vector、std::span 或显式传参才是正解。
