17370845950

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 a = {1,2,3,4};
  auto n = std::size(a); // 4

• ⚠️ 不支持 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*

动态数组（new int[n]）怎么知道长度

用 new[] 分配的数组，C++ 标准**不提供任何接口获取其长度**。运行时长度信息由实现管理，但不对用户暴露。强行尝试解析内存或依赖特定编译器行为属于未定义行为。

• ✅ 正确做法：自己记录长度，例如用 std::pair 或封装成小结构体
• ✅ 更推荐：直接用 std::vector 替代，v.size() 直接可用，且自动管理内存
• ❌ 不要试图通过 operator new 分配头信息、或用调试器看内存布局来“猜”长度

原生数组长度只能靠编译期信息；一旦退化为指针，长度就彻底丢失了——这不是限制，而是 C++ 值语义和零成本抽象的设计选择。别绕开它，用 std::vector、std::span 或显式传参才是正解。