如何实现C语言宏仅接受硬编码值、不接收变量作为入参

问题背景 #

现有时间单位转换宏无入参校验，存在重复换算的误用风险：开发人员先用宏完成变量初始化后，又将已经换算过的变量作为入参传入宏，导致最终计算结果出现数量级错误。现有宏实现如下：

#define TIMEFRAME_MILISEC(X)        ((X))
#define TIMEFRAME_SECONDS(X)        ((X) * TIMEFRAME_MILISEC(1000))
#define TIMEFRAME_MINUTES(X)        ((X) * TIMEFRAME_SECONDS(60))
#define TIMEFRAME_HOURS(X)          ((X) * TIMEFRAME_MINUTES(60))

目标是让宏仅接受TIMEFRAME_SECONDS(5)这类硬编码字面量传参，传入变量时直接触发编译报错，从源头阻断误用。

实现方案（C11及以上，全主流编译器兼容） #

核心逻辑是在编译期检测入参是否为整数常量表达式，非字面量的变量入参无法通过常量校验，直接触发编译期断言，无任何运行时开销。
首先实现两个基础工具宏：

// 编译期断言，校验失败时抛出对应错误提示
#define STATIC_ASSERT(COND, ERR_MSG) typedef char static_assert_failed_##ERR_MSG[(COND) ? 1 : -1]

// 整数常量表达式检测：变量入参无法通过常量折叠校验
#define IS_CONST_INTEGER(X) _Generic((1 ? (void*)0 : (long long)(X)*0), void*: 1, default: 0)

基于工具宏改造原有时间转换宏，在宏展开最前面加入入参校验：

#define TIMEFRAME_MILISEC(X)        ({\
    STATIC_ASSERT(IS_CONST_INTEGER(X), TIMEFRAME_MILISEC_only_accept_hardcode_literal);\
    (X);\
})
#define TIMEFRAME_SECONDS(X)        ({\
    STATIC_ASSERT(IS_CONST_INTEGER(X), TIMEFRAME_SECONDS_only_accept_hardcode_literal);\
    (X) * TIMEFRAME_MILISEC(1000);\
})
#define TIMEFRAME_MINUTES(X)        ({\
    STATIC_ASSERT(IS_CONST_INTEGER(X), TIMEFRAME_MINUTES_only_accept_hardcode_literal);\
    (X) * TIMEFRAME_SECONDS(60);\
})
#define TIMEFRAME_HOURS(X)          ({\
    STATIC_ASSERT(IS_CONST_INTEGER(X), TIMEFRAME_HOURS_only_accept_hardcode_literal);\
    (X) * TIMEFRAME_MINUTES(60);\
})

效果说明 #

• 合法调用：传入纯数字硬编码值（比如TIMEFRAME_HOURS(2)、TIMEFRAME_SECONDS(30)）时，校验逻辑正常通过，宏计算结果和原有实现完全一致，无额外性能损耗
• 非法调用：传入变量、运行时计算的表达式结果时，编译直接中断，错误信息会明确提示对应宏仅支持硬编码字面量入参，从编译阶段阻断误用

注：该方案完全兼容宏嵌套调用（比如现有宏内部TIMEFRAME_SECONDS调用TIMEFRAME_MILISEC(1000)的逻辑），宏展开后的数字常量依然属于整数常量表达式，可以正常通过校验。

老旧编译器兼容方案（C99及以下） #

如果使用不支持C11 _Generic 特性的老旧编译器，可以用字符串化检测方案，利用「数字字面量字符串化后首字符为0-9，变量名首字符只能是下划线/字母」的特征做校验：

#define TIMEFRAME_MILISEC(X)        ((void)sizeof(char[(('0' <= #X[0] && #X[0] <= '9') ? 1 : -1)]), (X))
#define TIMEFRAME_SECONDS(X)        ((void)sizeof(char[(('0' <= #X[0] && #X[0] <= '9') ? 1 : -1)]), (X)*TIMEFRAME_MILISEC(1000))
#define TIMEFRAME_MINUTES(X)        ((void)sizeof(char[(('0' <= #X[0] && #X[0] <= '9') ? 1 : -1)]), (X)*TIMEFRAME_SECONDS(60))
#define TIMEFRAME_HOURS(X)          ((void)sizeof(char[(('0' <= #X[0] && #X[0] <= '9') ? 1 : -1)]), (X)*TIMEFRAME_MINUTES(60))

这个方案的局限性是无法识别括号包裹的负数字面量，但时间转换场景入参均为正整数，完全满足使用需求。

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