指针数组和数组指针的根本区别在于与[]的结合顺序：int arr[5]是5个int的数组，int (p)[5]是指向含5个int数组的指针；前者sizeof得5sizeof(int)，后者得指针大小。
指针数组和数组指针的声明写法区别
根本区别在 * 和 [] 的结合顺序：C++ 按运算符优先级从右向左解析声明。所以 int* arr[5] 是指针数组（5 个 int*），而 int (*p)[5] 是数组指针（指向含 5 个 int 的数组）。很多人把后者错写成 int* p[5]，结果定义出完全不同的类型。
验证方法：用 sizeof —— sizeof(arr) 返回 5 * sizeof(int*)，sizeof(p) 返回 sizeof(int(*)[5])（通常为 8 或 16，取决于平台指针大小）。
-
int* arr[3]→ 可以分别指向 3 个不同int变量，或 3 个不同int数组首地址 -
int (*p)[4]→ 只能指向一个长度为 4 的int数组，比如&a（其中a是int a[4]） - 传参时若想让函数接收「整个数组」，必须用
int (*p)[N]，不能用int* p或int p[]（后者退化为指针，丢失长度信息）
复杂指针声明怎么读：从变量名开始螺旋读
遇到像 int *(*(*fp)(int))[10] 这种，别硬背，按“螺旋法则”拆解：从变量名 fp 出发，先看右边最近的括号和符号，再看左边。
步骤：
→ fp 是一个函数指针（因为 (*fp)(int)）
→ 它接受一个 int 参数，返回 int**（即 *(*fp)(int)）
→ 而这个返回值又是一个指向长度为 10 的数组的指针（最外层 [10]）→ 所以最终是「指向含 10 个 int* 的数组的指针」
- 工具辅助：用 cdecl.org 输入声明，它会翻译成自然语言
- 反向验证：把声明拆成 typedef 分步定义，比如先
typedef int* IntPtrArr[10];，再typedef IntPtrArr* FuncRetType;，最后FuncRetType (*fp)(int); - 编译器报错时注意：如果提示
cannot convert 'int*' to 'int (*)[5]'，说明你把数组首地址当成了数组指针，漏了取址符&
数组指针作为函数参数时的典型错误
想把二维数组 int mat[3][4] 传给函数并保持列数信息，必须用数组指针。常见错误是写成 void func(int* p[4]) 或 void func(int** p)，这会导致编译通过但语义错误——前者被解释为“4 个 int* 的数组”，后者完全丢失维度。
立即学习“C++免费学习笔记（深入）”；
- 正确写法：
void func(int (*p)[4])，调用时传&mat[0]或直接mat（mat在此上下文中自动转为int (*)[4]） - 错误写法：
void func(int p[][4])看似可行，但它本质仍是int (*)[4]，只是语法糖；但若写成int p[3][4]，形参仍会退化，第一维大小被忽略 - 用
std::array<:array>, 3></:array>或std::vector<:vector>></:vector>可规避这类问题，但运行时开销和内存布局不同
为什么 int* p[5] 和 int (*p)[5] 初始化方式完全不同
指针数组可以逐个初始化：int a=1,b=2; int* p[2] = {&a, &b};；而数组指针必须指向一个已存在的、尺寸匹配的数组：int arr[5]; int (*p)[5] = &arr;。试图写 int (*p)[5] = {1,2,3,4,5}; 会编译失败——这不是初始化数组，而是尝试用初始化列表给指针赋值。
- 数组指针不能直接用花括号初始化，它只存地址，不管理内存
- 动态分配时：
int (*p)[5] = new int[2][5];合法（分配 2 行 × 5 列），但delete[] p;就够了；而int** p = new int*[2]; for(...) p[i] = new int[5];需要双重释放 - 用
auto推导时小心：auto p = &arr;正确推导为int (*)[5]；但auto p = arr;推导为int*（退化）
实际写代码时，真正容易出错的是「以为自己在操作数组，其实操作的是指针的指针」，或者「传了数组名却忘了它在多数上下文里不是数组类型」。这些细节不会在编译时报明显错误，但会在越界访问或 sizeof 计算时悄悄暴露。
