c++ - 如何在 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++ 放弃了它。