C语言半动态数组声明理解误区：int * array[2]分析

先给你吃个定心丸：你用左右法则得出的结论完全正确——array是一个包含2个指向int的指针的数组（也就是指针数组）。它本身不是二维数组，但可以用来模拟半动态二维数组（给每个指针分配不同长度的int数组）。

那课堂示意图和你的不一样，大概率是这两种情况：

• 把int * array[2];和int (*array)[2];搞混了。后者的括号改变了优先级，解析出来是指向包含2个int的一维数组的指针（数组指针），这是完全不同的类型，内存结构自然不一样。
• 也可能课堂展示的是这个指针数组作为半动态二维数组使用时的完整内存布局，但如果连基础类型的示意图都和你的不符，那基本就是把两种声明搞混了。

避免同类错误的实用方法 #

• 严格执行左右法则的步骤：从标识符出发，先处理右边的符号（数组[]、函数()），再处理左边的（指针*、类型），遇到括号先解析括号内的内容。直接对比两个最易混的声明：
  • int *a[5]：a先和[5]绑定，所以是数组，再和*绑定，说明数组元素是int指针 → 5个int指针的数组
  • int (*a)[5]：括号让a先和*绑定，所以是指针，再和[5]绑定，说明指针指向的是包含5个int的数组 → 指向5元素int数组的指针
• 写代码验证类型：用小段代码测试，能直观确认结构，比如：

  #include <stdlib.h>
  int main() {
      int *array[2];
      // 给第一个指针分配3个int的空间
      array[0] = malloc(3 * sizeof(int));
      array[0][0] = 1;
      array[0][1] = 2;
      // 给第二个指针分配2个int的空间
      array[1] = malloc(2 * sizeof(int));
      array[1][0] = 3;
      // 能正常编译运行，说明array确实是存指针的数组
      free(array[0]);
      free(array[1]);
      return 0;
  }
  

• 牢记核心区分点：看标识符先和[]还是*绑定——先碰[]就是数组（存指针），先碰*就是指针（指向数组），括号会强制改变这个绑定顺序。
• 复杂声明拆简化：用typedef把复杂类型拆成别名，比如typedef int *IntPtr;，再写IntPtr array[2];，这样一眼就能看出是2个IntPtr的数组，完全不会搞混。

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