20

如果 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 是一个函数,可以衰减为指向该函数的指针。

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

4

1 回答 1

22

原答案:

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

此外,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 类的范围内也是如此。]

希望这更清楚...

于 2010-10-24T14:40:13.460 回答