C语言指针声明问询：解析int *ptr[3]与int (*ptr)[3]的差异

先明确两个待对比的声明：

int *ptr[3];
int (*ptr)[3];

1. 核心差异 #

• int *ptr[3]：3个指向int类型的指针组成的数组
  变量ptr本质是长度为3的数组，数组内每个元素的类型是int*（可指向单个int变量、int数组的元素等）。
  示例代码：

  int a = 10, b = 20, c = 30;
  int *ptr[3] = {&a, &b, &c};
  printf("%d", *ptr[0]); // 输出10
  

• int (*ptr)[3]：指向长度为3的int数组的指针
  变量ptr是一个指针，它的指向对象必须是包含3个int元素的数组，无法指向单个int或其他长度的数组。
  示例代码：

  int arr[3] = {10, 20, 30};
  int (*ptr)[3] = &arr;
  printf("%d", (*ptr)[0]); // 输出10，等价于ptr[0][0]
  

2. 语法区分方法 #

关键在于括号对运算符优先级的改变：

• C语言中，数组下标[]的优先级高于指针解引用*。对于int *ptr[3]，编译器会优先解析ptr[3]（确定ptr是数组），再解析*（数组元素是指针），最后结合int确定指针指向的类型。
• 括号()会强制提升内部表达式的优先级，int (*ptr)[3]中，(*ptr)被优先解析（确定ptr是指针），再解析[3]（指针指向长度为3的数组），最后确定数组元素为int类型。

3. C语言声明解读的规则与惯例 #

核心规则：优先级与结合性 #

1. 运算符优先级从高到低排序：数组下标[]、函数调用() > 指针解引用* > 基本数据类型（如int）
2. 解读步骤：
   • 先定位声明中的变量名；
   • 从变量名出发，按照优先级从高到低依次解析修饰符；
   • 遇到括号时，优先解析括号内的内容。

常用惯例 #

• 指针数组无需额外括号，依赖默认优先级即可明确类型；
• 数组指针必须用括号包裹*变量名，防止被误解析为指针数组；
• 复杂声明可借助"螺旋法则"辅助：从变量名开始，顺时针螺旋读取修饰符，直到完成整个类型的解析。

需补充的概念与重点学习内容 #

缺失的核心概念 #

• C语言运算符优先级表（重点掌握数组、指针、函数调用的优先级关系）
• 复合类型的本质：指针数组、数组指针、函数指针等复合类型的内存布局与类型意义
• 数组地址与数组首元素地址的区别：arr表示首元素的地址（类型为int*），&arr表示整个数组的地址（类型为int(*)[3]）

重点学习方向 #

• 练习解读复杂声明（如int (*func(int))[5]这类返回数组指针的函数声明）
• 编写代码测试两种指针的运算差异：例如ptr++时，数组指针的步长是整个数组的大小（3*sizeof(int)），指针数组的步长是单个指针的大小（sizeof(int*)）
• 掌握数组指针在二维数组遍历中的应用：例如用数组指针遍历int arr[2][3]时，指针每次移动会跳过一整行元素

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