如何在C ++中调用void foo（int（＆）[]）{}？

Question

void f1(int (&)[8])
{}

void f2(int (&)[])
{}

int main()
{
    int a[8];

    f1(a); // OK

    f2(/* What should I put here? */); // ???

    return 0;
}

我怎么称呼f2？

PS：void f2（int（＆）[]）{}在VC ++ 2012下是合法的。

考虑以下：

template<class T>
struct A
{};

template<class T>
struct A<T[]>
{};

template<class T, size_t size>
struct A<T[size]>
{};

Answer 1

“f2”不应该首先编译。 如果[]是间接的第一级，你只能省略数组参数的大小，可以这么说，在这种情况下，它实际上不是数组而是指针。 在这种情况下，第一级间接是＆，因此您不能省略[]中的大小。

Answer 2

C ++有一个明确的规则，它不允许引用或指向数组而没有作为参数的边界（但那些是其他有效的类型）。 以下是这种参数的有效参数

extern int arg[];

请注意，您不能使用具有大小的数组。 C ++没有类型兼容性概念。 C具有，并且使得数据类型没有与具有大小的相应数组类型兼容的大小。 在C ++中，类型系统更严格，类型具有链接和无原型函数类型不存在，因此类型兼容性不是真正的需要，因此C ++删除它。