Boost公交调度示例中char数组反序列化函数静态断言报错排查

我之前在使用Boost序列化库时也踩过这个坑，这个错误的核心原因其实很直接——你的函数参数设置有问题，导致反序列化无法修改目标对象。

错误的根本原因 #

你定义的frombuffer_schedule函数中，obj参数是**const bus_schedule&**，也就是常量引用。但Boost的二进制反序列化过程（ia >> obj）需要向对象内部写入数据，而常量对象不允许被修改。Boost序列化库会通过静态断言来检查这种不合法的操作，于是就抛出了static assertion failed: typex::value的错误。

第一步：移除const限定符 #

最直接的修复是把参数改成非const引用，让反序列化可以正常修改对象：

void frombuffer_schedule(char* buffer, bus_schedule& obj) {
    boost::iostreams::stream<boost::iostreams::array_source> is(buffer, 4096);
    boost::archive::binary_iarchive ia(is, boost::archive::archive_flags::no_header);
    ia >> obj;
}

额外需要验证的关键点 #

除了参数的const问题，还要确保以下两点没问题，否则可能还会遇到其他序列化错误：

• bus_schedule类必须正确实现序列化逻辑：类中需要包含Boost序列化所需的友元serialize函数，示例如下：

  class bus_schedule {
  private:
      // 必须声明这个友元，让Boost序列化库可以访问类的私有成员
      friend class boost::serialization::access;
      
      template<class Archive>
      void serialize(Archive& ar, const unsigned int version) {
          // 在这里列出所有需要序列化/反序列化的成员变量
          ar & bus_id;
          ar & departure_time;
          ar & route_number;
          // ...其他成员
      }
  public:
      // 类的公共接口和成员变量
      int bus_id;
      std::string departure_time;
      int route_number;
  };
  

• 序列化与反序列化的格式要匹配：你在反序列化时使用了no_header标志，那用来生成buffer的序列化操作（binary_oarchive）也必须加上同样的标志，否则会因为头部信息不匹配导致反序列化失败。

内容的提问来源于stack exchange，提问作者chans