C语言读取文件时触发EXC_BAD_ACCESS错误的排查求助

错误原因分析 #

• 数组越界访问
  代码中tables通过malloc(sizeof(Meal) * N)分配数组，但指令中的tableNum为5。如果N的值≤5，且OrderItem等函数直接使用tables[tableNum]（而非tables[tableNum-1]），就会触发数组越界。C语言数组下标从0开始，tableNum=5对应下标5，而数组最大有效下标是N-1，当N≤5时访问的是非法内存区域。

• 未初始化的结构体成员
  malloc分配的内存不会自动清零，tables数组里的每个Meal结构体成员（比如订单链表指针）都是野指针。当OrderItem尝试操作这些未初始化的指针时，会访问无效内存地址，直接导致EXC_BAD_ACCESS。

• Menu指针有效性存疑
  虽然执行了CreateProducts和AddItems，但如果这两个函数内部逻辑有问题，导致Menu中没有正确添加"Pasta"条目，OrderItem查找该产品时可能访问空指针或非法内存。

解决方法 #

• 修正数组下标逻辑
  确认tableNum是从1开始的编号，在OrderItem、RemoveItem、RemoveTable函数中，将tables[tableNum]改为tables[tableNum-1]，确保下标落在0到N-1的有效范围内。同时检查N的定义，保证其值大于等于指令中出现的最大tableNum（此处为5）。

• 初始化malloc分配的结构体
  在malloc完成后，遍历tables数组，初始化每个Meal结构体的成员，示例代码如下：

Meal* tables = (Meal*)malloc(sizeof(Meal) * N);
if (tables == NULL) {
    perror("malloc failed");
    exit(EXIT_FAILURE);
}
// 初始化每个结构体成员
for (int i = 0; i < N; i++) {
    tables[i].order_head = NULL; // 假设order_head是订单链表头指针
    tables[i].total = 0;         // 假设total是订单总数量
    // 根据你的Meal结构体定义，初始化其他成员
}

• 验证Menu的完整性
  检查CreateProducts和AddItems的实现，确保执行指令1和2后，Menu中正确包含"Pasta"产品。可以在AddItems后添加调试代码，打印Menu中的产品列表，确认条目存在：

// 假设Menu是链表结构，遍历打印
Meal* temp = Menu;
while (temp != NULL) {
    printf("Product: %s, Amount: %d\n", temp->name, temp->amount);
    temp = temp->next;
}

• 强化输入安全
  读取字符串时限制长度，避免缓冲区溢出，比如将fscanf(Instruction, "%s %d", name, &amount)改为fscanf(Instruction, "%99s %d", name, &amount)（name数组大小为100，留1位给终止符）。

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