在 C++ 中将数组传递给函数的不同语法

Question

#include <stdio.h>

void test2(int (&some_array)[3]){
  // passing a specific sized array by reference? with 3 pointers?
}

void test3(int (*some_array)[3]){
  // is this passing an array of pointers?
}

void test1(int (some_array)[3]){
  // I guess this is the same as `void test1(some_array){}`, 3 is pointless.
}

int main(){
  //
  return 0;
}

以上三种语法有什么区别？ 我在每个部分都添加了 cmets，以使我的问题更加具体。

Answer 1

void test2(int (&some_array)[3])

这是传递对 3 个ints 数组的引用，例如：

void test2(int (&some_array)[3]) {
    ...
}

int arr1[3];
test2(arr1); // OK!

int arr2[4];
test2(arr2); // ERROR!

void test3(int (*some_array)[3])

这是传递一个指向 3 个ints 数组的指针，例如：

void test3(int (*some_array)[3]) {
    ...
}

int arr1[3];
test3(&arr1); // OK!

int arr2[4];
test3(&arr2); // ERROR!

void test1(int (some_array)[3])

现在，事情变得有点有趣了。

括号在这种情况下是可选的（在引用/指针情况下它们不是可选的），所以这等于

void test1(int some_array[10])

这又只是语法糖

void test1(int some_array[])
（是的，数字被忽略了）

这又只是语法糖

void test1(int *some_array)

所以，不仅数字被忽略，而且它只是一个简单的指针被传入。并且任何固定数组都会衰减为指向其第一个元素的指针，这意味着 any 数组可以被传入，即使声明表明只允许 3 个元素，例如：

void test1(int (some_array)[3]) {
    ...
}

int arr1[3];
test1(arr1); // OK!

int arr2[10];
test1(arr2); // ALSO OK!

int *arr3 = new int[5];
test1(arr3); // ALSO OK!
delete[] arr3;

Live Demo

Answer 2

在您的代码中，test3 是传递指向数组的指针的正确方法，如果您愿意的话。

void foo(int (*some_array)[3])
{
    for (size_t i = 0; i < 3; ++i) {
        printf("some_array[%zu]: %d\n", i, (*some_array)[i]);
    }
}

int main()
{
    int a[3] = { 4, 5, 6 };

    foo(&a);

    return 0;
}

运行此代码会返回您所期望的结果：

some_array[0]: 4
some_array[1]: 5
some_array[2]: 6