Boost 序列化不适用于 shared_ptr<int>

Question

下面这段代码编译得很好：

#include <boost/serialization/shared_ptr.hpp>
#include <boost/archive/text_iarchive.hpp>
#include <boost/archive/text_oarchive.hpp>
#include <sstream>
#include <memory>

struct A {
    int i;

    A(): i(0) {}
    A(int i): i(i) {}

    template <typename Archive>
    void serialize(Archive& ar, const unsigned int) {
        ar & i;
    }
};

int main() {
    auto a = std::make_shared<A>(465);
    std::stringstream stream;
    boost::archive::text_oarchive out{stream};
    out << a;
}

现在我希望如果我将 A 替换为 int 那么它也应该可以工作。

#include <boost/serialization/shared_ptr.hpp>
#include <boost/archive/text_iarchive.hpp>
#include <boost/archive/text_oarchive.hpp>
#include <sstream>
#include <memory>

int main() {
    auto a = std::make_shared<int>(465);
    std::stringstream stream;
    boost::archive::text_oarchive out{stream};
    out << a;
}

但是，此代码无法编译，但会导致断言失败：

In file included from main.cpp:1:    
/usr/local/include/boost/serialization/shared_ptr.hpp:277:5: error: static_assert failed "boost::serialization::tracking_level< T >::value != boost::serialization::track_never"
    BOOST_STATIC_ASSERT(
    ^
...

是我做错了什么还是 Boost 中的错误？

Answer 1

来自围绕该断言的 Boost 源代码：

// The most common cause of trapping here would be serializing
// something like shared_ptr<int>.  This occurs because int
// is never tracked by default.  Wrap int in a trackable type
BOOST_STATIC_ASSERT((tracking_level< T >::value != track_never));

基本上，为了正确序列化shared_ptr之类的东西，需要在序列化过程中集中跟踪指向的对象（以识别何时多个指针指向同一个对象，因此它们不会导致两个被序列化的对象的副本）。不过，跟踪一个对象比不跟踪它更昂贵，因此不会跟踪原始类型（假设会有很多 个对象）。本质上，这使得序列化shared_ptr<primitive_type> 而不与Boost 源混为一谈。正如评论所说，解决方案是序列化一些 UDT 包含一个 int。