c++ - 一个简单的 C++ 委托(delegate)实现，但它是 'cheats' 标准。意见？

Question

我在这里发布了实现和简短的测试/演示: http://ideone.com/CNJDi

我提出了一种 C++ 委托(delegate)方法，它与我见过的其他方法截然不同。我特别想解决的问题是有一个统一的函数指针解决方案，其中给定的实例可以是 a) 成员 fn ptr + 对象 ptr 或 b) 非成员 fn ptr。一旦你初始化委托(delegate)并将它交给其他代码，他就可以动态地调用它，甚至不知道它来自什么类型的对象(通常成员函数指针只能通过静态引用它来自的类来调用。Boo !)。这在理论上很容易实现，但是 C++ 使得实现这样的事情变得格外困难。所以我扭曲了语言以使其工作。

我的实现的主要缺点是它在技术上不“符合标准”，因为成员函数指针的强制转换/调用无效(至少，我 95% 确定标准在这里没有保护我......) .但它确实适用于我测试过的编译器(包括 Visual Studio 2012)。我还认为很明显，如果成员函数由编译器以直接的方式实现，它会“倾向于工作”。

我查看了其他一些实现，但对我来说，它们使用起来似乎非常复杂和笨拙。有些甚至依赖于构建工具来生成 stub 函数来调用成员函数，而我的仅依赖于宏和模板。我认为缺少适当的委托(delegate)是 C++ 的一个主要缺点，但我发现我“不太讨厌这种解决方法”。现在我需要决定我是否真的想使用它，或者我是否只是因为想到它才喜欢它。

这是你如何使用它:

一个。声明委托(delegate)类型

typedef DELEGATE(float, ARGS(int, int)) Delegate1;

这个宏会自动声明静态和成员函数指针类型，因此您不必输入两次签名。它扩展为 Delegate<float (*)(int, int), float (Null::*)(int, int)> .编译器根据委托(delegate)实例的初始化方式来使用其中合适的一个，以便稍后执行调用。编译器使用它来静态验证编码器调用提供的参数。 ARGS 宏是与返回类型分开的纯语法糖:DELEGATE(float, int, int) 是相同的。

B.初始化:

Delegate1 d = Delegate1(test1); // static function
Delegate1 e = Delegate1((Delegate1::MemberType)&TestClass::test2, &obj); // member

这些静态函数和成员函数现在存储为同一类型! obj 必须是指向 TestClass 实例的有效指针，并且 TestClass::test2 最好返回一个 float 并将 (int, int) 作为参数，如上所述。这是主要的使用陷阱，编译器无法捕获此处发生的错误。

C.调用:INVOKE(d, ARGS(5, 6)) (在这个例子中返回一个 float )尽管看起来如此，但这个参数列表实际上与任何 C++ 函数调用一样类型安全!它使用上面提供的上述 float (*)(int, int) 签名来验证参数!它可以支持任意数量的参数，它只需要匹配签名。如果从编译器添加太多/太少的参数、使用错误的参数类型等，您会得到友好的编译器错误。同样，ARGS 是句法糖，INVOKE(d, 5, 6)是一样的。

但如果在不认可的编译器中使用 INVOKE，它可能会使程序崩溃:(

我有几个问题:

1. 谁能找到我发布的实现示例不能正常工作的好的编译器？
2. 我希望这要么完全有效，要么编译器/程序在第一次使用时就出问题了。但是否有可能它似乎可以工作一段时间然后随机崩溃？
3. 您认为这看起来容易/干净吗？还是您发现其他实现更简单？哪个？你能想出一个好方法来改进我的语法/可用性吗？
4. 你会使用它吗？还是我应该硬着头皮使用更安全但更复杂的替代解决方案？

Answer 1

为什么不直接使用 C++11/Boost 中可用的 std::bind？成员函数、函数指针、lambda 函数、仿函数和任何其他可调用对象都可以与它一起使用。我个人更愿意不惜一切代价避免使用预处理器和宏；它会使调试变得一团糟。 Scott Meyers(Effective C++、More Effective C++ 和 Effective STL 的作者)也不鼓励使用预处理器。

绑定(bind)引用:http://en.cppreference.com/w/cpp/utility/functional/bind

我也会考虑使用 std::function 来封装各种类型，但 bind 几乎可以干净利落地处理所有事情。 http://en.cppreference.com/w/cpp/utility/functional/function