Template serialization - shared_ptr＜class T＞
下面包含的所有代码片段都在 boost::serialization 命名空间内定义。
shared_ptr < T > 在 shared_ptr.hpp 中定义。
shared_ptr 的一般类轮廓如下：
- shared_ptr 包括以下成员：
- T *px;
- shared_count pn;，其中包含指向：
- sp_counted_base_impl
序列化过程沿着上述树结构进行。
首次尝试实现 shared_ptr 的序列化只是序列化 shared_ptr 的相关成员。这几乎是微不足道的操作：
template<class Archive, class T>
inline void serialize(
Archive & ar,
shared_ptr<T> & t,
const unsigned int file_version,
int
){
ar & t.px; // save the raw pointer
ar & t.pn; // save the shared reference count
}
So far so good. Now for the serialization of shared_count:
template<class Archive>
inline void save(
Archive & ar,
const boost::detail::shared_count & t,
const unsigned int file_version
){
ar << t.pi_;
}
template<class Archive>
inline void load(
Archive & ar,
boost::detail::shared_count & t,
const unsigned int file_version
){
ar >> t.pi_;
}
这个库的一个重要特点是可以在不更改类或模板的声明或定义的情况下指定类或模板的序列化方式。这被称为非侵入式序列化。
shared count 中的 pi_member 是指向 sp_counted_base_impl 实例的指针。由于这个类没有默认构造函数，因此序列化需要指定以下重载函数：
template<class Archive, class P, class D>
inline void save_construct_data(
Archive & ar,
const boost::detail::sp_counted_base_impl * t,
const unsigned int file_version
){
// variables used for construction
ar << t->ptr;
ar << *t;
}
template
inline void load_construct_data(
Archive & ar,
boost::detail::sp_counted_base_impl * t,
const unsigned int file_version
){
P ptr_;
ar >> ptr_;
// placement new
::new(t)boost::detail::sp_counted_base_impl(ptr_, D());
ar >>; *t;
}
这个语句 ar >> ptr_ 很关键。它用于反序列化之前序列化的相同指针。默认的对象跟踪机制会确保不会创建多于一个对象的实例，同时多次反序列化返回的指针都指向相同的对象。因此，无论创建了多少个与特定对象相对应的 shared_ptr 或 shared_count 实例，它们都将指向同一个对象。
由于 sp_counted_base_impl
template<class Archive, class P, class D>
inline void serialize(
Archive & ar,
boost::detail::sp_counted_base_impl<P, D> & t,
const unsigned int file_version,
int
){
ar & boost::serialization::base_object<
boost::detail::sp_counted_base
>(*this);
}
这将反过来需要对其基类进行序列化：
inline void serialize(
Archive & ar,
boost::detail::sp_counted & t,
const unsigned int file_version,
int
){
}
demo_shared_ptr.cpp
#include 结果
这表示我们还没有完成。由于默认的对象跟踪，无论有多少 shared 指针指向相同的对象，sp_counted_base_impl
对空基类 sp_counted_base 的序列化过程似乎是额外的开销。查看 base_object.hpp 中的代码，可以发现 base_object.hpp 提供了两个功能：
- 调用基类数据的序列化。
- 作为副作用，“注册”了基类/派生类关系，以便在运行时可以在基类和派生类之间进行指针转换。
在这种情况下，我们只需要后者的功能，因此我们可以用以下方式替换基对象的序列化操作：
// register the relationship between each derived class
// its polymorphic base
void_cast_register<
boost::detail::sp_counted_base_impl<P, D>
boost::detail::sp_counted_base,
>();
并且我们不必为 sp_counted_base 包含一个无关紧要的序列化器。
最后，如果我们希望能够在 XML 存档中使用这种序列化方式，我们需要指定名称-值对包装器。
实际上，即使这只是一个开始。在这个实现中没有解决的问题包括：
- weak_ptr 没有被处理。我甚至还没有研究过这个问题。
- 其他可能与 shared_ptr 交互的智能指针根本没有被考虑。为了确保实现是完整和正确的，所
- 有这些问题都应该被解决。
- 异常处理还没有得到详尽考虑。
- 还有待发现的其他问题。
已经考虑的一件事是 shared_ptr 的导出。声明共享指针序列化的头文件包括一些特殊的宏，用于导出 shared_ptr：
BOOST_SHARED_POINTER_EXPORT(T)
BOOST_SHARED_POINTER_EXPORT_GUID(T, K)
这些是用于导出通过原始指针序列化的类的宏的专门版本。
显然，对智能指针进行完整、正确和异常安全的序列化将是一项挑战。我希望这个实现为此类工作提供了一个有用的起点。