c++ - 为什么数组的大小会根据其在源代码中的位置而不一致？

Question

我可以声明 animal_array1 和 animal_array2。第一个在栈上，而第二个是……好吧，仍然在栈上，但这次声明为函数参数。这是一个示例代码:

 #include <iostream>

 using namespace std;

 struct Animal
 {
 };

 void test(Animal animal_array2[10])
 {
     Animal animal_array1[10];
     if(sizeof(animal_array2) == sizeof(animal_array1))
         cout << "Both sizes are equal. That's expected!" << endl;
     else
         cout << "Mhhh sizes are *NOT* equal. That wasn't expected at all!" << endl;

 }

 int main()
 {
     Animal unused_var[10];
     test(unused_var);
 }

输出是:

 $./a.out 
 Mhhh sizes are *NOT* equal. That wasn't expected at all!

怎么可能呢？海湾合作委员会错误？或者这是标准行为？我们如何从相同的表观类型中获得如此拉伸(stretch)的结果？

Answer 1

数组是 C 和 C++ 中唯一不能按值传递的数据类型。因此，数组衰减为指向数组第一个元素的指针(当声明和传递时)作为函数参数。

所以基本上是这样的:

void test(Animal animal_array2[10])

实际上是:

void test(Animal *animal_array2)

但仅作为函数参数

并将数组作为参数传递:

test(unused_var);

衰减为指向数组中第一个元素的指针:

test(&(unused_var[0]));

(作为旁注:但没有实际取消引用)