为何stdout不是编译时常量？全局赋值失败及解决方案

一、为什么stdout不是编译时常量？ #

C标准明确规定，stdout是指向FILE结构体的指针，它的值是程序运行时确定的。因为标准输入输出流的初始化由C运行时库在程序启动阶段完成：程序启动后，系统会为进程分配标准输入、输出、错误流对应的文件描述符，stdout指针指向的是运行时才初始化完成的FILE结构体实例，所以它的地址只能在运行时确定，不属于编译时常量。

二、为什么const FILE *fp = stdout;在main内合法，全局作用域却不合法？ #

C语言对全局变量/静态变量的初始化有严格限制：必须使用编译时常量表达式（即编译阶段就能确定值的表达式）。stdout是运行时确定的变量，用它初始化全局变量时，编译器会直接报错。

而main函数内的局部变量初始化，是在程序执行到该代码行时才进行的，此时stdout已经被运行时库初始化完成，指向有效的FILE结构体，所以用它赋值完全合法。两者的核心区别是：全局初始化要求编译期确定值，局部初始化是运行期执行，规则不同。

三、如何实现无需初始化函数，让结构体默认指向stdout？ #

推荐三种可行方案：

方案1：利用C11的_Thread_local（单线程环境也适用） #

将结构体声明为线程局部存储，它的初始化会延迟到第一次使用时（运行时）完成，此时stdout已初始化完毕：

#include <stdio.h>

struct config {
    FILE *this_should_be_stdout;
};

_Thread_local struct config conf = {
    .this_should_be_stdout = stdout
};

注意：_Thread_local是C11标准特性，需要编译器支持（GCC、Clang、新版MSVC均支持）。

方案2：宏封装自动初始化（无标准版本限制） #

用宏封装配置获取逻辑，第一次调用时自动完成初始化：

#include <stdio.h>
#include <stdbool.h>

struct config {
    FILE *this_should_be_stdout;
};

static struct config conf;
static bool conf_initialized = false;

#define GET_CONF() (conf_initialized ? conf : (conf = (struct config){.this_should_be_stdout = stdout}, conf_initialized = true, conf))

// 使用示例
void log_msg(const char *msg) {
    struct config c = GET_CONF();
    fprintf(c.this_should_be_stdout, "%s\n", msg);
}

这种方式无需显式调用初始化函数，第一次使用配置时会自动完成赋值。

方案3：GCC扩展（移植性较差） #

如果仅使用GCC编译器，可以利用其扩展特性，用无副作用的函数调用初始化全局变量：

#include <stdio.h>

struct config {
    FILE *this_should_be_stdout;
};

static FILE *get_default_stdout(void) {
    return stdout;
}

struct config conf = {
    .this_should_be_stdout = get_default_stdout()
};

注意：这是非标准特性，跨平台编译时不推荐使用。

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