为何我用C编写的Brainfuck解释器会出现段错误？

核心错误分析 #

你的代码存在多个导致段错误的关键问题，主要集中在变量混淆、逻辑错误和类型误用：

• 变量复用导致内存越界：ptr被同时用来表示数组的当前偏移量和程序指令的遍历索引，比如处理[/]时，错误地用数组偏移量去访问program内存，直接触发非法内存访问。
• 数据指针初始化错误：uint8_t ptr = *(state->cur);取的是当前数组单元格的值，而不是cur指针相对于数组起始位置的偏移量，完全偏离了指针的用途。
• 程序遍历逻辑错误：循环条件while( i < state->array_len-1)错误地用数组长度控制程序指令的遍历，应该遍历到程序字符串的结束符'\0'，否则会提前终止或越界读取program。
• 无符号类型判断失效：ptr是uint8_t（无符号8位整数），ptr < 0永远为假，执行<指令时若ptr为0，会溢出为255，导致数组越界。
• 括号跳转逻辑混乱：处理[/]时，起始位置错误、括号计数逻辑颠倒，进一步加剧了内存访问错误。

修正后的代码 #

#include <stdint.h>
#include <stdio.h>

struct Array {
    size_t array_len;
    uint8_t* array;
    uint8_t* cur; // 指向数组当前位置的指针
};

int brainfuckInterpreter(struct Array* state, const char* program) {
    // 计算当前数据指针相对于数组起始的偏移量
    size_t data_ptr = state->cur - state->array;
    const char* prog_ptr = program; // 独立的程序指令遍历指针

    while (*prog_ptr != '\0') {
        // 检查数据指针是否越界
        if (data_ptr >= state->array_len) {
            return 0;
        }

        switch (*prog_ptr) {
            case '.':
                putchar(state->array[data_ptr]);
                break;
            case '+':
                state->array[data_ptr]++;
                break;
            case '-':
                state->array[data_ptr]--;
                break;
            case '>':
                data_ptr++;
                if (data_ptr >= state->array_len) {
                    return 0;
                }
                state->cur = state->array + data_ptr; // 同步更新结构体中的指针
                break;
            case '<':
                if (data_ptr == 0) { // 无符号类型直接判断是否为0，避免溢出
                    return 0;
                }
                data_ptr--;
                state->cur = state->array + data_ptr;
                break;
            case '[':
                if (state->array[data_ptr] == 0) {
                    int brk_count = 1;
                    prog_ptr++;
                    // 查找匹配的']'
                    while (brk_count != 0 && *prog_ptr != '\0') {
                        if (*prog_ptr == '[') brk_count++;
                        else if (*prog_ptr == ']') brk_count--;
                        prog_ptr++;
                    }
                    if (brk_count != 0) return 0; // 括号不匹配，指令非法
                    prog_ptr--; // 回退到匹配的']'，让外层循环处理下一个指令
                }
                break;
            case ']':
                if (state->array[data_ptr] != 0) {
                    int brk_count = 1;
                    prog_ptr--;
                    // 查找匹配的'['
                    while (brk_count != 0 && prog_ptr >= program) {
                        if (*prog_ptr == ']') brk_count++;
                        else if (*prog_ptr == '[') brk_count--;
                        prog_ptr--;
                    }
                    if (brk_count != 0) return 0; // 括号不匹配，指令非法
                    prog_ptr++; // 回退到匹配的'['，让外层循环处理下一个指令
                }
                break;
            default: // 忽略非指令字符
                break;
        }
        prog_ptr++; // 遍历下一条指令
    }

    state->cur = state->array + data_ptr; // 同步更新最终指针位置
    return 1;
}

修正关键点 #

1. 分离变量职责：用data_ptr专门表示数组偏移量，prog_ptr专门遍历程序指令，彻底避免变量混用。
2. 正确初始化指针偏移：通过state->cur - state->array计算当前指针在数组中的偏移，符合结构体设计意图。
3. 修复遍历逻辑：以*prog_ptr != '\0'作为循环结束条件，正确遍历整个程序字符串。
4. 适配无符号类型：对<指令直接判断data_ptr == 0，避免无符号数溢出导致的越界。
5. 修复括号跳转：正确处理括号计数和匹配查找逻辑，增加括号不匹配的错误判断，保证指令合法性。
6. 同步结构体状态：每次移动数据指针后更新state->cur，保持结构体内部状态一致。

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