C++预处理宏定义用法及gTest条件编译判断问题解决方案

基础宏概念澄清 #

• ALGO_FEATURE_A本身不存在C/C++语法层面的变量/常量类型，它只是一个预处理阶段的标识符标记，如果代码中没有给它绑定具体的字面值，它就只是纯文本标识，不携带数值、类型信息。
• #define ALGO_FEATURE ALGO_FEATURE_A是标准合法的文本替换类宏，执行逻辑完全是预处理器层面的纯文本替换：预处理阶段扫描所有代码，把所有出现ALGO_FEATURE的文本片段，原封不动替换为ALGO_FEATURE_A，替换完成后才会进入后续的语法、语义编译流程，代码能正常编译就已经验证了该写法的合法性。

条件判断失效的根因 #

你写的#if分支永远命中第一个的核心原因，是C/C++预处理器对#if表达式的求值规则：

当#if后的表达式中出现未被定义为具体整数值的标识符时，预处理器会直接将该标识符替换为整数0参与运算。

你的代码中ALGO_FEATURE_A、ALGO_FEATURE_B都只是纯标记宏，没有绑定具体的整数值，因此不管ALGO_FEATURE被替换为A还是B，#if后的表达式展开后两边都会被替换为0，0 == 0的结果永远为真，自然永远命中排在最前面的分支，调换分支顺序也只会永远命中新排在第一位的分支。

举个实际展开例子：如果你定义了#define ALGO_FEATURE ALGO_FEATURE_A，第一个判断展开后为#if (ALGO_FEATURE_A == ALGO_FEATURE_B)，两个无值宏都被替换为0，表达式结果为真，预处理器直接选中第一个分支的代码，根本不会处理后续#elif的内容。

可落地的修正方案 #

方案1：给特性宏绑定唯一整数值（最推荐，维护成本最低） #

在公共特性定义头文件中，给每个算法特性宏分配互不重复的整数值，从根源上避免无值宏被默认替换为0的问题：

// 算法特性枚举定义
#define ALGO_FEATURE_A 1
#define ALGO_FEATURE_B 2
// 选择当前编译版本启用的特性
#define ALGO_FEATURE ALGO_FEATURE_A

完成上述定义后，你原先写的条件编译逻辑就可以正常工作，展开后的表达式是明确的整数相等比较，不会出现恒真的问题：

#if (ALGO_FEATURE == ALGO_FEATURE_B)      
  EXPECT_TRUE(FALSE); // 仅当ALGO_FEATURE绑定为ALGO_FEATURE_B时命中
#elif (ALGO_FEATURE == ALGO_FEATURE_A)
  EXPECT_TRUE(TRUE); // 仅当ALGO_FEATURE绑定为ALGO_FEATURE_A时命中
#endif

方案2：使用宏存在性判断（无需绑定数值） #

如果你不想修改原有纯标记宏的定义方式，就不要用#if做相等比较，改用预处理器专门用来判断宏是否被定义的defined()运算符/#ifdef指令：

// 原有纯标记宏定义无需修改
#define ALGO_FEATURE_A
// #define ALGO_FEATURE_B
#define ALGO_FEATURE ALGO_FEATURE_A

// 调整后的条件判断逻辑
#if defined(ALGO_FEATURE)
  #if ALGO_FEATURE == ALGO_FEATURE_B
    EXPECT_TRUE(FALSE);
  #elif ALGO_FEATURE == ALGO_FEATURE_A
    EXPECT_TRUE(TRUE);
  #endif
#endif

注意：该方案要求你在切换特性时，必须确保只有当前选中的特性宏被定义，其余特性宏必须处于未定义状态，否则依然会出现判断逻辑错误。

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