boost::使用可变成员进行序列化

Question

使用 boost::serialization，序列化在可变成员中包含缓存的派生值的对象的“最佳”方法是什么？

class Example
{
public:
    Example(float n) : 
        num(n),
        sqrt_num(-1.0)
    {}

    // compute and cache sqrt on first read
    float get_sqrt() const
    { 
        if(sqrt_num < 0) 
            sqrt_num = sqrt(num);
        return sqrt_num;
    }

    template <class Archive> 
    void serialize(Archive& ar, unsigned int version)
    { ... }
private:
    float num;
    mutable float sqrt_num;
};

出于维护原因，我想避免将 serialize() 拆分为单独的 save() 和 load() 方法。

序列化的一种次优实现：

    template <class Archive> 
    void serialize(Archive& ar, unsigned int version)
    {
        ar & num;
        sqrt_num = -1.0;
    }

这可以处理反序列化情况，但在序列化情况下，缓存的值将被终止并且必须重新计算。

在这种情况下，最佳实践是什么？

Answer 1

拆分保存和加载方法并不意味着您必须维护序列化代码的两个副本。您可以将它们分开，然后使用通用函数将它们重新连接起来。

private:
  friend class boost::serialization::access;

  BOOST_SERIALIZATION_SPLIT_MEMBER()

  template <class Archive>
  void save(Archive& ar, const unsigned int version) const {
      const_cast<Example*>(this)->common_serialize(ar, version);
  }

  template <class Archive>
  void load(Archive& ar, const unsigned int version) {
      common_serialize(ar, version);
      sqrt_num = -1;
  }

  template <class Archive>
  void common_serialize(Archive& ar, const unsigned int version) {
      ar & num;
  }

您可能注意到了 const_cast。这是对这个想法的一个不幸的警告。虽然 serialize 成员函数对于保存操作来说是非常量的，但 save 成员函数需要是 const。不过，只要您要序列化的对象最初没有声明为 const，就可以安全地将其丢弃，如上所示。文档 简要提到需要强制转换 const成员；这很相似。

通过上述更改，您的代码将为 ex1 和 ex2 正确打印“2”，并且您只需维护一份序列化代码副本。 load 代码仅包含特定于重新初始化对象内部缓存的代码； save 函数不会触及缓存。

Answer 2

您可以检查 Archive::is_loading 字段，如果为 true，则加载缓存的值。

template <class Archive> 
void serialize(Archive& ar, unsigned int version)
{
    ar & num;
    if(Archive::is_loading::value == true)
        sqrt_num = -1.0;
}