C语言中如何用extern常量定义静态常量解决初始化元素非恒定报错

问题根源 #

C标准要求，静态存储周期的变量（包括全局变量、static修饰的局部/全局变量）的初始化值必须是编译期可确定的常量表达式。
你用extern声明的const常量，其实际值存储在独立的consts.c编译单元中，编译particle.c的时候编译器完全看不到这些值的具体定义，只有链接阶段才会完成地址绑定和值的解析，因此编译器不会将extern const变量识别为合法的常量表达式，就会抛出initializer element is not constant报错。

额外注意：你当前头文件中window_width没有加const修饰，本身就是可修改的变量，更不可能作为常量表达式使用。

可行解决方案 #

方案1：改用预处理宏定义常量 #

直接在consts.h中用#define定义所有常量，放弃extern + 独立C文件的实现方式，宏的替换发生在预编译阶段，编译期可以直接拿到值：

// consts.h
#define G 6.67408E-11f
#define METRE 10
#define WINDOW_WIDTH 500
#define WINDOW_HEIGHT 500
#define SECONDS_PER_FRAME (1.0f/60.0f)
#define FRAMES_PER_SECOND 60.0f

这种方式最简单，没有额外性能损耗，也是C项目中定义全局编译期常量的常规做法。

方案2：头文件中直接定义static const常量 #

如果不想用宏，也可以把const常量的定义直接放在头文件中，加static修饰避免多编译单元重复定义冲突：

// consts.h
static const float G = 6.67408E-11;
static const int metre = 10;
static const int window_width = 500;
static const int window_height = 500;
static const float seconds_per_frame = 1.0f/60.0f;
static const float frames_per_second = 60.0f;

此时每个引入consts.h的编译单元会生成一份独立的常量副本，对于小体积的基础类型常量来说，性能损耗可以忽略不计，同时保留了const的类型检查特性。

方案3：运行时初始化派生常量 #

如果你必须保留现有的extern const实现架构，就不要给这些派生的常量加static const的编译期初始化要求，改成在模块初始化函数中赋值即可：

// particle.c
#include "../constants/consts.h"

static float max_position_x;
static float max_position_y;
static float max_speed;

void particle_init(void) {
    max_position_x = window_width;
    max_position_y = window_height;
    max_speed = 5 * metre;
}

在使用所有particle相关功能前先调用一次particle_init()即可正常使用这些变量。

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