boost::序列化与可变成员答案

【问题标题】：boost::serialization with mutable membersboost::序列化与可变成员
【发布时间】：2010-05-18 00:29:11
【问题描述】：

使用 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;
    }

这处理了反序列化的情况，但是在序列化的情况下，缓存的值被杀掉，必须重新计算。

在这种情况下，最佳做法是什么？

【问题讨论】：

标签： c++ serialization boost mutable boost-serialization

【解决方案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，就可以安全地将其丢弃，如上所示。文档briefly mentions the need to cast for const members；这是相似的。

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

【讨论】：

【解决方案2】：

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

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

【讨论】：