C语言指向连续二维数组的双指针内存访问异常问题

你出现异常的核心原因是混淆了uint8_t **双指针与连续二维数组的寻址逻辑，二者的内存布局完全不兼容：

• 你定义的uint8_t array_double[4][15]是连续存储的栈上二维数组，数组名默认退化为uint8_t (*)[15]类型（指向长度为15的uint8_t数组的指针），每次偏移的步长为15个uint8_t的长度，刚好对应一行数据。
• 你声明的double_ptr是指向指针的指针，它的寻址逻辑和二维数组完全不同：
  • double_ptr[0]等价于*double_ptr，拿到的是single_ptr的值，也就是array_double首元素的地址，因此double_ptr[0][14]等价于single_ptr[14]，刚好对应array_double[0][14]，属于合法访问。
  • double_ptr[1]等价于*(double_ptr + 1)，是在single_ptr这个指针变量本身的内存地址基础上，偏移1个指针长度（32位系统为4字节、64位系统为8字节），这块内存不属于array_double的地址空间，是未知野地址，后续对该野地址解引用访问[0]自然触发内存访问违例。

额外提醒：uint8_t **双指针仅适用于独立分配每行内存的离散二维数组（比如先malloc指针数组、再逐行malloc数据的场景），和连续存储的二维数组类型不兼容，不能直接混用。

如果你要通过指针实现对连续二维数组的二维索引访问，推荐两种方案：

方案1：使用数组指针（匹配二维数组寻址逻辑，最简洁） #

直接声明指向数组行的数组指针，无需中间单指针：

uint8_t array_double[4][15];
uint8_t (*array_ptr)[15] = array_double; // 数组指针，步长为1行（15个uint8_t）
uint8_t value;

value = array_ptr[0][14]; // 合法
value = array_ptr[1][0]; // 合法

array_ptr[0][14] = write_value; // 合法
array_ptr[1][0] = write_value; // 合法

方案2：使用单指针手动计算偏移 #

利用二维数组内存连续的特性，手动通过行列偏移计算访问位置：

uint8_t array_double[4][15];
uint8_t *single_ptr = (uint8_t *)array_double;
uint8_t value;
const int COLUMN_COUNT = 15; // 二维数组列数

// 偏移计算规则：行号*列数 + 列号
value = single_ptr[0 * COLUMN_COUNT + 14]; // 等价于array_double[0][14]
value = single_ptr[1 * COLUMN_COUNT + 0]; // 等价于array_double[1][0]

single_ptr[0 * COLUMN_COUNT + 14] = write_value;
single_ptr[1 * COLUMN_COUNT + 0] = write_value;

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