CS50 C语言报错：返回局部变量关联栈内存地址问题排查

CS50: error: address of stack memory associated with local variable错误由栈内存的生命周期特性导致，核心逻辑如下：

• CS50库中的string是char*的别名，你理解的“字符串本质是char数组”是正确的，但数组名作为返回值时会隐式转换为指向数组首元素的指针，这是问题触发的前提。
• 你在cypher_text函数内定义的char cypher[strlen(text)];属于栈上的局部变长数组，这块内存仅在cypher_text函数运行期间有效：函数调用时栈帧被分配，数组内存可用；函数返回后栈帧会被系统自动回收，对应内存的内容会被后续操作覆盖，返回指向这块内存的指针属于非法的野指针访问，是C语言明确禁止的未定义行为，因此编译器直接抛出错误。

有两种常用的改法可以解决问题：

方案1：堆内存分配存储结果 #

用malloc在堆上申请内存，堆内存的生命周期为手动管理，只要不主动free就一直可用，注意要多申请1个字节存储字符串结束符\0：

string cypher_text(string text, string key)
{
    int len = strlen(text);
    // 多申请1字节存\0，C语言字符串必须以\0结尾
    char *cypher = malloc(len + 1);
    if (cypher == NULL) {
        return NULL;
    }
    int value;
    for (int i=0; i<len;i++)
    {
        if (isalpha(text[i]))
        {
            if (isupper(text[i]))
            {
                value = text[i] - 'A';
                cypher[i] = toupper(key[value]);
            }
            else
            {
                value = text[i] - 'a';
                cypher[i] = tolower(key[value]);
            }
        }
        else
        {
            cypher[i] = text[i];
        }
    }
    // 手动补充字符串结束符
    cypher[len] = '\0';
    return cypher;
}

注意main函数中使用完cypher后要调用free(cypher)避免内存泄漏。

方案2：调用方提前分配内存传入函数 #

在main中提前定义好足够大的char数组，把数组地址传给cypher_text函数直接写入，不需要返回值，这种方式不需要手动管理堆内存：

// 函数声明调整为void，新增参数接收调用方传入的数组地址
void cypher_text(string text, string key, char *cypher);

main中调用逻辑调整为：

char cypher[strlen(plain) + 1];
cypher_text(plain, argv[1], cypher);
printf("Cypher text:%s\n",cypher);

cypher_text函数内不需要再定义局部cypher数组，直接写入传入的地址即可，最后仍需补充\0结束符。

你当前的代码还有两个容易被忽略的错误：

• 局部数组char cypher[strlen(text)];长度仅等于输入文本的长度，没有预留存储\0的位置，就算没有栈内存问题，返回后当成字符串使用也会出现乱码。
• 小写分支和非字母分支你注释了给cypher数组赋值的代码，就算返回成功这部分内容也是未初始化的垃圾值。

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