升级Boost至1.80后，boost::optional含私有默认构造类序列化问题

这是回归还是设计考量？ #

这并非疏忽导致的回归，而是Boost Serialization针对boost::optional<T>序列化逻辑的有意设计调整。

在Boost 1.54及更早版本中，序列化optional<T>时会通过boost::serialization::access::construct<T>()创建T的空实例，这种方式能借助access类的友元权限绕过T的私有构造限制。但在后续版本（包括1.80）的迭代中，Boost团队为了让optional的序列化逻辑贴合其自身常规构造语义，同时减少特殊化代码路径的维护负担，改为直接通过T()初始化空实例。这种调整是为了统一optional在序列化和常规场景下的行为一致性，避免因序列化的特殊逻辑引入潜在兼容性问题。

序列化含私有默认构造函数的boost::optional<T>的推荐方式 #

最稳妥且不破坏类封装性的方案是为boost::optional<A>提供自定义序列化特化函数，手动借助boost::serialization::access的权限创建A的实例，绕过直接调用A()的逻辑：

#include <boost/serialization/optional.hpp>
#include <boost/serialization/access.hpp>

class A {
private:
    A() = default; // 私有默认构造函数
    int data;

    friend class boost::serialization::access;
    template<class Archive>
    void serialize(Archive& ar, const unsigned int version) {
        ar & data;
    }
};

class B {
private:
    boost::optional<A> opt_a;

    friend class boost::serialization::access;
    template<class Archive>
    void serialize(Archive& ar, const unsigned int version) {
        ar & opt_a;
    }
};

// 为boost::optional<A>自定义序列化逻辑
namespace boost {
namespace serialization {

template<class Archive>
void serialize(Archive& ar, boost::optional<A>& opt, const unsigned int /*version*/) {
    bool has_value = opt.has_value();
    ar & has_value;

    if (has_value) {
        // 若当前optional为空，用access::construct创建A的实例
        if (!opt) {
            access::construct<A>(opt.get_ptr());
        }
        // 序列化A的内容
        ar & *opt;
    } else {
        // 若当前optional有值，重置为空
        if (opt) {
            opt.reset();
        }
    }
}

} // namespace serialization
} // namespace boost

其他可选方案（按需选择） #

• 扩展友元范围：将boost::optional声明为A的友元，让其能直接调用A的私有默认构造函数。但这种方式会扩大类的友元范围，可能破坏封装性，仅推荐在对封装要求不高的场景使用。
• 改用受保护默认构造：将A的默认构造函数改为protected，创建一个继承自A的辅助类，辅助类提供公有默认构造函数供optional使用，同时让boost::serialization::access能访问辅助类。但这种方式会增加类结构复杂度，不如自定义序列化直接。

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