通过函数指针静态调用虚函数

Question

请考虑以下代码。

#include <iostream>
#include <memory>

struct A {
  A() {}
  virtual void f() {
    std::cout << "A::f" << std::endl;
  }
private:
  A(const A&);
};

struct B : public A {
  virtual void f() {
    std::cout << "B::f" << std::endl;
    call(&A::f);
  }
private:
  void call(void (A::*aMethod)()) {
    // ...
    (static_cast<A&>(*this).*aMethod)();
    //(static_cast<A>(*this).*aMethod)();  -> not allowed to copy!
    // ...
  }
};

void main() {
  std::auto_ptr<B> b (new B);
  b->f();
}

此代码递归调用相同的B::f 方法，直到它耗尽堆栈，而我希望call 方法调用A::f。也就是说，它应该静态调用它，就像我简单地写下它通常会发生的那样：

struct B : public A {
  virtual void f() {
    std::cout << "B::f" << std::endl;
    // ...
    A::f();
    // ...
  }
};

我想要call 方法的原因是在“静态调用”之前和之后考虑一些代码，这些代码对于具有与f 相同签名的几种方法是通用的...

如何静态调用在运行时决定的虚函数？

Answer 1

这是意料之中的。对象表达式是对基类 A 的引用，因此当 A::f 是虚拟的时会触发虚函数机制（动态绑定）。

只有 :: 操作符可以抑制虚函数调用机制。

$10.3/12-“明确限定 范围运算符（5.1）抑制 虚调用机制。”

Answer 2

当您使用指针时，您的覆盖已解决，因此您在这里想要的东西不容易通过这种方式实现。您可以做的最好的事情是调用您的函数的包装器 - 无论是外部的东西，还是调用您的函数的非虚拟函数。如果您有 C++0x 功能，则可以使用 lambda，这是 IMO 最干净的解决方案。

您可能想重新考虑使用前/后功能的方式来解决您的问题：它们可以通过重载“->”运算符来实现。