Skip to main content
 首页 » 编程设计

c++之成员函数指针

2024年05月29日16haluo1

如果 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++ 中没有这样的类型:成员函数 有指向成员函数的指针,但没有成员函数本身。我当然是在谈论非静态函数。静态函数的工作方式与普通函数相同,即不必写&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 的类。 ]

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