如果条件为假，则无操作的函数式宏

Question

假设我在代码中的多个位置有以下构造，并希望使我的代码更清晰：

#if HAVE_LIBFOOBAR
    foobar_func(data);
#endif

我正在考虑围绕它编写一个函数样式的宏，它可以处理条件，使代码中的出现看起来像一个常规的函数调用：

    foobar_func_if_available(data)

如果条件为真，这将被替换为对实际函数的调用，否则它将是空操作。

因此，类似于：

#if HAVE_LIBFOOBAR
#define foobar_func_if_available(x) foobar_func(x)
#else
#define foobar_func_if_available(x) {}
#endif

问题：

• {} 是否作为空操作工作？它不会产生意外的影响（例如在不带括号的if 语句中使用）吗？如果没有，我会用什么？
• 我是否必须将两个独立的 #defines 包裹在条件句中，或者是否有办法反过来（一个 #define 带有函数样式宏中的条件句）？

编辑：有人建议这是 another question 的副本，但我认为不是：另一个问题是“这个构造解决了什么问题”，我的是“什么构造将解决我的问题”。确实，另一个问题有可能解决我的问题，但它并没有涵盖我问题的所有方面。

Answer 1

像((int)0) 或((void)0) 这样的宏可能是最灵活/最安全的无操作宏。它们很灵活，因为您可以使用它们 在表达式中（不像do{}while(0)），它们不会像{} 或; 那样破坏if-else。

{}（或;）宏如何破坏if-else的示例：

#define foo() {}
if(1) foo(); else bar(); //syntax error because if(1) {}; else bar(); was pasted

如果宏应该模拟整数返回函数，最好在普通整数常量上使用强制转换的整数文字，因为整数常量（尤其是零）可用于更多上下文（案例标签、位域大小、数组大小、null指针常量）而不是非常量整数表达式。

你不需要有两个宏：

#if HAVE_LIBFOOBAR
    #define foobar_func_if_available(x) foobar_func(x)
#else
    #define foobar_func_if_available(x) ((void)0) /*if foobar_func returns void*/
#endif

你可以把条件放在宏里面：

#define foobar_func_if_available(x) \
    (HAVE_LIBFOOBAR?foobar_func(x):((void)0))

即使是一个非常愚蠢的编译器也应该能够优化常量条件输出。

但是，如果您依赖一个空的HAVE_LIBFOOBAR 在#if 中评估为0，那么上面的方法就行不通了——HAVE_LIBFOOBAR 需要是一个整数。

( 你可以这样做

#if !HAVE_LIBFOOBAR
    #undef HAVE_LIBFOOBAR
    #define HAVE_LIBFOOBAR 0
#endif
#define foobar_func_if_available(x) \
        (HAVE_LIBFOOBAR?foobar_func(x):((void)0))

将空的HAVE_LIBFOOBAR 规范化为0，但除非您将重用现在确定的HAVE_LIBFOOBAR 的定义，否则这似乎比原来的两个foobar_func_if_available 宏更复杂。 )

Answer 2

你不能用一个#define来实现它。

您不需要{} 作为空操作，您可以通过多种方式定义一个空表达式：

#define foobar_func_if_available(x)
#define foobar_func_if_available(x) ;
#define foobar_func_if_available(x) do{}while(0)

在某些情况下，其中任何一个都可能导致语法问题，但对于 void 函数，两者都不太可能导致问题 - 但是，对于非 void 函数，解决方案会失效。

完全避免类似函数的宏的更好解决方案是有条件地定义函数体：

void foobar_func( int n )
{
    #if defined HAVE_LIBFOOBAR
       // do something
    #else
       // do nothing
    #endif
}

空函数是否导致无代码取决于编译器和应用的优化级别，但重要的是，代码将在所有对foobar_func() 的调用有效的情况下在语法上工作。担心它是否是无操作可能会让小事大汗淋漓。

Answer 3

创建一个虚拟函数并将#define 指向它（有条件地）：

---

#if HAVE_LIBFOOBAR
  #define foobar_func_if_available(x) foobar_func(x)
#else
  int dummy(int ignored)
  {
  return 0;
  }
  #define foobar_func_if_available(x) dummy(x)
#endif

---

或者只是：

#define foobar_func_if_available(x) 0