如何在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++删除它.