从 boost::archive:binary_iarchive 反序列化 std::string 时分配错误

Question

作为一项实验，我正在尝试逐个元素地将std::map<std:string, ValueType> 序列化到二进制文件/从二进制文件序列化。

我正在使用这样的东西：

Live on Wandbox

void Save(const std::string& fname, const MapType& c)
{
    std::ofstream f(fname.c_str(), std::ios::binary);
    boost::archive::binary_oarchive oa(f, boost::archive::no_header);

    oa & c.size();
    for (auto& e : c)
    {
        oa & e.first;
        oa & e.second;
    }
}

void Load(const std::string& fname, MapType& c)
{
    std::ifstream f(fname.c_str(), std::ios::binary);
    boost::archive::binary_iarchive ia(f, boost::archive::no_header);

    int count;
    ia & count;
    for (int i = 0; i < count; ++i)
    {
        std::string key;
        ValueType value;
        ia & key;
        ia & value;
        c[key] = value;
    }
}

顺便说一句：

using ValueType = boost::variant<bool, int, double, std::string>;
using MapType = std::map<std::string, ValueType>;

保存后，我将文件加载回来。 count 被正确读取，但第一个 key 给出了错误的分配异常。

有什么想法吗？

当我将binary_oarchive 和binary_iarchive 替换为它们各自的文本等效项时，相同的代码运行良好。

Answer 1

保存oa & c.size();，然后加载int count;ia & count;：如果size_t 和int 的大小不同，下一次加载（即第一个ia & key; 调用）将被破坏；然后，我猜std::string 加载程序会读回错误的字符串大小，从而导致bad_alloc 被抛出。

奇怪的是，由于您的平台（非）幸运字节序和签名表示，计数数据结果只是偶然正确读取...

在基于文本的情况下，计数数据以文本方式解析，因此序列化继续进行而不会出错。

顺便说一句，IIRC 标准容器和变体只要参数是自动序列化的，所以你不需要手动编写它们的序列化代码......