如何实现C宏与编译期表达式结果的拼接？

问题描述 #

直接用宏拼接编译期表达式会触发编译错误，例如以下代码：

#include <stdio.h>
#define VAL1 4
#define VAL2 2
#define _CONCAT(name, v) name##v
#define CONCAT(name, v) _CONCAT(name, v)

void main()
{
    int CONCAT(var, VAL1 * VAL2) = 5;
    printf("%d\n", var8);
}

报错原因是：预处理器的##拼接操作符仅会直接拼接传入的符号，不会计算表达式——VAL1 * VAL2在预处理器阶段被拆分为VAL1、*、VAL2三个独立符号，最终生成非法变量名varVAL1*VAL2，而非预期的var8。

而直接传入宏常量（如VAL1=8）时能正常工作，是因为预处理器会先将VAL1替换为8，再完成拼接。

解决方案 #

核心思路是先让表达式在编译期求值为常量，再将该常量传入拼接宏，以下是两种标准且兼容性较好的实现方式：

方法1：使用枚举类型计算编译期常量

枚举成员的值是编译期确定的常量，预处理器会直接替换枚举常量为对应数值，可正常参与宏拼接：

#include <stdio.h>
#define VAL1 4
#define VAL2 2

// 编译期计算表达式结果，存储为枚举常量
enum { COMPUTED_VAL = VAL1 * VAL2 };

#define _CONCAT(name, v) name##v
#define CONCAT(name, v) _CONCAT(name, v)

int main()
{
    int CONCAT(var, COMPUTED_VAL) = 5;
    printf("%d\n", var8); // 输出5
    return 0;
}

方法2：封装编译期求值宏

通过宏封装枚举逻辑，无需单独定义枚举，代码更简洁：

#include <stdio.h>
#define VAL1 4
#define VAL2 2

// 宏：编译期计算表达式的值
#define COMPILE_TIME_EVAL(expr) ((enum { _EVAL = (expr) })_EVAL)

#define _CONCAT(name, v) name##v
// 先求值，再拼接
#define CONCAT(name, expr) _CONCAT(name, COMPILE_TIME_EVAL(expr))

int main()
{
    int CONCAT(var, VAL1 * VAL2) = 5;
    printf("%d\n", var8); // 输出5
    return 0;
}

原理说明 #

预处理器处理宏时，会先展开所有嵌套的宏参数，再执行##拼接操作。通过枚举（或封装宏）将表达式转换为编译期常量后，预处理器会将该常量替换为具体数值，此时CONCAT宏就能正确拼接出预期的变量名。

注意：标准C中main函数的返回类型应为int，void main是非标准写法，建议改为int main()并返回0以保证兼容性。

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