为什么C++中用sizeof的自定义函数无法正确计算数组长度？

两种运行结果差异的核心原因 #

C++对不同作用域下的数组类型处理存在本质区别：

• 在main函数中直接定义的int arr[3]是完整的固定长度数组类型，未发生类型退化。此时执行sizeof(arr)，计算的是整个数组占用的总内存字节数，除以单个int类型的大小，自然能得到正确的元素个数3。
• 当数组作为函数形参传递时，C++规则会强制把数组类型退化为指向首元素的指针：哪怕你写的形参是int arr[]，编译器实际识别的类型是int* arr。此时在len函数内部，arr已经不是完整的数组对象，而是一个普通指针，sizeof(arr)计算的是指针本身的内存大小（64位系统下通常为8字节），根本无法反映整个数组的实际长度，因此计算结果完全偏离预期，这也是编译器给出对应警告的核心原因。

可行的修正方案 #

不需要依赖带.size()方法的vector，也可以实现适配原生数组的正确长度计算函数：

• 使用模板推导数组引用的方式实现，完全兼容你原有的函数调用逻辑，对应实现代码：

  template<size_t N>
  int len(int (&arr)[N]) {
      return N;
  }
  

  这种写法的核心是形参接收的是固定长度数组的引用，不会触发数组退化为指针的规则，编译器在传入数组时会自动推导出数组的长度值N，直接返回即可得到正确的计算结果。
• 如果使用C++17及以上版本，可以直接调用标准库提供的std::size()工具函数，它对原生数组、vector、std::array等类型都能通用获取元素长度，不需要重复造轮子。

注：上述适配原生数组的长度计算方法，仅适用于作用域清晰、未发生类型退化的固定长度栈数组。如果数组已经被赋值给裸指针、是动态分配的堆数组，因为其本身没有内置存储长度信息，确实无法仅通过指针值推算元素个数，这类场景才需要使用vector等自带长度记录的容器。

内容的提问来源于stack exchange，提问作者VSCloud9