使用非虚拟的虚拟继承函数？

Question

我在尝试实现游戏中某些类的序列化功能时遇到了麻烦。我将一些数据存储在原始文本文件中，并且希望能够保存和加载它。 然而，这细节无关紧要。问题是我试图使保存文件感兴趣的每个对象能够序列化自身。为此，我定义了一个接口 ISerialized，其中包含纯虚拟的操作符<< 声明。和运算符>>。

类层次结构看起来像这样。

              -> GameObject -> Character -> Player ...
ISerializable               -> Item -> Container ...
              -> Room ...

这意味着序列化不同类的对象有很多可能的情况。例如，容器应该调用operator<<在所有包含的物品上。

现在，由于运算符>>是虚拟的，我想如果我想序列化一些实现 ISerialized 中定义的功能的东西，我可以做类似的事情

ostream & Player::operator<<(ostream & os){
    Character::operator<<(os);
    os << player_specific_property 1 << " " 
       << player_specific_property 2 << "...";
    return os;
}

，

ostream & Character::operator<<(ostream & os){
    GameObject::operator<<(os);
    os << character_specific_property 1 << " " 
       << character_specific_property 2 << "...";
    return os;
}

但我很快了解到这第一次尝试是非法的。我在这里要问的是如何解决这个问题？

我不想为每个类手动实现一个功能。我想我正在寻找类似于 Java 的 super 功能的东西。

任何帮助表示赞赏。

-- 编辑评论 ------------

好吧，上次我写问题的时候很着急。现在的代码更像是我尝试编译它时的代码。我解决了这个问题，我遇到的问题与提出的问题无关。我很惭愧地说这是由于代码大量重构后的错误引起的，而且该运算符并未在每个基类中实现。

不过非常感谢您的回复！

Answer 1

问题不在于您尝试非虚拟地调用虚拟函数。问题出在这一行：os = Character::operator<<(os);。这是一个赋值，但 std::ostream 没有 operator=。

无论如何，你不需要任务。返回的流与您传入的流相同。返回它的唯一原因是您可以链接它们。

因此解决方法是将代码更改为

ostream & Player::operator<<(ostream & os){
    Character::operator<<(os);
    os << player_specific_property 1 << " " 
       << player_specific_property 2 << "...";
    return os;
}

Answer 2

这不是重载运算符 << 的方式。对于 ostream 作品。左边的操作符是一个ostream（因此你必须将它重载为一个自由函数），右边的操作符是你的对象（这就是虚拟机制不容易工作的原因。

我想你可以尝试：

class Base
{
    //...
    virtual std::ostream& output(std::ostream&) const;
};

std::ostream& operator<< (std::ostream& os, const Base& obj)
{
    return obj.output(os);
}

现在是一个派生的类自然可能会调用其父级的输出方法：

class Derived: public Base
    //...
    virtual std::ostream& output(std::ostream& os) const
    {
        Base::output(os);
        return os << my_specific_data;
    }
};