我可以声明 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)的结果?
最佳答案
数组是 C 和 C++ 中唯一不能按值传递的数据类型。因此,数组衰减为指向数组第一个元素的指针(当声明和传递时)作为函数参数。
所以基本上是这样的:
void test(Animal animal_array2[10])
实际上是:
void test(Animal *animal_array2)
但仅作为函数参数
并将数组作为参数传递:
test(unused_var);
衰减为指向数组中第一个元素的指针:
test(&(unused_var[0]));
(作为旁注:但没有实际取消引用)
关于c++ - 为什么数组的大小会根据其在源代码中的位置而不一致?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/22359940/