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++ 中没有这样的类型:成员函数 有指向成员函数的指针，但没有成员函数本身。我当然是在谈论非静态函数。静态函数的工作方式与普通函数相同，即不必写&X::f，而是可以写X::f 为什么？因为 X::f 有一个类型函数并且发生了上述转换。但是，如果 f 是非静态的，则 X::f 的类型是...什么？哦，是的，它没有类型，因此不是表达式，因此没有值，因此该值无法转换为任何内容。

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

希望这更清楚......