在C++编程中，数组作为参数传递给函数时，会隐式退化为指向首元素的指针，原本的数组类型信息会丢失，因此直接在函数内部使用sizeof计算数组大小会得到指针的字节长度，而非数组的实际元素个数，这是很多新手容易踩的坑。正确的获取方式需要结合C++的语言特性来实现。
常见的错误获取方式
很多开发者会尝试在函数内部用sizeof计算数组大小，代码如下：
#include <iostream>
using namespace std;
void printArraySize(int arr[]) {
// 错误：arr实际是指针，sizeof(arr)是指针大小，不是数组大小
cout << "函数内数组大小：" << sizeof(arr) / sizeof(arr[0]) << endl;
}
int main() {
int myArr[] = {1, 2, 3, 4, 5};
cout << "原数组大小：" << sizeof(myArr) / sizeof(myArr[0]) << endl;
printArraySize(myArr);
return 0;
}
上述代码中，main函数里计算数组大小是正确的，但printArraySize函数内计算的结果是错的，在64位系统中指针大小为8字节，int大小为4字节，结果会输出2，和实际的5个元素不符。
正确获取数组大小的方法
方法一：使用模板参数推导
C++的模板可以在编译期推导数组的实际类型，包括数组的元素个数，我们可以将数组作为模板参数传递：
#include <iostream>
using namespace std;
// 模板参数N会被推导为数组的元素个数
template <size_t N>
void printArraySize(int (&arr)[N]) {
cout << "数组元素个数：" << N << endl;
cout << "数组大小（字节）：" << sizeof(arr) << endl;
}
int main() {
int arr1[] = {1, 2, 3};
int arr2[] = {1, 2, 3, 4, 5};
printArraySize(arr1); // 输出3
printArraySize(arr2); // 输出5
return 0;
}
这种方式的优势是可以在编译期确定数组大小，不需要额外传递参数，但是只能用于已知大小的数组，且函数只能接收对应类型的数组。
方法二：传递数组引用作为函数参数
如果不想使用模板，也可以直接声明接收数组引用的参数，同时显式指定数组大小：
#include <iostream>
using namespace std;
// 只能接收元素个数为5的int数组
void printArraySize(int (&arr)[5]) {
cout << "数组元素个数：5" << endl;
cout << "数组大小（字节）：" << sizeof(arr) << endl;
}
int main() {
int arr[] = {1, 2, 3, 4, 5};
printArraySize(arr); // 正确
// int arr2[] = {1,2,3};
// printArraySize(arr2); // 错误，数组大小不匹配
return 0;
}
这种方式的局限性很明显，函数只能接收固定大小的数组，灵活性较差。
方法三：额外传递数组长度参数
最通用的方法是额外传递一个表示数组长度的参数，这是C风格接口最常用的方式：
#include <iostream>
using namespace std;
void printArray(int arr[], size_t length) {
cout << "数组元素个数：" << length << endl;
for (size_t i = 0; i < length; ++i) {
cout << arr[i] << " ";
}
cout << endl;
}
int main() {
int arr1[] = {1, 2, 3};
int arr2[] = {1, 2, 3, 4, 5};
printArray(arr1, sizeof(arr1)/sizeof(arr1[0]));
printArray(arr2, sizeof(arr2)/sizeof(arr2[0]));
return 0;
}
这种方式兼容性好，适用于所有数组场景，但是需要调用者保证传递的长度和数组实际长度一致，否则会出现越界问题。
不同方法的适用场景
我们可以根据实际需求选择合适的方法：
- 如果数组大小固定且不需要兼容旧代码，优先使用模板参数推导的方式，安全性和便利性最好
- 如果接口需要兼容C风格或者其他语言调用，使用额外传递长度参数的方式
- 如果数组大小固定且不需要通用性，可以使用数组引用参数的方式
另外在C++17之后，还可以使用std::size函数来获取数组大小，前提是数组的作用域仍然保留完整的类型信息，传递给函数后同样会因为退化问题无法使用。