c++ - 为什么不能将范围解析与成员指针取消引用一起使用？

考虑一个简单的例子:

struct FooParent {
   virtual void bar() { }
};

struct Foo: FooParent {
   void bar() { }
};

int main() {
   Foo foo;
   void (Foo::*foo_member)() = &FooParent::bar;
   //(foo.*FooParent::foo_member)();
   foo.FooParent::bar();
}

如您所见，当调用bar成员函数时，可以在foo对象上使用范围解析，而没有办法显式声明成员函数指针的范围。我接受使用->*时应禁止语法，因为有时会以意外的方式重载运算符，但是我无法理解使用.*取消引用时阻止显式范围解析的原因。

我试图为指向基类的虚拟函数的成员指针禁用虚拟调度。

最佳答案

在本地块作用域内，您声明的变量名称为foo_member。它不是名称Foo::foo_member，即Foo类没有成员foo_member。相比之下，名称bar属于Foo类的范围，也属于FooParent类的范围。

因此，作用域解析机制按预期工作:解析作用域。

[更新:]没有机制可以通过成员函数指针禁用虚拟调度。您可以像这样调用基础子对象的成员函数:

 void (FooParent::*p)() = &FooParent::bar;
 (static_cast<FooParent&>(foo).*p)();

但是通话仍然最终被虚拟发送。成员函数的虚拟性被烘焙到成员函数指针值中。您可以做的下一件事是使用lambda:

auto q = [](FooParent & f) { f.FooParent::bar(); };
q(foo);