数组传参三方式对比解析

<p>函数参数中T arr和T arr[]底层相同，但T (&arr)[N]保留数组大小信息。一、T arr最灵活但需手动传长度；二、T arr[]本质同指针，仅语义上贴近数组；三、T (&arr)[N]通过引用传递数组，保留大小信息，适用于固定大小数组。选择依据：动态或任意大小数组用T* arr；强调数组形式且不关心大小用T arr[]；需明确大小且防误传用T (&arr)[N]。</p>

在C++中，函数无法直接以数组作为参数完整地接收一个数组（除非用引用封装），通常的做法是传递数组的指针。但很多人刚开始学的时候容易混淆几种写法：T arr[]、T* arr、T (&arr)[N]，这三种方式有什么区别？怎么选？

一句话说重点：它们底层都退化为指针，但语义不同，适用场景也不同。

一、使用 T* arr —— 最常见也是最灵活的方式

这种方式本质上就是传一个指向数组首元素的指针。你可以在函数内部通过这个指针访问数组内容，但它并不知道数组长度。

void printArray(int* arr, int size) {
    for (int i = 0; i < size; ++i)
        std::cout << arr[i] << " ";
}

调用时：

int a[5] = {1,2,3,4,5};
printArray(a, 5);

• ✅ 优点：适用于任何大小的数组，包括动态分配的内存。
• ❌ 缺点：没有数组边界信息，需要手动传长度，容易出错。

二、使用 T arr[] —— 看起来像数组，其实还是指针

虽然写法看起来像是传了整个数组，但实际上编译器会把它当作 T* arr 来处理。

void printArray(int arr[]) {
    // 这里 sizeof(arr) 得到的是指针大小，不是数组大小
}

调用方式和上面一样：

int a[5];
printArray(a);

• ⚠️ 注意：这种写法只是“语法糖”，它不会保留数组长度信息。
• ✅ 好处：让代码看起来更贴近数组操作，适合教学或强调参数是一个数组的情况。

三、使用 T (&arr)[N] —— 引用传数组，保留类型信息

这种方式是真正把数组作为一个整体传入函数，必须指定数组大小。

template <size_t N>
void printArray(int (&arr)[N]) {
    for (int i = 0; i < N; ++i)
        std::cout << arr[i] << " ";
}

调用时：

int a[5] = {1,2,3,4,5};
printArray(a);  // 模板自动推导出 N = 5

• ✅ 优点：保留了数组长度信息，安全，不容易越界。
• ❌ 缺点：只能接受固定大小的数组，不能传动态数组或指针。

几种写法对比总结：

• 如果你想处理任意大小的数组，包括动态数组 → 用 T* arr
• 如果你希望接口看起来像数组，但不关心大小 → 用 T arr[]
• 如果你希望明确数组大小，并防止误传 → 用 T (&arr)[N]

小贴士：模板 + 引用方式可以通用一些

如果你不想每次都改函数模板参数，可以用模板自动推导数组大小，这样写一次就能支持多种固定大小数组。

template <typename T, size_t N>
void process(T (&arr)[N]) {
    // 可以用 N 做循环判断
}

基本上就这些。不同的声明方式各有用途，理解它们之间的差异有助于写出更清晰、更安全的代码。