函数内使用预处理器指令为何结果不符合预期？请解释原因

你编写的代码虽然能运行，但输出不符合预期，核心问题出在预处理器的执行时机上：

你的代码 #

#include <iostream>

#define MY_CONSTANT 41

void myFunction(int x) {

    #if x == 42
       std::cout << "Value is 42." << " "<<x<<std::endl;
    #else
       std::cout << "Value is not 42." <<" "<<x<< std::endl;
    #endif
}

int main() {
  myFunction(42);
  return 0;
}

问题根源 #

预处理器是在编译阶段之前运行的工具，它完全不知道C++代码中的变量、函数参数这类运行时概念。当它处理#if x == 42时，这里的x并不是函数参数那个x——预处理器会把它当作一个未定义的宏。对于未定义的宏，预处理器会默认将其替换为0，所以条件变成了0 == 42，结果为假，自然会执行#else分支的代码。

另外需要明确：函数内确实可以写预处理器指令，但预处理器只会基于宏定义、编译常量这类编译期信息处理逻辑，根本无法感知运行时的变量值。如果要根据函数参数判断逻辑，应该用C++的if语句而不是预处理器的#if。

修正后的代码示例 #

#include <iostream>

#define MY_CONSTANT 41

void myFunction(int x) {
    if (x == 42) {
       std::cout << "Value is 42." << " "<<x<<std::endl;
    } else {
       std::cout << "Value is not 42." <<" "<<x<< std::endl;
    }
}

int main() {
  myFunction(42);
  return 0;
}

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