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]>
{};
答案 0 :(得分:5)
“f2”不应该首先编译。如果[]是间接的第一级,你只能省略数组参数的大小,可以这么说,在这种情况下,它实际上不是数组而是指针。在这种情况下,第一级间接是&amp;,所以你不能省略[]中的大小。
答案 1 :(得分:5)
C ++有一个明确的规则,它禁止引用或指向数组而没有作为参数的边界(但那些是其他有效的类型)。以下是这种参数的有效参数
extern int arg[];
请注意,您不能使用具有大小的数组。 C ++没有类型兼容性概念。 C具有,并且使得数据类型没有与具有大小的相应数组类型兼容的大小。在C ++中,类型系统更严格,类型具有链接和无原型函数类型不存在,因此类型兼容性不是真正的需要,因此C ++删除它。