深入理解C语言数组：从内存模型到传参陷阱

陈默

发布时间：2026-10-14 | 3人浏览过

原创

C语言数组不仅是连续内存块，更涉及复杂的类型转换规则。本文解析数组名的双重身份、函数传参时的退化现象、字符数组的存储区域差异以及二维数组的指针运算逻辑，帮助开发者避开 sizeof 陷阱和内存访问误区。

一、数组名的本质：内存区域还是指针？

在C语言中，数组是一段连续的内存空间。当我们声明一个整型数组 int array[] = {1, 2, 3}; 时，array 到底代表什么？许多资料称其为“指向数组首地址的常量指针”，但这一说法并不完全准确。

第1步：通过 sizeof 观察数组名行为

目的：区分数组名作为整体与作为指针的不同表现。
操作：打印 sizeof(array)。
结果分析：在32位或64位系统中（假设 int 为 4 字节），sizeof(array) 返回 12（3个整数 × 4字节）。如果 array 仅是普通指针，结果应为 4 或 8。

结论：array 本质上代表整个数组占用的内存区域。只有在大多数表达式语境下，它才会“退化”为指向首元素的常量指针（类型为 int*）。

注意： 唯一不触发退化的场景是 &array（此时类型为 int (*)[3]）和 sizeof(array)。

第2步：验证数组名的指针行为

当使用下标访问时，如 array[0]，编译器将其转换为 * (array + 0)。此时 array 确实表现为一个指向首元素的指针。我们可以用一个比喻来理解：大学的名字（数组名）指代整个机构（内存块），但当你要找路（访问元素）时，人们只会告诉你校门的位置（首地址指针）。

第3步：函数传参中的典型陷阱

将数组传递给函数时，由于效率考虑，C语言采用传递指针而非拷贝整个数组的方式。这会导致数组名再次发生退化。

#include <stdio.h>

void foo(int a[]) {
    // 参数列表中的 a[] 等价于 int *a
    printf("%d\n", sizeof(a)); 
}

int main(void) {
    int array[] = {1, 2, 3};
    foo(array);
    return 0;
}

关键现象：在 foo 函数内部，sizeof(a) 的结果是 4（或 8），而不是 12。这是因为编译器视 a 为指针变量，而非常量指针或数组实体。这在处理变长数组或需要获取数组长度的场景中是一个常见的 Bug 来源。

二、字符数组：栈内存与常量区的博弈

字符数组的处理涉及字符串常量的存储位置（通常在只读的常量区）以及局部变量的内存分配（在栈上）。

第1步：分析两种定义方式的区别

char *str1 = "abc";：字符串 "abc" 存储在常量区，str1 是指向该区域的指针。此指针指向的数据通常不可修改。
char str2[] = "def";：字符串 "def" 同样被放入常量区作为初始化源，但随后在栈上复制了一份 'd','e','f','\0'，str2 指向栈上的这份副本。

第2步：理解偏移访问的原理

以下代码演示了利用字符串常量在内存中紧挨存储的特性进行偏移访问：

# include <stdio.h>

int main(void) {
    char *str1 = "abc";
    char str2[] = "def"; 
    // 输出结果为 def
    printf("%s\n", str1 + 4); 
    return 0;
}

原理解析：虽然标准不保证字符串字面量之间的连续性，但在多数编译器的实现中，相邻的定义的字符串常量会被存储在连续的只读数据段中。str1 指向 'a'，str1+4 恰好跳过 "abc" 及其后的隐含结束符，指向紧随其后的 "def" 的首字母 'd'。这是一个依赖于具体实现的行为，生产环境中不建议依赖于此。

三、二维数组的线性布局与指针运算

C语言的二维数组在内存中是按行优先顺序连续存储的。理解这一点对于使用指针遍历多维数组至关重要。

第1步：二维数组的类型推导

声明 int array[][3] = {{1,2,3},{4,5,6}}; 时，数组名 array 的类型应理解为指向含 3 个 int 的数组的指针，即 int (*const array)[3]。这意味着每次指针加法 array + x，地址增加的大小是 3 * sizeof(int)，正好跳完一行。