如果 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 是一个函数,可以衰减为指向该函数的指针。
我希望这个问题不要那么愚蠢。
最佳答案
原答案:
因为成员函数不是函数,成员函数指针也不是函数指针。因此,衰变规则不适用。
另外,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 的类。 ]
希望这更清楚...
关于c++ - 成员函数指针,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4008648/