C++数组作为函数参数传递时sizeof返回结果异常问题求解

问题原因解释 #

首先明确：数组名本身不是指针，仅在大部分需要指针的语境下会发生「数组到指针的退化」，自动转换为首元素的指针。sizeof是少数不会触发数组退化的场景之一。

• 在main函数中，x的类型是int[5]（长度为5的int数组），没有发生退化，所以sizeof(x)计算的是整个数组占用的内存总大小：5 * 4字节 = 20字节。
• 当你把x传入foo函数时，因为形参声明为int* arr，触发了数组退化，arr的类型就是纯指针，所以sizeof(arr)返回的是指针本身的占用大小，64位系统下为8字节。
  两者地址一致是因为退化后的指针确实指向数组首地址，但二者的类型完全不同，所以sizeof结果不同。

函数内部获取数组长度的常用方案 #

方案1：模板推导数组长度（编译期确定，类型安全） #

如果传入的是编译期长度固定的静态数组，可以用模板接收数组引用，自动推导长度：

template<size_t N>
int foo(int (&arr)[N]) {
    std::cout << arr << "(" << sizeof(arr) << ")，数组长度为" << N;
    // 后续逻辑直接用N即可
}

该方案没有运行开销，且会自动校验传入的参数是固定长度数组，不会接受野指针，适合处理栈上固定长度数组。

方案2：额外传递长度参数（兼容性最强） #

如果需要兼容动态分配的数组，最通用的做法是调用时同时传递数组长度：

int foo(int* arr, size_t len) {
    // 直接使用传入的len参数
}

// 调用示例
int x[] = {0,1,2,3,4};
// C++17及以上可以用std::size获取静态数组长度
foo(x, std::size(x));
// 低版本C++可以用 sizeof(x)/sizeof(x[0]) 计算长度
// foo(x, sizeof(x)/sizeof(x[0]));

该方案适配所有数组类型，包括new出来的动态数组，缺点是需要手动传参，存在传错长度的风险。

方案3：改用标准库容器（C++推荐实践） #

无特殊需求的前提下，优先用std::array（固定长度）或std::vector（动态长度）代替原生数组，直接调用size()方法即可获取长度，无需手动管理：

#include <vector>

int foo(const std::vector<int>& arr) {
    std::cout << "数组长度为" << arr.size();
}

// 调用示例
std::vector<int> x = {0,1,2,3,4};
foo(x);

该方案安全性最高，还自带越界检查、自动内存管理等特性，是C++处理序列数据的首选。

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