2

给定一个基类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？

4

3 回答 3

5

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

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

于 2012-08-13T19:36:31.327 回答
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虚拟。这只是一种解决方法。

于 2012-08-13T19:35:46.373 回答
1

如果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()); }
};
于 2012-08-13T19:42:02.793 回答