C语言链表实现中malloc内存分配异常问题求助

核心原因：缓冲区溢出篡改malloc管理元数据 #

你修改后的get_next_expr_node函数存在致命的缓冲区溢出问题，这直接破坏了malloc维护的堆内存管理结构，导致后续内存分配出现地址重复、对齐错误等异常：

• 代码中char s;仅分配1字节栈空间，但scanf("%s", &s);的%s格式符会读取所有连续非空白字符，并自动添加\0终止符。比如输入数字13时，需要存储'1'、'3'、'\0'三个字节，超出的字节会直接覆盖栈上的其他内存区域。
• 栈上存储着malloc返回的expr指针，以及malloc内部用于管理堆内存的元数据（如块大小、前后块指针等），溢出的数据会篡改这些关键信息，导致后续malloc调用出现异常行为。

次要逻辑问题：冗余的二级指针传递 #

虽然不是导致malloc异常的直接原因，但调用set_num_expr(&expr, val)和set_op_expr(&expr, &s)时存在逻辑冗余：

• expr本身就是指向malloc分配内存的一级指针，&expr是取这个局部指针变量的地址（二级指针），set_num_expr中(*expr)->type的写法虽然能工作，但完全没必要使用二级指针，直接传递expr即可，代码更简洁且不易出错。

修复方案 #

1. 修复缓冲区溢出 #

将单字节的char s改为足够大的字符数组，确保能容纳所有可能的输入（数字、操作符）：

extern Expr *get_next_expr_node(void)
{
    Expr *expr = (Expr *)malloc(sizeof(Expr));
    char  s[32]; // 足够大的缓冲区，避免溢出
    scanf("%s", s); // 数组名本身就是指针，无需&
    int val = atoi(s);
    // 修正逻辑：处理输入0的情况，避免把0当成操作符
    if (val != 0 || (s[0] == '0' && s[1] == '\0')) {
        set_num_expr(expr, val);
    } else {
        set_op_expr(expr, s);
    }
    return expr;
}

2. 简化函数参数（可选但推荐） #

修改set_num_expr和set_op_expr为接收一级指针，减少冗余：

static void set_num_expr(Expr *expr, int val)
{
    expr->type  = NUMBER;
    expr->u.val = val;
}

static void set_op_expr(Expr *expr, char *s)
{
    switch (*s) {
    case '+':
        expr->type = ADD;
        break;
    case '-':
        expr->type = SUB;
        break;
    case '*':
        expr->type = MUL;
        break;
    case '/':
        expr->type = DIV;
        break;
    default:
        expr->type = END;
    }
}

补充说明原代码的侥幸运行 #

你最初的代码虽然也存在缓冲区溢出问题，但因为直接返回num_expr或op_expr（内部重新malloc并返回新指针），溢出的内存没有破坏到后续malloc依赖的关键结构，属于未定义行为下的侥幸运行，并非真正的正确实现。

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