CS50课程作业：调用printf时变量被清空的问题求助

你的问题核心是返回了栈上的局部数组地址，这属于C语言里典型的未定义行为，具体拆解如下：

1. 为什么变量会被清空？ #

在replace函数里，char output[strlen(input)]是栈内存上的局部数组。当函数执行完毕返回时，当前函数的栈帧会被销毁，这块内存会被标记为可复用状态。

• 你在调试时看到leeted被正确赋值，是因为此时replace函数刚执行完，栈内存还没被覆盖；但当执行printf时，printf本身会占用栈空间，直接把原来output数组所在的栈内存覆盖了，所以leeted指向的内容就变成了空或者乱码。

2. 为什么加了printf就“正常”？ #

这是未定义行为的典型表现——结果完全不可预测。当你在replace里启用printf时，刚好栈的布局没有覆盖output数组的内存，或者printf的执行没有破坏这块区域，所以数据暂时保留了。但这只是巧合，换个环境、换个输入就可能再次出错，绝对不能依赖这种“偶然正常”的情况。

3. 额外的隐患：缺少字符串终止符 #

你的output数组长度是strlen(input)，但C语言的字符串必须以'\0'结尾才能被printf正确识别。就算内存没失效，这个数组也没有预留终止符的位置，最终输出也会出现乱码。

修复方案 #

要解决这个问题，需要在堆内存上分配输出缓冲区，堆内存不会随函数返回自动销毁，直到你手动释放：

修改后的replace函数 #

string replace(string input)
{
    // 分配足够空间：原字符串长度 + 1（用于存储'\0'）
    char *output = malloc(strlen(input) + 1);
    if (output == NULL) {
        // 内存分配失败时返回NULL，避免崩溃
        return NULL;
    }

    int i = 0;
    while (input[i] != '\0')
    {
        switch(input[i])
        {
            case 'a':
                output[i] = '6';
                break;
            case 'e':
                output[i] = '3';
                break;
            case 'i':
                output[i] = '1';
                break;
            case 'o':
                output[i] = '0';
                break;
            default:
                output[i] = input[i];
                break;
        }
        i++;
    }
    // 必须添加字符串终止符
    output[i] = '\0';
    return output;
}

同时修改main函数，释放堆内存 #

使用完堆内存后要手动释放，避免内存泄漏：

else
{
    string leeted = replace(argv[1]);
    if (leeted != NULL) {
        printf("from main(): %s\n", leeted);
        free(leeted); // 释放分配的堆内存
    }
}

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