为何C语言中const结构体字段无法用作初始化器？

编译错误的根源 #

C语言规定，全局变量的初始化器必须是编译时常量表达式。虽然mytester被声明为const，但mytester.first本质是对内存中变量成员的访问——哪怕这个变量是只读的，它依然是一个运行时对象，编译器无法在编译阶段确保它的值是确定的（比如跨编译单元的const变量就无法被编译器直接解析）。

你注意到的字段是否加const不是问题关键：就算把struct mystruct_s里的first改成const uint16_t，错误依然存在，因为问题出在mytester是个变量，对它的成员访问不属于编译时常量范畴。

无需复制结构体的解决方案 #

如果不想直接用宏，也不想修改结构体定义，有几种可行的方法：

1. 用枚举替代宏定义常量 #

把宏换成枚举，这样THEVALUE本身就是编译时常量，既能用来初始化两个结构体，又能保留mytester.first的语义供代码中引用：

#include <stdio.h>
#include <stdint.h>

struct mystruct_s {
  uint16_t first;
};
typedef struct mystruct_s mystruct_t;

// 用枚举定义编译期常量
enum { THEVALUE = 5 };
const mystruct_t mytester = {
  .first = THEVALUE,
};

struct otherstruct_s {
  uint16_t initial;
};
typedef struct otherstruct_s otherstruct_t;

// 直接用枚举常量初始化，同时保留mytester的定义
otherstruct_t othertester = {
  .initial = THEVALUE,
};

int main() {
  printf("Hello, world %d!\n", othertester.initial);
  // 代码中依然可以通过mytester.first引用该值
  printf("Same value from struct: %d\n", mytester.first);
  return 0;
}

2. 利用编译器扩展（GCC/Clang） #

GCC和Clang支持一些扩展语法，能让const结构体被视为编译期常量：

• C23标准：可以用constexpr声明mytester，这样它的成员访问会被当作编译时常量：

constexpr mystruct_t mytester = {
  .first = THEVALUE,
};

• 旧标准兼容：给mytester加上__attribute__((const))属性，告诉编译器这个变量的值是编译期固定的，不会被修改：

const mystruct_t mytester __attribute__((const)) = {
  .first = THEVALUE,
};

注意这种方法依赖编译器特性，跨平台时需要做兼容性处理。

3. 宏封装成员语义（兼顾可读性与编译期常量） #

如果不想直接写原始宏，但想保留类似mytester.first的语义，可以用宏封装：

#define MYTESTER_FIRST THEVALUE

const mystruct_t mytester = {
  .first = MYTESTER_FIRST,
};

otherstruct_t othertester = {
  .initial = MYTESTER_FIRST,
};

这样MYTESTER_FIRST就代表了mytester.first的语义，同时是合法的编译时常量。

总结 #

问题核心是C语言对全局变量初始化器的严格限制——只有编译时常量表达式才能用于全局初始化。如果要保留结构体成员的语义，要么用枚举/宏这类原生编译期常量，要么借助编译器扩展让结构体变量被识别为编译期常量。

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