C++同名的虚拟覆盖函数

Question

我有类似的东西（简化）

class A
{
  public:
    virtual void Function () = 0;
};

class B
{
  public:
    virtual void Function () = 0;
};

class Impl : public A , public B
{
  public:
        ????
};

如何实现 A 的 Function () 和 B 的 Function() ？ Visual C++ 允许您仅内联定义特定函数（即不在 cpp 文件中）， 但我认为这是一个扩展。 GCC对此有所抱怨。 是否有标准的 C++ 方法来告诉编译器我要覆盖哪个函数？

(Visual C++ 2008)

class Impl : public A , public B
{
  public:
     void A::Function () {  cout << "A::Function" << endl; }
     void B::Function () {  cout << "B::Function" << endl; }
};

谢谢！

Answer 1

如果 A 和 B 是接口，那么我将使用虚拟派生来“连接”它们（使它们重叠）。如果您需要通过指向 A 或 B 的指针调用 Function 的不同实现，那么我强烈建议您选择其他设计。否则会受伤。

Impl“派生自”A 和 B 表示 Impl“是”A和B。我想你不是这个意思。

Impl“实现接口”A 和 B 表示 Impl“行为类似于”A和B。那么相同的接口应该意味着相同的行为。

在这两种情况下，根据所使用的指针类型而具有不同的行为将是“精神分裂的”，并且肯定是要避免的情况。

Answer 2

您不能在那里使用限定名称。如果您编写 void Function() { ... }，您将覆盖两个函数。 Herb Sutter 展示了如何解决该问题。

另一种选择是重命名这些函数，因为显然它们做了不同的事情（否则我看不到以相同行为覆盖两者的问题）。

Answer 3

我可以建议另一种方法来解决这个问题。您可以添加包装器Typed，它通过添加虚拟参数来更改Function 签名。因此，您可以区分实现中的方法。

class A {
public:
  virtual void Function() = 0;
  virtual ~A() = default;
};

class B {
public:
  virtual void Function() = 0;
  virtual ~B() = default;
};

template<typename T>
class Typed : public T {
public:
  virtual void Function(T* dummy) = 0;
  void Function() override {
    Function(nullptr);
  }
};

class Impl : public Typed<A>, public Typed<B> {
public:
  void Function(A* dummy) override {
    std::cerr << "implements A::Function()" << std::endl;
  }
  void Function(B* dummy) override {
    std::cerr << "implements B::Function()" << std::endl;
  }
};

这种解决方案的好处是所有实现都放在一个类中。

Answer 4

作为解决方法，请尝试

struct Impl_A : A
{ 
     void Function () {  cout << "A::Function" << endl; } 
}; 


struct Impl_B : B
{
    void Function () { cout << "B::function" << endl; }
};

struct Impl : Impl_A, Impl_B {};