C++ 指针与二维数组名深度解析

Felix

发布时间：2026-10-15| 4人浏览过

原创

C++ 中将二维数组名解释为其第一个元素的地址（即第一行的地址），其类型为指向包含若干元素的一维数组的指针。这与普通指针或二级指针存在本质区别，特别是在 sizeof 取值和地址算术步长上表现不同。本文将通过具体代码示例，详细拆解二维数组名、行指针、列指针及模拟二维指针的各种表现形式。

二维数组的类型特征与表示

以定义一个 5x5 的 short 类型二维数组为例，不同方式获取的地址及其含义如下：

数组名 array2d 与 &array2d[0]：两者数值相等，类型均为 short (*)[5]。它们指向的是包含 5 个 short 元素的数组块（10字节）。在 sizeof 运算中，array2d 返回整个数组大小（50字节），而 &array2d[0] 仅返回该指针变量本身的大小（通常为4字节）。
完整数组地址 &array2d：类型为 short (*)[5][5]，指向整个二维数组（50字节）。sizeof(&array2d) 同样只返回指针大小（4字节）。
首元素地址 &array2d[0][0] 与 array2d[0]：两者类型均为 short *，指向单个 short 数据（2字节）。同理，sizeof 分别返回 4 和 10（指向的第一行大小）。
二级指针 short **：存储的是指针数组的地址，通常用于动态分配的不连续内存或多维矩阵模拟，其步长与静态二维数组完全不同。

第1步：创建并初始化测试数组

首先定义一个基础的二维数组，以便后续进行各种指针赋值和访问测试。

//声明并初始化数组
short array2d[5][5] = {{5,2,8,4,1},
                       {2,2,4,6,8},
                       {1,5,8,9,4},
                       {5,7,6,2,5},
                       {7,6,5,8,1}};

第2步：定义不同类型的数组访问指针

根据上述分析，我们需要针对不同场景声明不同的指针变量。对于静态二维数组，推荐使用行指针直接访问；对于需要类似 int** 接口的外部调用，则需要建立指针数组映射。

// 指针一：行指针（正确对应二维数组名的类型）
// array2d 会自动转换为 &array2d[0]
short (*ptra)[5] = array2d;
short (*ptra)[5] = &array2d[0]; 
 
// 指针二：全量行指针，指向整个二维数组结构
short (*ptrb)[5][5] = &array2d; 
 
// 指针三：首元素列指针，仅能按线性顺序访问
short *ptrc = &array2d[0][0];   
short *ptrc = array2d[0];       
 
// 指针四：模拟二维指针（使用 new 或临时数组）
// 方式一：利用临时指针数组
short *ptrTmp[5] = {array2d[0],array2d[1],array2d[2],array2d[3],array2d[4]};
short** ptrd = ptrTmp;

// 方式二：动态分配二级指针（需手动管理内存）
short** ptrd2 = new short*[5]{
    array2d[0], array2d[1], array2d[2], array2d[3], array2d[4]};
// 注意：使用后需 delete[] ptrd2;

第3步：执行元素访问与地址算术验证

以下测试验证了不同指针访问第3行第4列（下标为 [2][3]，值为9）的方法，以及它们在进行加法运算时的字节跨度。

// --- 元素访问 (结果均为 9) ---
cout << array2d[2][3];        // 标准索引
cout << ptra[2][3];          // 行指针访问
cout << (*ptrb)[2][3];       // 全量数组指针访问
cout << ptrc[2*5+3];         // 线性指针访问 (需人工计算偏移)
cout << ptrd[2][3];          // 模拟二级指针访问

// --- 地址算术验证 (假设 short 为 2 字节, 指针为 4 字节) ---
// 每次加法移动的字节数取决于指针所指向对象的大小
cout << int(array2d+1)-int(array2d);              // 结果: 10 (一行 5 个 short)
cout << int(ptra+1)-int(ptra);      // 结果: 10
cout << int(ptrb+1)-int(ptrb);      // 结果: 50 (整个二维数组)
cout << int(ptrc+1)-int(ptrc);      // 结果: 2 (一个 short)
cout << int(ptrd+1)-int(ptrd);      // 结果: 4 (一个 short* 指针大小)

// --- sizeof 运算 (区分内存大小与指针本身大小) ---
cout << sizeof(array2d);             // 50 (总内存)
cout << sizeof(array2d[0]);          // 10 (一行内存)
cout << sizeof(ptrb);                // 4 (指针变量占用的空间，不是数组内存)

核心总结与注意事项

理解 C++ 二维数组的关键在于分清“数组退化”后的行为。

数组名 vs 数组指针：虽然数值相同，但 sizeof(数组名) 返回完整容器大小，而 sizeof(同类型指针变量) 仅返回指针大小。这在编写通用模板函数时尤为重要。
跨步规则：指针加法操作的步长严格依赖其底层类型。p + 1 总是跳过 `sizeof(*p)` 大小的字节数。
动态映射成本：将静态连续内存包装成 `short**` 需要额外的内存分配和数据拷贝，且必须确保生命周期管理，否则会导致悬垂指针或内存泄漏。

以上就是C++ 指针与二维数组名的详细内容，更多关于C++ 指针与二维数组的资料请关注本站其它相关文章！