c++ - 成员函数指针

Question

如果 C++ FAQ Lite 中的以下内容为真:“函数名衰减为指向函数的指针”(因为数组名衰减为指向其第一个元素的指针)；为什么我们必须包含 & 符号？

typedef  int (Fred::*FredMemFn)(char x, float y);
FredMemFn p = &Fred::f;

不仅仅是:

typedef  int (Fred::*FredMemFn)(char x, float y);
FredMemFn p = Fred::f;

在第二种情况下，Fred::f 是一个函数，可以衰减为指向该函数的指针。

我希望这个问题不要那么愚蠢。

Answer 1

原答案:

因为成员函数不是函数，成员函数指针也不是函数指针。因此，衰变规则不适用。

另外，C++ 中有函数类型，但没有成员函数类型。所以你可以在需要指向函数的地方使用函数，但你不能使用成员函数，因为没有这样的东西，只有指向成员函数的指针。您的示例中的 f 是一个函数。另一方面，Fred::f 是……嗯，没什么。

另外，我认为“函数的名称会衰减……”。不，名称不能做任何事情，函数类型的左值可以隐式转换为指向函数的指针，就重载决议而言，这是一种身份转换

编辑以澄清我的答案:

C++ 中的每个表达式都有一个类型和值。有时可以将一种类型的值转换为另一种类型的值。对这些转换进行排序，以便使一种转换优于另一种转换，主要用于函数重载解析。

其中一种转换称为左值到右值转换。当左值出现在需要右值的上下文中时，就会发生这种转换。通常这种转换什么都不做，例如:

int i = 4, j = 5;
i = j;

第二行的j是一个左值，但是这里需要一个右值，所以j被转换成一个右值。但这不是可观察到的转换，是吗？但是在某些情况下可以观察到左值到右值的转换。也就是说，n T 数组的左值可以转换为 T* 类型的右值，其值为数组第一个元素的地址 和 “带有签名 S 的函数”类型的左值 一个“带有签名 S 的指向函数的指针”类型的右值，其值为函数的地址

这意味着当我们将函数分配给指向函数的指针时，函数的左值会隐式转换为其地址。

void f() {}
void (*p) () = f; //f is converted to rvalue

f 是一个表达式并且有一个类型。 f 的类型是 void()

在 C++ 中没有像 member-function 这样的类型有指向成员函数的指针，但没有成员函数本身。我说的当然是非静态函数。静态函数的工作方式与普通函数相同，即不必编写&X::f，而可以编写X::f为什么？因为 X::f 具有类型函数并且发生了上述转换。但是，如果 f 是非静态的，那么 X::f 的类型是……什么？哦，是的，它没有类型，因此不是表达式，因此没有值，因此该值不能转换为任何值。

引自标准:5.3.1 第 3 条仅当使用显式 & 并且其操作数是未包含在括号中的限定 ID 时，才会形成指向成员的指针。 [注意:也就是说，表达式 &(qualified-id)，其中qualified-id 括在括号中，不形成“指向成员的指针”类型的表达式。限定id也没有，因为没有从非静态成员函数的限定id到类型“指向成员函数”的隐式转换，因为从函数类型的左值到类型“指向函数”(4.3 )。 &unqualified-id 也不是指向成员的指针，即使在unqualified-id 的类。 ]

希望这更清楚...