是一个大小为N的c++数组,是一个不同的类型[重复]

我想

int a1[5];

和

int a2[6];

是不同的类型。

但是

void foo(int a[5]){};
void foo(int a[6]){};

不会编译,说它们是foo的重复定义(即 foo(int *a) )

我对此感到非常惊讶。我看到的c++标准中不允许使用VLA的原因之一是因为它们破坏了类型系统。

我还惊讶地发现c也在做同样的事情。

void foo(int a[4]){
   printf("sz=%ld", sizeof(a));
}

报告指针大小。我本以为它会报道 4*sizeof(int) (并且只接受类型为的变量 int[4] 作为调用参数接受)