C语言setenv函数使用异常：新增环境变量为何影响原有变量修改？

现象复现 #

第一段代码（正常修改） #

#include <stdio.h>
#include <stdlib.h>
#include <string.h> // strstr函数需要该头文件

int main(int argc, char *argv[], char *envp[])
{
    int i = 0;
    while (envp[i] != NULL)
    {
        if (strstr(envp[i], "SHLVL") != NULL)
            printf("%s\n", envp[i]);
        i++;
    }
  
    setenv("SHLVL", "stackoverflow", 2);
    i = 0;
    while (envp[i] != NULL)
    {
        if (strstr(envp[i], "SHLVL") != NULL)
            printf("%s\n", envp[i]);
        i++;
    }
    return 0;
}

输出符合预期：

SHLVL=1
SHLVL=stackoverflow

第二段代码（新增变量后修改失效） #

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(int argc, char *argv[], char *envp[])
{
    int i = 0;
    while (envp[i] != NULL)
    {
        if (strstr(envp[i], "SHLVL") != NULL)
            printf("%s\n", envp[i]);
        i++;
    }

    setenv("arr", "33", 2); // 新增不存在的环境变量
    setenv("SHLVL", "stackoverflow", 2);
    i = 0;
    while (envp[i] != NULL)
    {
        if (strstr(envp[i], "SHLVL") != NULL)
            printf("%s\n", envp[i]);
        i++;
    }
    return 0;
}

输出不符合预期：

SHLVL=1
SHLVL=1

核心原因 #

• main函数的envp参数只是进程启动时环境变量数组的初始内存指针，指向的是一块固定的启动时内存区域。
• 当修改已存在的环境变量（比如第一段代码改SHLVL），glibc会直接在原环境数组的对应位置修改字符串内容，所以遍历旧的envp能看到变化。
• 但新增不存在的环境变量时，原环境数组的内存空间不足以容纳新变量，glibc会重新分配一块全新的内存区域，把原环境变量全部复制过去，再添加新变量。此后进程实际使用的环境变量数组是这块新内存，而旧的envp指针仍然指向启动时的旧内存。
• 第二段代码最后遍历的还是旧的envp，自然看不到SHLVL的修改结果——新的修改只发生在新分配的环境数组里。

解决验证 #

如果要读取最新的环境变量，要么用getenv("SHLVL")直接获取，要么使用全局变量environ（需提前声明）遍历最新的环境数组。修改第二段代码的遍历部分示例：

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

extern char **environ; // 声明全局环境变量指针

int main(int argc, char *argv[], char *envp[])
{
    int i = 0;
    while (envp[i] != NULL)
    {
        if (strstr(envp[i], "SHLVL") != NULL)
            printf("%s\n", envp[i]);
        i++;
    }

    setenv("arr", "33", 2);
    setenv("SHLVL", "stackoverflow", 2);
    
    // 遍历全局environ数组，而非旧的envp
    i = 0;
    while (environ[i] != NULL)
    {
        if (strstr(environ[i], "SHLVL") != NULL)
            printf("%s\n", environ[i]);
        i++;
    }
    return 0;
}

此时会输出预期结果：

SHLVL=1
SHLVL=stackoverflow

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