c++ - 使用预处理器从 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''(整数，整数)'

---

为什么:

我已经解决了这里提出的问题:Generating Qt Q_OBJECT classes pragmatically

我已经开始撰写一系列文章来解释如何做到这一点: 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 的库完全允许这样做。例如，如果您的“插槽”需要的参数比“信号”提供的参数多，您可以绑定(bind)其他对象以在调用“插槽”时传递。如果“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);

以上内容适用于函数和方法。