C语言如何用独立文件中定义的const常量初始化本文件const变量

这个需求完全可以实现。
你当前代码编译失败的核心原因是C标准的明确规定：所有文件作用域的全局变量（包括你定义的const int类型全局常量），初始化值必须是编译期可确定的常量表达式。你在foo.c中引用的dummy是其他编译单元（dummy.c）定义的外部符号，编译器单独编译foo.c时拿不到dummy的实际值——这个值要到链接阶段才会最终确定，因此它不属于编译期常量，无法直接用于全局变量的静态初始化。

以下两个方案都完全满足你的约束：dummy定义在dummy.c、foo定义在foo.c、a和b的定义不做修改、foo使用dummy的值初始化，你可以根据项目的编译器兼容要求选择： #

方案1：最小改动，适配GCC/Clang/MinGW等主流编译器 #

不需要修改现有头文件、不需要修改main函数逻辑、不破坏常量的只读属性，只需要修改foo.c的实现：

#include "foo.h"

const int foo;

// 标记为构造函数，会在main函数执行前、链接完成后自动运行
__attribute__((constructor)) static void init_foo(void) {
    *(int*)&foo = dummy + 1;
}

这个方案里构造函数执行时，所有全局符号的地址和值都已经完成重定位，dummy的值已经确定，此时给foo赋值后，foo后续就保持只读const属性，和静态初始化的运行效果完全一致。
其他文件完全不需要改动，你原来的makefile可以直接使用。 #

方案2：纯标准C实现，无任何编译器扩展依赖 #

如果你的项目需要兼容MSVC、老旧嵌入式编译器等不支持GNU属性的环境，可以用显式初始化的方案，只需要少量改动：

1. 修改dummy.c，增加dummy的初始化函数，保持a、b定义不变：

#include "dummy.h"

const int a = 384;        // 保持原有定义不修改
const int b = 1;          // 保持原有定义不修改
const int dummy;

void dummy_init(void) {
    *(int*)&dummy = a + b;
}

2. 修改foo.h，增加foo初始化函数的声明：

#ifndef foo_h
#define foo_h

#include "dummy.h"

extern const int foo;
void foo_init(void);

#endif

3. 修改foo.c，实现foo的初始化逻辑：

#include "foo.h"

const int foo;

void foo_init(void) {
    *(int*)&foo = dummy + 1;
}

4. 修改main.c，在最开头调用初始化函数，保证所有常量在业务逻辑执行前完成赋值：

#include <stdio.h>
#include "foo.h"

int main() {
  dummy_init();
  foo_init();
  printf("Hello World. foo = %d\n", foo);
  return 0;
}

makefile不需要做任何调整，直接编译即可运行，最终输出结果为Hello World. foo = 386，完全符合预期。 #

注意：不推荐为了绕过编译错误把常量改成宏定义，宏是预处理阶段的文本替换，会破坏跨模块只读常量的类型安全，也无法处理常量值需要依赖同文件其他静态变量计算的场景。

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