C++ typedef 成员函数签名语法

Question

我想声明成员函数签名的类型定义。全局函数 typedef 看起来像这样：

typedef int (function_signature)(int, int);
typedef int (*function_pointer) (int, int);

但我不能对成员函数做同样的事情：

typedef int (foo::memberf_signature)(int, int);   // memberf_pointer is not a member of foo
typedef int (foo::*memberf_pointer)(int, int);

这对我来说听起来合乎逻辑，因为 foo:: 是访问类中成员的语法 <代码>foo。

我怎样才能只输入签名？

Answer 1

对于有关尴尬的函数指针语法的问题，我个人使用备忘单： 函数指针教程 (，感谢 Vector 指出）。

然而，正如您所经历的，成员函数的签名与常规函数的签名有点不同。

您可能知道，成员函数有一个隐藏参数 this，需要指定其类型。

// C++11 and above.
using Member = int (Foo::*)(int, int);

// C++03 and below.
typedef int (Foo::*Member)(int, int);

确实允许您指定传递给函数的第一个元素将是 Foo* （因此您的方法实际上需要 3 个参数，当您想到它时，而不仅仅是 2 个。

但是还有另一个原因，强制您指定类型。

函数指针可能引用虚拟函数，在这种情况下，事情会变得非常复杂，因此，内存中表示的大小会发生变化。事实上，在 Visual Studio 上，函数指针的大小可能在常规指针大小的 1 到 4 倍之间变化，这取决于函数是否是虚拟的，

因此，函数所引用 的类。是签名的一部分，并且没有解决方法。

Answer 2

您可以利用模板别名的“类型定义”特性在现代 C++（第 11 后）中分解出目标类。您需要的内容如下所示：

template<typename T>
using memberf_pointer = int (T::*)(int, int); 

然而，在声明时，使用此语法的指向成员函数的指针需要指定目标类：

// D is a member function taking (int, int) and returning int
memberf_pointer<foo> mp = &foo::D; 

Answer 3

它不适用于您当前的语法的原因是运算符优先级指示您引用的是名为 foo::memberf_signature 的函数，而不是任何类型。

我不确定你是否可以这样做，但我无法想出任何括号组合来诱导代码使用 g++ 4.2 进行编译。

Answer 4

它对我有用：

#include <iostream>

class foo
  {
public:
  int g (int x, int y) { return x + y ; }
  } ;

typedef int (foo::*memberf_pointer)(int, int);

int main()
  {
  foo f ;
  memberf_pointer mp = &foo::g ;
  std::cout << (f.*mp) (5, 8) << std::endl ;
  }

Answer 5

好吧，基本上它不能工作（至少我不知道如何使用 g++）；
使用 borland c++ 编译器会有 __closure 关键字。

它无法编译的原因是，函数指针的大小（在 x86 机器上）始终占用 <<32 位>>；但如果你想指向一个类（接口）签名，则 sizeof 必须为 64 位：this 指针为 32 位（因为类接口仅在内存中一次），实际函数为 32 位，

但 __closure 关键字bcb 语言“hack”未标准化...