C语言：深入解析二维数组中 sizeof 的计算规则与陷阱

二维数组的结构认知

处理二维数组时，最直观的理解方式是将其看作“以一维数组为元素的一维数组”。以常见的 int a[3][4] 为例，它包含 3 个行元素，每个行元素本身就是一个长度为 4 的整型数组。这种结构决定了 sizeof 在不同上下文中的解释存在显著差异，关键在于理解表达式的类型和其所代表的内存块范围。

核心示例代码

以下是用于测试不同 sizeof 场景的标准 C 语言代码片段：

#include <stdio.h>

int main()
{
	int a[3][4] = { 0 };

	printf("%d\n", sizeof(a));
	printf("%d\n", sizeof(a[0]));
	printf("%d\n", sizeof(a[0][0]));
	printf("%d\n", sizeof(a[0]+1));
	printf("%d\n", sizeof(*(a[0]+1)));
	printf("%d\n", sizeof(a+1));
	printf("%d\n", sizeof(*(a+1)));
	printf("%d\n", sizeof(&a[0]+1));
	printf("%d\n", sizeof(*(&a[0] + 1)));
	printf("%d\n", sizeof(*a));
	printf("%d\n", sizeof(a[3]));

	return 0;
}

逐行深度解析

第1步：整体与单行的sizeof（全量 vs 局部）

目的： 确认数组定义的整体内存占用与单行内存占用。

• sizeof(a)：当数组名 a 直接作为 sizeof 的唯一参数时，它代表整个二维数组对象。数组包含 3 行 × 4 列 = 12 个 int 元素，总大小为 12 × 4 = 48 字节。
• sizeof(a[0])：此处 a[0] 代表数组的第一行，它是一个独立的包含 4 个元素的整型数组。因此其大小为 4 × 4 = 16 字节。同理，sizeof(*a) 也是对第一行解引用，结果同样是 16 字节。

第2步：元素值与单个地址的sizeof

目的： 区分获取的是数据本身还是数据的地址。

• sizeof(a[0][0])：这是数组的第一个具体元素，类型为 int。在标准32/64位架构下，其大小为 4 字节。
• sizeof(*(a[0]+1))：a[0] 在此处已退化为指向第一行第一个元素的指针。+1 使其指向该行第二个元素。对其解引用 * 得到该位置的值（一个整数），所以结果为 4 字节。

第3步：行指针与偏移量的sizeof

目的： 识别指针运算后的返回类型是“指针”还是“数据”。

• sizeof(a[0]+1)：a[0] 是首元素地址，加 1 得到第二元素地址。无论指向哪里，这始终是一个地址（Pointer）。在 32 位平台通常占 4 字节，64 位平台通常占 8 字节。
• sizeof(a+1)：对于二维数组名 a，+ 运算符按“行”进行跳跃。跳过第 0 行，指向第 1 行起始位置。这同样是一个地址，大小取决于系统位数。
• sizeof(*(a+1))：a+1 是第二行的地址，对其进行解引用得到第二行这个完整的数组实体。因此计算的是单行的大小，即 4 × 4 = 16 字节。

第4步：行级指针操作的sizeof

目的： 验证使用取址符 & 改变指针类型的效果。

• sizeof(&a[0]+1)：&a[0] 的类型是“指向拥有4个元素的整型数组的指针”（int (*)[4]）。加 1 意味着跳过整整一行，指向第二行的开始。结果是地址，大小为 4 或 8 字节。
• sizeof(*(&a[0] + 1))：先拿到第二行的地址并解引用，获得第二行的数组实体。计算该实体大小，结果为 16 字节。

第5步：边界外的sizeof（安全陷阱）

关键特性： sizeof 是编译期操作符，不进行运行时求值。

• sizeof(a[3])：虽然数组只定义了 3 行（索引 0-2），a[3] 从逻辑上看是越界的。但在 sizeof 内部，编译器仅根据类型推断大小：第三行本质上仍是一个长度为 4 的整型数组。因此，它不访问内存，而是直接给出定义的大小，结果依然是 16 字节。

不同平台下的运行验证

由于指针大小的差异（32位系统下通常为 4 字节，64位系统下通常为 8 字节），上述涉及地址输出的题目会有不同的表现。可以通过以下截图观察实际编译器的输出结果：

总结

在处理 sizeof 与二维数组的关系时，抓住两条主线即可：一是看运算符是否让数组退化为了指针；二是看最终的操作对象是一个“地址”还是一个“完整的数据容器”。特别注意，sizeof 赋予了我们一种利用编译期类型检查进行静态尺寸计算的能力，即便是对数组声明范围之外的索引进行 sizeof 也是安全的。以上就是C语言中二维数组sizeof详细计算的解读，更多关于C语言指针数组的知识请关注本站其它相关文章！