C语言指针与二维数组详解：从内存布局到代码实现

二维数组的内存布局

二维数组在逻辑概念上呈现为有行和列的矩阵结构，但在计算机内存中，所有元素均按顺序连续排列，彼此之间没有间隔。以声明 `int a[3][4]` 为例：

int a[3][4] = {
    {0, 1, 2, 3},
    {4, 5, 6, 7},
    {8, 9, 10, 11}
};

该数组在概念上可视为 3行4列 的矩阵，但在物理内存中占用了 $4 \times (3 \times 4) = 48$ 字节的连续空间。C语言规定二维数组按“行”优先存储，即先存放第0行全部数据，紧接着是第1行，最后是第2行。

可以将二维数组分解为多个一维数组来理解：数组 `a` 包含三个一维子数组 `a[0]`、`a[1]` 和 `a[2]`，每个子数组包含4个整型元素。若假设数组起始地址为 1000，则各行的首地址依次递增。

定义二维数组指针变量

为了通过指针高效访问二维数组，需要定义一个指向“包含4个整数的数组”的指针变量。正确的声明方式如下：

int (*p)[4] = a;

语法要点：

• (*)：括号内的星号表明 p 首先是一个指针。
• []：右侧的下标表明它指向的是一个数组，数组类型为 int [4]。
• 优先级陷阱：若省略括号写作 int *p[4]，根据运算符优先级，这被解析为 int *(p[4])，此时 p 变成了一个包含4个指针的指针数组，而非二维数组指针。这一点需严格区分。

指针运算与访问规则

指针的加减运算步长取决于其指向的数据类型大小。由于 p 指向 int [4]（占用 $4 \times 4=16$ 字节）：

1. 行移动：p+1 使指针前进16字节，即指向二维数组的下一行；p-1 退回上一行。
2. 取整行数据：* (p+1) 获取第1行数据的整体对象。在表达式中，这会被隐式转换为该行第0个元素的地址。
3. 列偏移：* (p+1) + 1 表示第1行第1个元素的地址（因为 * (p+1) 退化为首地址）。
4. 获取值：*(* (p+1) + 1) 解引用两次，获得具体的数值。

核心等价关系

基于上述原理，二维数组的常规索引与指针操作存在严格的等价关系，这在编写灵活的低层代码时极为重要：

a[i] == p[i] == *(a+i) == *(p+i)
a[i][j] == p[i][j]
       == *(a[i]+j) == *(p[i]+j)
       == *(*(a+i)+j) == *(*(p+i)+j)

实战：使用指针遍历二维数组

以下代码演示了如何利用指针算术完整遍历并打印二维数组内容：

#include <stdio.h>

int main(){
    int a[3][4] = {0,1,2,3,4,5,6,7,8,9,10,11};
    int (*p)[4];
    int i, j;
    
    p = a;
    
    for(i = 0; i < 3; i++){
        for(j = 0; j < 4; j++) {
            printf("%2d ", *(*(p+i)+j));
        }
        printf("\n");
    }
    return 0;
}

运行结果：

 0   1   2   3
 4   5   6   7
 8   9  10  11

二维数组指针 vs 指针数组

两者在声明上的细微差别代表了截然不同的数据结构：

• 指针数组：int *p1[5]。这是一个数组，内含5个独立指针。在32位系统中，总内存占用约为 20 字节（5个指针）。每个指针可以指向任意内存位置，互不关联。
• 二维数组指针：int (*p2)[5]。这是一个单一的指针变量，仅占用 4 字节内存。它必须指向一个包含5个整数的完整数组，具有固定的步长和连续性约束。

以上就是C语言指针与二维数组的详细解析，更多关于C语言基础技术的资料请关注本站其它相关文章！