c++ - 重载虚运算符 -> ()

Question

这只是一个实验代码。

struct B
{
  virtual B* operator -> () { return this; }
  void foo () {} // edit: intentionally NOT virtual
};

struct D : B
{
  virtual D* operator -> () { return this; }
  void foo () {}
};

int main ()
{
  B &pB = *new D;
  pB->foo();  // calls B::foo() !
}

我知道 operator 必须使用对象或引用来调用；因此，在上述情况下，引用 pB 是否仍然坚决指向 B 的对象？虽然不实用，但出于好奇，有没有办法通过 pB 调用 D::operator -> ？

Answer 1

我认为它是调用D::operator->，但返回值被视为B*，所以B::foo() 正在被调用。

这是协变返回类型行为方式的产物。