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()中的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的答案。

覆盖模棱两可的遗产

1 个答案: