为什么函数参数中的数组A经sizeof计算得到的大小为8而非4？

你预期SumOfElements内sizeof(A)结果为4，是默认套用了32位系统下的指针长度值；实际得到8，是因为当前运行环境为64位系统——64位环境下所有内存地址长度为8字节，数组传参退化为指针后，sizeof获取的是指针本身的内存大小，这和“数组传参不会整体拷贝、仅传递首元素地址”的基础认知没有本质冲突，只是你遗漏了几个C语言的底层规则细节。

• 形参数组的自动退化逻辑
  哪怕函数形参写为int A[]的形式，编译器也会在编译阶段直接将其等价替换为int *A，即指向int类型的指针。此时函数内的A是纯指针变量，不再是数组类型，自然无法通过它获取原数组的长度。
• 指针大小和运行环境强绑定
  不存在固定4字节的通用指针长度：32位系统下寻址范围为2^{32，所有指针固定占4字节；64位系统下寻址范围为2}64，所有指针固定占8字节。你之前对结果的4字节预期，是默认套用了32位环境的指针长度参数。
• sizeof的静态运算特性
  sizeof是编译期完成计算的运算符，仅根据操作数的静态类型返回对应结果，不会在运行时回溯变量的实际存储内容：
  • 在main函数中，A的静态类型是长度为5的int数组（int [5]），sizeof(A)会返回整个数组的总字节数（通常在32/64位系统下，int占4字节，因此结果为20）
  • 在SumOfElements函数中，A的静态类型是int指针（int *），sizeof(A)会返回指针本身的占用长度（32位系统为4，64位系统为8）

按照你当前的逻辑，SumOfElements内计算得到的数组长度实际是sizeof(A)/sizeof(A[0]) = 8/4 = 2，循环只会累加数组前2个元素的值，完全无法得到5个元素的正确总和。如果需要在函数内计算数组长度，必须通过额外参数将数组的实际长度传入，不能依赖形参的sizeof运算。

内容的提问来源于stack exchange，提问作者user14813784