编译期已知值的C const变量与#define编译后行为是否一致？

这两种写法的编译行为不完全一致，核心差异来自C标准的定义规则和编译阶段的不同：

预处理器宏的行为 #

#define num 3 是预处理器阶段的文本替换操作：

• 编译前，预处理器会把代码中所有num直接替换为3，最终编译的代码就是int arr[3];
• 生成的是固定大小的数组，完全符合C89及所有后续标准，不存在运行时对num的引用，也没有num这个变量的内存开销。

const变量的行为 #

const int num = 3 定义的是一个只读变量，而非标准意义上的“编译期常量”：

• 在C89标准中，这种写法是非法的，因为数组大小必须是整数常量表达式，而const变量不属于该范畴。
• C99引入变长数组（VLA）后，该写法合法，但数组属于变长数组，理论上会在运行时读取num的值来确定数组大小（即便num的值编译期可见）。
• 实际开发中，主流编译器（如GCC、Clang）在开启优化（如-O2）时，会识别到num是编译期确定的只读值，自动将其优化为常量替换，生成和宏写法一致的机器码。但这是编译器的优化行为，并非C标准强制要求，关闭优化后，代码仍会保留对num变量的运行时引用。

总结 #

• 宏写法的行为是标准明确的，始终生成固定大小数组，无运行时开销。
• const变量写法的标准行为是定义变长数组（C99+），但编译器优化后可能达到和宏相同的效果，不过不能依赖这种优化来保证行为一致。

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