sizeof 计算问题求解

[JQiue]

void foo(int *arr) {
  printf("%d\n", sizeof arr); // 4
}

int main(){
  int arr[] = {1, 2, 3, 4, 5};
  printf("%d\n", sizeof arr); // 20
  foo(arr);
}

对于上述代码的sizeof计算数组字节结果有些不太明白，arr很显然和arr[0]是等效的，为什么在主函数中计算arr的大小等于20（所有元素加起来的字节大小），而作为参数传递给另一个函数时却是4？

[ho121]

数组传参后都是指针，指针大小在 32 位环境下是 4，64 位环境下是 8

[JQiue]

@ho121 这个我知道，但是为什么 sizeof 在主函数中却是计算数组的所有元素大小

[qieqie]

一个是指针一个是数组，第一个 arr 等效的是&arr[0]

[ipwx]

首先，指针和数组不等效。。。楼主你想当然地信仰了一个错误观点。



sizeof(int*) == 4
sizeof(int[5]) == 20

[3dwelcome]

@JQiue “但是为什么 sizeof 在主函数中却是计算数组的所有元素大小”

因为 C/C++是类型推导语言，但是函数参数传递中，会丢失原来的类型。

你在两个函数里，分别用 typeid(arr).name()打一下类型名称就知道了，两者不一样。

[thinkIn]

sizeof 一般是用 define 定义的，你可以看下原理，很简练

[wudicgi]

"arr 很显然和 arr[0]是等效的"

当然不是等效的，否则 sizeof(arr) / sizeof(arr[0]) 这种计算元素数量的方法还怎么工作

[hanssx]

@3dwelcome 是不是看下汇编代码会比较有帮助？

楼主你没发现类型变了嘛，实参和形参的类型实际上是不一样的，你说的等效，也需要加上取地址符，而且只是地址这个数值等效。一个变量是有类型和大小的。

[lesismal]

《 C 陷阱与缺陷》《 C 专家编程》《 C 和指针》了解一下

[rshun]

函数参数那个*arr 表示的是数组第一个元素，即 arr[0]，所以你在函数内做 sizeof 的时候就是 4
你在 main 里面的做 sizeof，是数组的所有元素，所以是 4*5=20

[echoechoin]

数组传递到函数中会被转换为指针！！！ 所以 sizeof （数组） ！= sizeof(指针)

[ho121]

@JQiue
主函数中，arr 依然是数组，所以 sizeof 的结果是数组大小。另一方面 arr 也可以作为表达式，它代表的是 arr 数组的首地址。

函数调用 foo(arr)中的 arr 是作为表达式出现的，所以是指针。sizeof arr 中的 arr 代表数组本身。

[lesismal]

国人写的印象中《 C 语言深度解剖》还不错，太久了，记不清了。还有本《狂人 C:程序员入门必备》我没看过，但是当初作者在论坛跟大家 PK 各种 C 问题，很多老伙计一块给提了不少勘误和意见，内容应该能靠谱些吧

刚还搜到一本日本人的《征服 C 指针》，也没读过，但是以前读过的一些日本作者的技术书籍，感觉都挺不错的

[lesismal]

多读几本好书就理解清楚了，C 的细节还挺多呢，这么零散着问，很难系统吸收知识点，建议猛读一下我推荐的那几本书

[OliverDD]

http://c-faq.com/aryptr/index.html

[JQiue]

@wudicgi 嗯嗯这个我写错了

[lakehylia]

#include <cstdio>

void f1(int a[5]) {
printf("f1 sizeof %zu\n", sizeof(a));
}

void f2(int a[]) {
printf("f2 sizeof %zu\n", sizeof(a));
}

void f3(int* a) {
printf("f3 sizeof %zu\n", sizeof(a));
}

int main()
{
int a[5];
f1(a);
f2(a);
f3(a);
return 0;
}

//======== 运行结果

f1 sizeof 8
f2 sizeof 8
f3 sizeof 8

[lakehylia]

C 中数组不能按值传递的规则。
但是 c++里面，引用有奇效
void f4(int(&a)[5]) {
printf("f4 sizeof %zu\n", sizeof(a)); // f4 sizeof 20
}

[agagega]

C 的数组不是指针，只是某些时候可以相互转换

[LnTrx]

在函数里无论是写成数组还是指针，实际上都是指针，数组大小的信息已经丢失了

https://www.geeksforgeeks.org/why-c-treats-array-parameters-as-pointers/

[wwbfred]

所以不喜欢用 C 数组，只是考题倒是很喜欢考。
你说它是个类型吧，它又不能传递；你说它不是类型吧，他还有自己的大小。
这种不一致的表现，放到别的地方，就叫做坑。

[lonewolfakela]

@thinkIn 啥，哪家编译器的 sizeof 是用 define 定义的？

[7075]

C/C++数组传参，是传指针。在定义处，编译器有保留数组类型及数组长度的信息，所以可以用 sizeof 求长度。传参后参数类型转为指针，你 sizeof 求的是指针的 size 。

[thinkIn]

@lonewolfakela 我表述有误，不过可以看看用宏定义的 sizeof，虽然有限制，但是对理解指针很有好处。可以参看这个讨论 https://stackoverflow.com/questions/14171117/implementation-of-sizeof-operator

[7075]

@3dwelcome 并非总是如此，严格的说 C++是强类型语言，类型必须一致才能通过编译。但标准中也定义了 4 种较为隐晦的类型转换（无需程序员声明），能够在某些情况下满足强类型的检查。数组到指针就是其中一种，原因是因为数组类型很特殊，不光要记录数组长度，还要记录数组保存的元素的 size，这个东西，早期编译器是通过“内情向量”来实现的。 往下面细节就太多了。总之类型发生隐晦的变化。

[JQiue]

@LnTrx 谢谢大佬提供的教程网站