抽象类的多重继承导致定义不明确

Question

我正面临我根导致此代码 sn-p 的继承层次结构错误。 l() 的定义是在模板类 Y 中定义的，我不明白为什么编译器会发现它模棱两可。Class Z ptr_ 指向具有 l() 定义的 Y 类对象，这不是应该的吗工作吗？

不幸的是，基类都是静态库的一部分，C 类是我唯一可以控制的东西。我不确定我能在这里做什么。

Error:
Line 84: Char 13: error: non-static member 'l' found in multiple base-class subobjects of type 'D':
    class C -> class A -> class D
    class C -> class B -> class D
      ptr_->l ()

Line 96: Char 15: note: in instantiation of member function 'Z<C>::~Z' requested here
  Z < C > t = new Y < C > ();
              ^

Line 31: Char 16: note: member found by ambiguous name lookup
  virtual void l () = 0;

#include <iostream>

using namespace std;

template <class T> 
class Y : public T {
public:
  void l() {}
  void p() {}
};

class D {
public:
  virtual void l() = 0;
  virtual void p() = 0;
};

class A : public D {
public:
  virtual void f(int a) = 0;
  virtual void d() = 0;
};

class B : public D {
public:
  virtual void j(string x) = 0;
  virtual void d() = 0;
};

class C : public A, public B {
public:
  void f(int a) override {}

  void j(string x) override {}

  void d() override {}
};

template <class T> 
class Z {
public:
  Z(T *ptr) : ptr_(ptr) {}

  ~Z() {
    if (ptr_)
      ptr_->l();
  }

protected:
  T *ptr_;
};

int main() {

  Z<C> t = new Y<C>();

  return 0;
}

Answer 1

您的问题是您的继承层次结构如下所示：

  C
 / \
A   B
|   |
D   D   <- Defines l()

所以当你通过C 类型调用l() 时，编译器不知道你是想调用C::A::D::l() 还是C::B::D::l()。

解决此问题的一种方法是在 C 类中指定您实际要使用的分支。

编译器在您的示例中抱怨因为l() 在D 中是抽象的，但是如果在您的“真实”代码中不是这种情况，那么这可以解决歧义：

class C : public A, public B {
public:
    ...
    virtual void l() override { A::l(); } // Or B::l() if you prefer, of course
};

但如果l() 在D 中是抽象的，并且在A 或B 中没有实现，那么您可以在C 中执行此操作：

class C : public A, public B {
public:
    ...
    virtual void l() = 0;
};