覆盖模糊的继承

Question

我正在努力提供一组需要结构感知的序列化方法。因此，我构建了一个类模板，为从中继承的所有类提供这些方法。

这就是我现在所拥有的：

template<typename T>
class serializable
{
    protected:
        serializable() = default;
    public:
        size_t size_of() { return sizeof(T); }
        void   dump(void* data) { std::memcpy(data, this, serializable<T>::size_of()); }
        void   load(void* data) { std::memcpy(this, data, serializable<T>::size_of()); }
        virtual void serialize()
        {
            std::cout << "Default serialize : size " << serializable<T>::size_of() << std::endl;
        }
};

struct point : public serializable<point>
{
    float p[3];
};
struct particle : public point, public serializable<particle>
{
    float v[3];
};

int main()
{
    particle p;
    p.serialize();

    return 0;
}

问题是，在调用p.serialize时，编译器会在serializable<point>::serialize()和serializable<particle>::serialize()之间发出模糊的重载错误。

我怎么解决这个问题？有没有办法从serializable<point>覆盖继承只考虑serializable<particle>？我应该考虑另一种方法吗？

Answer 1

你可以带来你想要的一个serialize：

struct particle : public point, public serializable<particle>
{
    using serializable<particle>::serialize;
    float v[3];
};

但是你可能只想使用构图：

struct particle : public serializable<particle>
{
    point p;
    float v[3];
};

Answer 2

我怎么解决这个问题？

覆盖serialize()中的particle。无论如何，您还需要序列化点数据和粒子自己的数据。来自基类的serialize的默认实现将无法为particle做正确的事情。

出于同样的原因，你还需要在serialize()中覆盖point。

此外，我认为使point成为particle的基类似乎并不正确。 particle不是point。它有一个位置和速度。聚合似乎对我来说是更好的方法。

struct point : public serializable<point>
{
   void serialize()
   {
      // Serialize p
      // ...
   }

   float p[3];
};

struct particle : public serializable<particle>
{
   void serialize()
   {
      // Serialize location.
      p.serialize();

      // Serialize velocity.
      // ...
   }

   point p; 
   float v[3];
};

serializable的问题

根据您对serializable的示例用法来判断：

    void   dump(void* data) { std::memcpy(data, this, serializable<T>::size_of()); }
    void   load(void* data) { std::memcpy(this, data, serializable<T>::size_of()); }

将导致未定义的行为。派生类不是TriviallyCopyable。在这些类型上使用std::memcpy会立即导致问题。

查看a question I had posted just last week的答案。