c++ - 如何需要基类和派生类来实现虚函数？

Question

我正在序列化我的类层次结构，并且我想要求它们都实现序列化功能。

class Base
{
  virtual void serialize(File file)
  {
    file << _baseMember;
  }
  int _baseMember;
}

class Derived : public Base
{
  virtual void serialize(File file)
  {
    Base::serialize(file);
    file << _derivedMember;
  }
  int _derivedMember;
}

如果我总是记得在派生类中实现序列化函数，那么一切正常，但是这个代码不需要Derived::serialize()定义。

我的下一个想法是创建一个接口来要求serialize实现：

class Serializable
{
 virtual void serialize(File file) = 0;
}

class Base : public Serializable { ... }
class Derived : public Base : public Serializable { ... }

但这会产生编译器警告warning: direct base 'Serializable' inaccessible in 'Derived' due to ambiguity。这让我觉得我的设计中有些地方是错误的。

要求属于同一继承链的两个类实现特定的虚拟函数的正确方法是什么？

Answer 1

在我看来，第一个版本是正确的设计。从语义上讲，为什么当 Base 是 Derived 时不能序列化？即使 Derived 不提供自己的实现？它仍然“是”可序列化的。

一种解决方法可能是这样做：

class Base {
    virtual void serialize() {
        file << _baseMember;
        subSerialize();
    }
    virtual void subSerialize() = 0;
};

class Derived : public Base {
    virtual void subSerialize() {
        file << _derivedMember;
    }
};