C程序如何确定数组大小？栈数组与堆数组为何表现不同？

首先要纠正一个常见误解：数组名并非等价于指向首元素的指针，两者只是在多数表达式场景下表现相似，但本质是不同的类型。

为什么sizeof能返回数组的大小？ #

当你声明int arr[10];时，编译器在编译阶段就确定了arr的类型是int[10]（包含10个int的数组类型），而非单纯的int*。sizeof运算符作用于数组名时，直接根据这个编译期已知的数组类型计算总字节数——比如int占4字节的话，sizeof(arr)就是10 * sizeof(int)=40。

只有当数组名出现在**非sizeof、非取地址（&arr）**的表达式中时，才会隐式转换成指向首元素的指针。比如arr[0]等价于*(arr + 0)，这里的arr确实会变成int*类型，但sizeof(arr)是例外场景，数组名仍保持原数组类型。

为什么malloc分配的内存无法用sizeof获取大小？ #

malloc是运行时动态分配内存的函数，它返回的是一个void*指针，你赋值给的变量（比如int* p = malloc(10*sizeof(int));）的类型是指针类型，而非数组类型。

指针本身只存储内存地址，不携带任何关于所指向内存块长度的元数据。编译器完全不知道这个指针指向的内存有多大——因为分配大小是运行时决定的，编译期无法提前获知。所以sizeof(p)返回的只是指针变量自身的大小（64位系统通常是8字节），而非内存块的总字节数。

栈数组与堆内存的核心差异 #

• 栈数组的类型是明确的数组类型，编译器在编译/运行时（针对C99变长数组）能追踪到它的长度信息，sizeof可以直接利用这个信息计算总大小。
• 堆内存是匿名的，没有内置的长度标识，你必须自己手动记录分配的大小（比如用一个单独的变量保存10*sizeof(int)），否则无法通过指针直接获取。

举个直观的代码例子：

#include <stdio.h>
#include <stdlib.h>

int main() {
    int arr[10];
    int *stack_ptr = arr;
    int *heap_ptr = malloc(10 * sizeof(int));

    // 输出数组总字节数（比如40）
    printf("sizeof(arr) = %zu\n", sizeof(arr));
    // 输出指针自身大小（比如8）
    printf("sizeof(stack_ptr) = %zu\n", sizeof(stack_ptr));
    // 同样输出指针自身大小（8），而非堆内存块大小
    printf("sizeof(heap_ptr) = %zu\n", sizeof(heap_ptr));

    free(heap_ptr);
    return 0;
}

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