参数有几行的宏​​函数？

Question

在 C++ 中， 我需要定义一个宏。 该宏会将代码“块”作为参数。

我们可以安全地使用几行代码作为宏函数的参数吗？

我问自己是否：

1. 以下代码是否有效，被标准定义为有效，如“跨平台”中的？
2. 有没有更好的方法来做同样的事情（我不能在那里使用模板函数，因为我需要上下文）。

---

#define MY_MACRO( expr ) DOSOMETHING( (expr) ); DOANOTHERTHING( (expr) ); // etc...

int my_function() {
    int o = RandomNumber();
    MY_MACRO( 
        int k = AFunction();
        k++;
        AnotherFunction( k + o ); // here I need to keep the context of the call
    ); 
}

我们不能使用仿函数，因为我们需要访问调用的上下文。 我们不能使用 lambda (snif)，因为我们使用的是不提供它的旧编译器（而且我们无法更改它）。

Answer 1

16.3/9：

在预处理序列内 构成对 a 的调用的标记 类似函数的宏，换行符是 被认为是正常的空白 字符。

所以一般来说多行宏调用是可以的。当然，如果DOSOMETHING 和DOANOTHERTHING 没有为范围引入大括号，那么您的特定示例将重新定义k。

编辑：

我们不能使用函子，因为我们需要 访问上下文 称呼。我们不能使用 lambda (snif)，因为我们使用的是旧编译器

通常的方法是在仿函数中捕获您需要的任何变量，就像 lambda 一样。 lambda 唯一能做而仿函数不能做的是“捕获所有内容”而不必输入它，但是编写 lambda 的人可以看到他们使用的变量，所以这只是方便，如果他们可以将它们全部输入必须。在您的示例中：

struct MyFunctor {
    int o;
    MyFunctor(int o) : o(o) {}
    void operator()() const {  // probably not void in practice
        int k = AFunction();
        k++;
        AnotherFunction( k + o );
    }
};

template<typename F>
void DoThings(const F &f) {
    DOSOMETHING(f());
    DOANOTHERTHING(f());
}

int my_function() {
    int o = RandomNumber();
    DoBothThings(MyFunctor(o));
}

您还可以通过引用捕获变量（通常使用指针作为数据成员而不是引用，以便可以对仿函数进行复制分配）。

如果“上下文”是指例如宏参数和/或宏主体可能包含break 或goto，因此需要在调用者的词法范围内，那么你可以' t 使用仿函数或 lambda。惭愧 ;-)

Answer 2

使其工作的方法（至少对于 gcc 版本 4.8.1 (Ubuntu/Linaro 4.8.1-10ubuntu9)）是 使用大括号 { } 括起您的实际值 用于宏。

一个有用的例子：

#ifdef DEBUG
#define MYDEBUG(X) (X)
#else
#define MYDEBUG(X)
#endif

MYDEBUG({
  if (shit_happens) {
     cerr << "help!" << endl;
     ....
  }
});

Answer 3

我认为您需要使用额外的括号来使您的表达式看起来像一个不会被预处理器分解的单个参数，即更像这样：

#define MY_MACRO( (expr) ) DOSOMETHING( (expr) ); DOANOTHERTHING( (expr) ); // etc...

int my_function() {
    MY_MACRO( 
        (int k = AFunction();
        k++;
        AnotherFunction( k );)
    ); 
}

虽然我还没有真正尝试过。

Answer 4

在有多个参数的情况下，具有多行参数的宏也可以，它甚至允许在内部使用“逗号”，但我强烈反对使用“逗号”，因为如果它对机器来说不是模棱两可的，那对人类来说肯定是模棱两可的：

#include <iostream>
using namespace std;

#define MACRO2FUN( X, Y) x; y;
void function(int a, int b, int c){
    std::cout<<a<<" "<<b<<" "<<c<<std::endl;
}

int main() {
    MACRO2FUN(
      function(3,4,5), 
      function(6,7,8)
      )
      return 0;
}

Answer 5

在 C++ 中，您应该使用仿函数！ ;)

struct ninja
{
  void operator()() const
  {
    int k = AFunction();
    k++;
    AnotherFunction( k );    
  }
};

template <typename Functor>
void do_something(Functor const& f)
{
  f();
}

template <typename Functor>
void do_otherthing(Functor const& f)
{
  f();
}

int my_function()
{
  ninja foo;
  do_something(foo);
  do_otherthing(foo);
}

Answer 6

我看到的主要问题是expr 根本不是一个表达式。它甚至包含一个声明。显然，my_function 中定义的两个变量 k 会有问题。

如果您可以使用 C++0x（例如 VS2010、GCC4.6），那么您可以使用 lambda 来捕获上下文。并不是说您需要为这样一个简单的案例捕获上下文，也不需要模板，您的宏只需要一个std::function<void(void)>。