原答案:
因为成员函数不是函数,成员函数指针也不是函数指针。因此,衰减规则不适用。
此外,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++ 中没有像 a 这样的类型。member-function
有指向成员函数的指针,但没有成员函数本身。我说的当然是非静态函数。静态函数的工作方式和普通函数一样,就是不用写&X::f
,可以写X::f
Why?因为 X::f 具有类型函数并且发生了上述转换。但是,如果 f 是非静态的,那么 X::f 的类型是……什么?哦,是的,它没有类型,因此不是表达式,因此没有值,因此该值不能转换为任何值。
引用标准:5.3.1 第 3 条指向成员的指针仅在使用显式 & 并且其操作数是未包含在括号中的限定 ID 时才形成。[注意:也就是说,表达式 &(qualified-id),其中qualified-id 括在括号中,不形成“指向成员的指针”类型的表达式。限定id也没有,因为没有从非静态成员函数的限定id到类型“指向成员函数”的隐式转换,因为从函数类型的左值到类型“指向函数”(4.3 )。&unqualified-id 也不是指向成员的指针,即使在 unqualified-id 类的范围内也是如此。]
希望这更清楚...