c++ - 函数原型(prototype)和数组参数

Question

我正在学习 C++ 语法，并且到了要研究数组的地步。 我想问你一个问题，但首先让我回顾一下，这样我就知道我把这些东西弄清楚了。 我知道您可以使用以下语法将变量定义为数组:

<base type> name [<size(constexpr)>]

(大小是数组类型的一部分)。 这会给我一个大小元素的基本类型数组 如果我想要一个指向基类型的指针数组，我可以像普通指针声明一样在基类型说明符后面添加一个 *。

<base type> *name [<size(constexpr)>]

我无法定义引用数组，因为数组应该只包含对象(而引用只是别名)。

现在，如果我想声明一个数组的引用或指针，我可以使用以下语法:

<base type> (&name) [<size(constexpr)>]

或

<base type> (*name) [<size(constexpr)>]

到此为止一切都清楚了。 我还知道，我可以将数组作为参数传递给函数，但该调用将始终被解释为我传递的是指向数组元素类型的指针。 声明如下的函数:

void f(int array[10])

等同于:

void f(int array[])
void f(int *p)

每当我调用这个函数时，我总是传递一个 int*(按值传递)。

问题: 如果我想在不使用参数名称的情况下编写函数原型(prototype)(纯声明)怎么办？我知道在那种情况下我通常可以省略参数名称(我可以写 void f(int*) 但其他两个声明呢？)。更重要的是，如果参数是引用怎么办还是指向数组的指针？

void f(int (&array)[])

或

void f(int (*array)[])

谢谢!

Answer 1

这很好:

void f(int[])
void f(int*)

这也是:

void f(int (*)[])

指针是指针。在本例中它指向一个数组，但它仍然是一个指针。

但是，这是不允许的:

void f(int (&)[])

无论是否指定名称。这将参数声明为“对未知边界数组的引用”，这是不允许的。如果您想接收对未知大小数组的引用，您可以为此使用模板:

template <size_t N>
void f(int (&array)[N]);

这是完全有效的。当然，固定大小的数组(在编译时确定大小)也可以出现没有名字:

void f(int (&)[32]) //Ok