使用预处理器从 f(list) 中删除参数列表

Question

在我看来，我看到在 boost 库中做了一些奇怪的事情，而它最终正是我现在正在尝试做的事情。但找不到它......

我想创建一个带有签名并将其转换为函数指针的宏：

void f(int,int) {}

...
void (*x)(int,int) = WHAT( (f(int,int)) );

x(2,4); // calls f()

我特别需要它与成员函数指针一起使用，以便 WHAT 需要两个参数：

WHAT(ClassType, (f(int,int)); // results in static_cast<void (ClassType::*)(int,int)>(&ClassType::f)

这并不是绝对必要的解决我的问题，但这会让事情变得更好。

---

这个问题本身与函数指针无关。需要做的是使用预处理器将“f(int,int)”转换为两个不同的部分：

'f' '(int,int)'

---

为什么：

我已经解决了这里提出的问题： 实用地生成 Qt Q_OBJECT 类

我已经开始撰写一系列文章来解释如何做到这一点： http://crazyeddiecpp。 blogspot.com/2011/01/quest-for-sane-signals-in-qt-step-1.html http://crazyeddiecpp。 blogspot.com/2011/01/quest-for-sane-signals-in-qt-step-2.html

签名必须根据用户尝试的“信号”进行评估并与其完全匹配连接. Qt 用户习惯于将其表达为 SIGNAL(fun(param,param))，因此类似 connect_static(SIGINFO(object,fun(param,param)), [](int, int){}) 不会感觉太奇怪。

为了构建签名，我需要能够将其从提供的参数中提取出来。有足够的信息来获取成员函数地址（使用 C++0x 的 decltype）并获取签名以生成适当的包装器，但我不知道如何将其取出。我能想到的最接近的是 SIGINFO(object, fun, (param,param)) ，这可能已经足够好了，但我想在考虑不可能获得确切的语法之前我应该​​先在这里问一下我更愿意。

Answer 1

不幸的是，使用标准预处理器你想要做什么是不可能的。有几个原因：

• 不可能使用自定义字符分割传递给宏的参数。它们必须以逗号分隔。否则，这可以立即解决您的问题。
• 您不能使用预处理器来定义非标识符的内容。否则，您可以使用双重扩展，其中 ( 和 ) 定义为 , 并对其进行拆分参数，就像它作为 f 传递一样, int, int,，然后将其作为可变参数处理。
• 不幸的是，C++ 中的函数指针定义不允许您推断出定义类型的名称。

更进一步，即使您设法创建函数指针，代码也不适用于方法，因为为了调用方法，您需要有两个指针 - 指向方法的指针和指向类实例的指针。这意味着你必须对这些东西进行一些包装。

这就是为什么 QT 使用自己的工具（如 moc）来生成粘合代码。

您在 Boost 中看到的最接近的东西可能是 Signals、Bind 和 Lambda 库。具有讽刺意味的是，这些库比您想要实现的功能强大得多，但同时它们不允许您按照您想要的方式实现它。例如，即使您可以使用所需的语法执行所需的操作，但如果信号具有不同的签名，您将无法将插槽“连接”到“信号”。同时，我上面提到的 Boost 库完全允许这样做。例如，如果您的“slot”需要的参数多于“signal”提供的参数，则可以在调用“slot”时绑定要传递的其他对象。如果“slot”不需要额外的参数，这些库也可以抑制它们。

我想说，从 C++ 的角度来看，目前最好的方法是使用 Boost Signal 方法在 GUI 库中实现事件处理。 QT 出于多种原因不使用它。首先，它始于 90 年代，当时 C++ 还没有那么奇特。另外，他们必须解析您的代码才能在图形设计器中使用“槽”和“信号”。

在我看来，不是使用宏，甚至更糟糕——在 C++ 之上使用非标准工具来生成代码，并使用以下内容：

void (*x)(int,int) = WHAT( (f(int,int)) );

这样做会更好：

void f (int x, int y, int z);
boost::function<void (int, int)> x = boost::bind (&f, _1, _2, 3);
x (1, 2);

上面对函数和方法都适用。