<p>指向指针数组的指针类型是 int()[N]，表示指向一个含 N 个 int* 的连续数组的指针，必须包含数组长度以支持正确偏移计算，&arr 才获得该类型，而非 arr 本身。</p>
指向指针数组的指针到底是什么类型？
它不是 int**，也不是 int*[]——这两者语义完全不同。int** 是“指向 int* 的指针”，而“指向指针数组的指针”是指向一个**连续存储的、固定长度的指针数组**的首地址，类型必须包含数组长度信息，否则编译器无法做正确偏移计算。
比如你有一个 int* arr[5]（含 5 个 int* 的数组），那么指向它的指针类型是 int*(*)[5]。注意括号位置：* 在括号里，表示“指向数组的指针”，而不是“数组指针”（后者常被误用）。
怎么声明和初始化？
直接写容易出错，建议用 typedef 或 using 拆解：
<pre class="brush:php;toolbar:false;">int a = 1, b = 2, c = 3;
int* ptrs[3] = {&a, &b, &c}; // 指针数组
<p>// 方式一：using 别名（推荐）
using ptr_array_3 = int<em>(</em>)[3];
ptr_array_3 p = &ptrs; // 取地址，不是 ptrs（后者会退化为 int**）</p><p>// 方式二：原始语法（易错）
int<em>(</em>)[3] q = &ptrs; // 必须带 &，且不能漏掉 [3]</p>&ptrs 是必须的：<code>ptrs本身是数组名，值是首元素地址（即int**），但类型丢失；&ptrs才是“指向整个数组”的指针，类型为int*(*)[3]- 初始化时若写成
int*(*)[3] p = ptrs;，编译失败：类型不匹配，隐式转换不被允许 - 数组长度必须显式写出，不能用
[]（除非是函数参数中退化为指针）
为什么不能用 auto 推导？
auto p = &ptrs; 确实能推导出正确类型，但可读性差，且一旦后续改数组长度，p 类型自动变化，可能引发隐蔽错误。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
更危险的是：auto p = ptrs; 会推导成 int**，完全失去数组长度信息，后续用 p + 1 会按 int** 步进（即 +8 字节），而非按整个数组步进（+24 字节），导致越界访问。
- 验证方法：打印
sizeof(*p)—— 对int*(*)[3]是sizeof(int*) * 3；对int**是sizeof(int*) - 函数传参时，若需保留数组维度，必须显式写
int*(arr)[3]（形参写法），此时arr不退化，sizeof(arr)仍有效
实际使用中容易踩的坑
最常见的是把“指向指针数组的指针”和“二级指针”混用，尤其在动态分配场景下：
<pre class="brush:php;toolbar:false;">// ❌ 错误：malloc 出来的是连续内存块，但类型是 void*，强制转成 int*(*)[N] 后， // 编译器认为 *p 是一个含 N 个 int* 的数组 —— 但实际没有类型元信息支撑 int** dyn = (int**)malloc(5 * sizeof(int*)); int*(*)[5] bad = (int*(*)[5])dyn; // 危险！类型系统被绕过 <p>// ✅ 正确做法：要么老实用 int*<em>，要么用 new 分配真正数组 int</em> (<em>real)[5] = new int</em>[5]; // 类型安全，new 返回的就是 int<em>(</em>)[5]</p>
- 函数返回局部指针数组的地址（如
return &local_arr;）是悬空指针，无论类型多精确都没用 - 跨平台时注意：
int*(*)[N]的对齐和大小依赖sizeof(int*)，在 32/64 位系统上行为一致，但别假设它和int**内存布局相同 - 调试时用
gdb查看ptype p，确认是否显示int *(*)[N]，而不是int **
类型括号嵌套和取址操作符的组合，是 C++ 指针声明里最容易写反的地方。写完务必用 sizeof 和 typeid 验证，别信直觉。
