C++ 预处理器条件参数

Question

请注意 C++03!任何 C++11 解决方案都不适合我，但为了知识的缘故请发布它们。

我知道预处理器可以做这样的事情:

#define FOO 4
#if FOO == 4
    cout<<"hi"<<endl;
#endif

我需要的是:

#define BAR(X)\
    #if X == 4\
       cout<<"hi"<<endl;\
    #endif

主要.cpp

BAR(4)

我不明白为什么所有需要的信息在预处理器时间内都不可用。

所以，请告诉我如何实现这种行为。

---

编辑 1:正常的 if 条件不适用于我的情况，因为我也会做类似的事情:

#define BAR(X)\
    #if X == 4\
       int poop;
    #elif
       double poop;
    #endif

Answer 1

正如您所发现的，您无法按照您尝试过的方式执行此操作。宏扩展根本没有内联条件评估，因此您必须创建多个宏。

但是，如果您只是想“优化”正常的代码流，则可以依靠编译器的优化。考虑一下:

if (true) {
   std::cout << "Hi\n";
}

生成的程序中不会有任何条件检查，因为 true 始终为真。

类似地:

if (false) {
   std::cout << "Hi\n";
}

生成的程序将不包含任何生成输出的代码，因为 false 永远不会为真。

类似地:

if (4 != 4) {
   std::cout << "Hi\n";
}

该程序仍将不包含 std::cout 代码。

在很多情况下，您可以使用这个事实来保持代码简单并达到您想要的效果:

#define BAR(X) \
   if ((X) == 4) {
      std::cout << "hi" << std::endl;\
   }

当然，这里的约束是 if 语句必须在您编写 BAR(5) 或 BAR(42) 的地方有效 或 BAR(999)。

这也很灵活，因为现在您可以使用运行时值(如 BAR(i))，尽管条件不再能在编译时折叠，在这种情况下您无论如何都没有理由期待这一点。

我在我的日志记录宏中采用了这种方法:当为 LOG_LEVEL_DEBUG 调用宏时，在发布版本中扩展为静态已知永远不会匹配的条件。

想法是让编译器进行优化。

您还需要考虑使用 a little macro expansion trick to avoid problems with subsequent else clauses .