C++指针数组、数组指针与二维数组内存模型解析

一、核心基础：数组名的内存含义

理解指针与数组的关系前，必须明确数组名在不同语境下的类型指向。假设存在整型数组 int a[3] = {1, 2, 3};：

1. 数组名 a 代表首个元素的地址：等价于 &a[0]。
   - 此时 a 的类型可视为指向整型的指针（int*）。 - 执行 a + 1 时，指针步长为一个整型大小（通常为4字节），指向第二个元素。
2. &a 代表整个数组的地址：
   - 虽然数值上 a 与 &a 相同，但类型完全不同。
   - &a 的类型为指向有3个整型元素的数组指针（int(*)[3]）。

关键验证代码

cout << a << endl;       // 输出第一个元素的地址值
cout << &a << endl;      // 输出数组整体的起始地址值（数值同上）

二、指针数组 vs 数组指针

两者的区分关键在于运算符优先级与语法结构。

第1步：定义指针数组（存放指针的数组）

定义方式： int *ptr[3];

• 逻辑拆解：运算符 [] 优先级高于 *，因此 ptr 先与 [3] 结合，说明它是一个拥有3个元素的数组。其元素类型为 int*（整型指针）。
• 应用场景：常用于存储多个字符串或指向不同变量的指针集合。

第2步：定义数组指针（指向数组的指针）

定义方式： int (*ptr)[3];

• 逻辑拆解：小括号 () 强制 * 先与 ptr 结合，说明 ptr 是一个指针。随后该指针指向一个包含3个整型元素的数组 [3]。
• 赋值规则：
  - int (*ptr)[3] = &a; （正确，将整体数组地址赋给数组指针）。
- int (*ptr)[3] = a; （错误，数组名退化为元素地址，类型不匹配）。

三、二维数组的指针操作进阶

二维数组本质上是“数组的数组”。对于 int a[3][3]：

• 行地址 a：代表第一行（即一个一维数组）的地址。类型等同于 int (*)[3]。
• 列地址 &a[i]：代表特定行的起始地址。

使用数组指针遍历二维数组

利用数组指针可以清晰地解引用二维数据：

int a[3][3] = {{1, 2, 3}, {4, 5, 6}, {7, 8, 9}};
// 数组名 a 直接赋值给指向一维数组的指针，完全合法
int (*ptr)[3] = a; 

// 访问操作
(*ptr)[0] = 1;       // 指向第一行第一个元素
*(ptr[1])             // 等效于 ptr+1 所指行的首元素地址

对比记忆：
*p 在单指针中指代变量值，(*ptr) 在数组指针中指代被指向的那一整行（数组对象），进而可用 [索引] 访问具体元素。

四、避坑总结

1. 类型匹配**是编译成功的关键**：左值是指针（普通/数组/函数），右值必须是同类型的地址。例如不能将 int * 直接赋予 int (*)[3]。
2. **多维数组解引用**：始终牢记 [] 绑定更紧密，处理数组指针时需使用圆括号保证先解引用指针再寻址数组。

以上就是C++指针数组、数组指针与二维数组内存模型的详细内容，更多关于C++指针高级用法的资料请关注本站其它相关文章！