调试模式下内存映射向量的读取访问冲突

Question

在尝试使用boost::interprocess 将std::vector 存储在内存映射文件中时，当我尝试推回加载的向量时遇到异常Exception thrown: read access violation.，但仅在调试模式下。

这个最小的示例代码（由@sehe 编写）是从https://stackoverflow.com/a/29602884/2741329 检索到的，它在调试模式下在MSVC14 上崩溃并且执行了多次：

#include <boost/interprocess/managed_mapped_file.hpp>

namespace bi = boost::interprocess;

int main() {
    std::string vecFile = "vector.dat";
    bi::managed_mapped_file file_vec(bi::open_or_create,vecFile.c_str(), 1000);

    typedef bi::allocator<int, bi::managed_mapped_file::segment_manager> int_alloc;
    typedef std::vector<int, int_alloc>  MyVec;

    MyVec * vecptr = file_vec.find_or_construct<MyVec>("myvector")(file_vec.get_segment_manager());

    vecptr->push_back(rand());
}

编辑：

这是 Visual Studio 错误消息：

这里是异常发生的地方：

这是调用堆栈（点击图片放大）：

Answer 1

作为一个脑电波，disable MSVC debug iterators。

我不确定如何（因为迭代器没有持久化？）但不知何故迭代器调试可能会在 std::vector 的内存布局中添加原始指针 - 违反了关于分配器使用的标准库假设。

测试结果

仅出于此目的在 azure 上创建 VM，使用以下稍作修改的代码进行测试以更好地了解崩溃原因：

#include <boost/interprocess/managed_mapped_file.hpp>
#include <iostream>

namespace bi = boost::interprocess;

int main() {
    std::string vecFile = "vector.dat";
    //std::remove(vecFile.c_str());
    std::cout << __LINE__ << "\n";
    {
        bi::managed_mapped_file file_vec(bi::open_or_create, vecFile.c_str(), 100000);

        typedef bi::allocator<int, bi::managed_mapped_file::segment_manager> int_alloc;
        typedef std::vector<int, int_alloc>  MyVec;

        MyVec * vecptr = file_vec.find_or_construct<MyVec>("myvector")(file_vec.get_segment_manager());

        vecptr->push_back(rand());
        std::cout << "size: " << vecptr->size() << "\n";
    }
    std::cout << __LINE__ << "\n";
    {
        bi::managed_mapped_file file_vec(bi::open_or_create, vecFile.c_str(), 100000);

        typedef bi::allocator<int, bi::managed_mapped_file::segment_manager> int_alloc;
        typedef std::vector<int, int_alloc>  MyVec;

        MyVec * vecptr = file_vec.find_or_construct<MyVec>("myvector")(file_vec.get_segment_manager());

        vecptr->push_back(rand());
        std::cout << "size: " << vecptr->size() << "\n";
    }
    std::cout << __LINE__ << "\n";
}

重现问题。第一次运行：

后续运行（std::remove 行注释如图所示）：

解决方法演示

放置后

#define _ITERATOR_DEBUG_LEVEL 0

在最顶部并删除 vector.dat 文件，因为更改会改变二进制布局：

注意：在您的实际项目中，您可能需要将 #define 放在多个翻译单元中（尤其要考虑 stdafx.cpp）。将它包含在项目属性表中可能会更好，因此它适用于所有（未来的）翻译单元！