自定义编程语言二维数组赋值变量出现随机值问题排查

核心问题定位 #

二维数组元素赋值给变量后输出随机数，几乎都是内存访问越界或数组内存分配/寻址逻辑错误导致，结合Flex+Bison自定义编程语言的场景，可从以下方向逐一排查：

1. 二维数组内存分配逻辑检查 #

• 确认符号表（hashtable）中二维数组的存储形式：
  • 若采用指针数组（int **arr），检查每行内存是否完成分配，是否存在未初始化的行指针（访问未初始化指针会读取随机内存）。
  • 若采用连续内存块（int arr[rows][cols]），验证元素偏移量计算是否正确：正确公式为基地址 + row * cols + col，若行列数搞反，必然导致越界访问。

2. Bison语法分析器的寻址处理 #

• 检查Parser中处理arr[i][j]这类二维索引的语法动作：
  • 是否正确从符号表中读取数组的行、列维度信息？
  • 索引值是否做了边界校验？若索引超出数组范围，会访问到数组外的随机内存区域。
  • 地址转换是否正确？需将数组基地址从void*转为对应数据类型指针后再计算偏移。

3. Flex词法分析器的索引传递 #

• 确认Lexer是否正确识别并传递二维数组的两个索引值，排查是否存在索引值被截断、类型错误（如将字符串当作整数传递）的情况。

4. 符号表（hashtable.c）的存储与读取逻辑 #

• 检查hashtable中存储二维数组元数据的结构：
  • 是否完整保存了数组的行、列维度？
  • 读取数组元素时，是否严格依据元数据计算内存地址，而非使用错误的偏移规则。

5. 简化测试用例验证 #

先使用最简测试用例缩小问题范围：

// 自定义语言测试代码
int arr[2][2] = {{1,2},{3,4}};
int a = arr[0][0];
print a; // 预期输出1，若输出随机数则聚焦基础寻址逻辑

逐步增加索引复杂度，确认问题是特定索引触发还是所有二维数组元素均存在异常。

常见错误示例 #

• 错误的地址计算（行列搞反）：

// 错误写法
int *elem = (int*)arr + col * rows + row;
// 正确写法
int *elem = (int*)arr + row * cols + col;

• 未初始化的指针数组：

// 错误：仅分配行指针，未分配每行内存
int **arr = malloc(rows * sizeof(int*));
// 正确：循环分配每行内存
for(int i=0; i<rows; i++){
    arr[i] = malloc(cols * sizeof(int));
}

内容的提问来源于stack exchange，提问作者Hussein Abdul-Ameer