Question

给定基类A，并定义A::get和A::add个函数。

class A { 
public:
  int get() { return 3; }
  int add() {
    return get() + get();
  }
};

请注意A::add来电A::get。派生类B是否可以调用A::add但使用自己的B::get函数？类似的东西：

class B : public A {
  int get() { return 7; }
};

#include <iostream>

int main() {
  A foo;
  std::cout << foo.add() << std::endl;

  B bar;
  std::cout << bar.add() << std::endl;
  return 0;
}

在第二种情况下预期输出为14而非6。如果能控制A，我可以使::get成为虚函数，每个派生类都可以根据需要实现它。但是，我们假设A是不可变的 - 我该如何调用正确的::get？

Answer 1

不，这是不可能的：假设A是单独编译的，并作为预编译库提供给您，以了解原因。

由于A::get不是虚拟的，因此编译器直接将A::get的呼叫插入到A::add的输出中，而没有通过vtable的任何间接。此外，如果编译器选择这样做，编译器甚至可以内联调用，“烘焙”3返回其输出。

Answer 2

像这样：

class B : public A {
  int get() { return 7; }
  int add() {
    return get() + get();
  }
};

那是因为当你将A::add()定义为

时

int add() {
  return get() + get();
}

您告诉编译器使用A::get()，因为它不是virtual，并且呼叫是静态解决的。

重要提示：如果你需要这样做，你可能做错了什么。最有可能的是，A的作者希望它以某种方式表现，并且不希望get或add成为虚拟。这只是一种解决方法。

Answer 3

如果A是不可变的，您可以创建一个A的代理，用于定义您需要的虚拟接口。

class A_Proxy : public A {
public:
  virtual ~A_Proxy () {}
  virtual int get() { return A::get(); }
  int add() { return get() + get(); }
};

现在，您可以将B更改为继承自A_Proxy，然后获取所需的行为。

编辑：根据您对Luchian的评论，我认为模板方法更适合您。您可以修改A，以便add例程从模板方法参数中检索值。您创建了一个新的add，它使用与原始行为匹配的模板参数调用模板化版本。

class A {
public:
  int get() { return 3; }

  template <typename GET>
  int add(const GET &g) { return g(this) + g(this); }

  struct DefaultGet {
    int operator () (A *p) const { return p->get(); }
  };

  int add() { return add(DefaultGet()); }
};

然后，B调用模板add例程传递它想要的get参数。

class B : public A {
public:
  struct BGet {
    int operator () (A *) const { return 7; }
  };
  int add() { return A::add(BGet()); }
};

在不使用虚函数的情况下用C ++覆盖对基类的调用？

3 个答案: