在 boost::interprocess 文档中，它被认为是容器存储在共享内存中的要求:

1. STL 容器可能不会假设用分配器分配的内存可以用相同类型的其他分配器释放。仅当分配给一个对象的内存可以与另一个分配时，所有分配器对象必须比较相等，并且这只能在运行时使用 operator==() 进行测试。
2. 容器的内部指针应该是 allocator::pointer 类型，并且容器不能假定 allocator::pointer 是原始指针。
3. 所有对象都必须通过 allocator::construct 和 allocator::destroy 函数构造-销毁。

我正在使用带有 -std=c++11(和 boost 1.53)的 gcc 4.7.1。 使用下面定义的 ShmVector 类型安全吗？

typedef boost::interprocess::allocator<int,
    boost::interprocess::managed_shared_memory::segment_manager>  ShmemAllocator;
typedef std::vector<int, ShmemAllocator> ShmVector;

我尝试了一个使用这种类型的虚拟进程，它看起来工作正常，但我仍然不确定 gcc4.7.1 中的 vector 是否满足所有要求。我尤其不确定第一个要求。

#include <iostream>
#include <boost/interprocess/allocators/allocator.hpp>
#include <boost/interprocess/managed_shared_memory.hpp>
#include <vector>
#include <cstdlib> //std::system

typedef boost::interprocess::allocator<int,
        boost::interprocess::managed_shared_memory::segment_manager>  ShmemAllocator;
typedef std::vector<int, ShmemAllocator> ShmVector;

int main(int argc, char *argv[])
{
    if(argc == 1){ //Parent process

        struct shm_remove
        {
            shm_remove() { boost::interprocess::shared_memory_object::remove("MySharedMemory"); }
            ~shm_remove(){ boost::interprocess::shared_memory_object::remove("MySharedMemory"); }
        } remover;

        //Create a new segment with given name and size
        boost::interprocess::managed_shared_memory segment(boost::interprocess::create_only,
                "MySharedMemory", 65536);

        //Initialize shared memory STL-compatible allocator
        const ShmemAllocator allocator(segment.get_segment_manager());

        ShmVector* v = segment.construct<ShmVector>("ShmVector")(allocator);
        v->push_back(1); v->push_back(2); v->push_back(3);

        //Launch child process
        std::string s(argv[0]); s += " child ";
        if(0 != std::system(s.c_str()))
            return 1;

    } else { // Child process

        //Open the managed segment
        boost::interprocess::managed_shared_memory segment(
                boost::interprocess::open_only, "MySharedMemory");

        //Find the vector using the c-string name
        ShmVector *v = segment.find<ShmVector>("ShmVector").first;

        for (const auto& i : *v) {
            std::cout << i << " ";
        }
        std::cout << std::endl;

    }
}

最佳答案

在 C++ 11 中，分配器规则略有变化，但我认为这不会影响您的问题。

您可能首先想知道标准对此有何规定。但您实际上想要检查您的特定 STL 实现是否符合标准并且不包含错误。

对于第二部分，我强烈建议去查看来源并检查一下，实际上并不难。

此外，您可以编写测试以查看它是否真正正常工作:

• 创建自定义分配器:
  • 使用一些自定义类型作为指针，常量指针；
  • 在 construct() , destruct()统计通话次数；
• 创建 YourCustomType与分配器一起使用，分配器也计算构造/破坏的数量。
• 现在，创建std::vetor<YourCustomType, YourCustomAllocator<YourCustomType>>例如，插入一些元素，清除 vector ，销毁它并查看是否:
  • 数量construct() destruct()调用等于 YourCustomType 的构造破坏次数.
  • typeid(YourCustomAllocator::pointer) == typeid(std::vetor<YourCustomType, YourCustomAllocator<YourCustomType>>::pointer)

这就是您可以确保所有限制都适用的方式。

至于问题的第一部分，这里有一个 old C++ standard (不是 C++ 11)。

1 vector 不可能(正确实现的)凭空获取分配器。它会使用你提供的任何分配器，并将它用于所有事情。至于 operator==，它是在 boost 的分配器中实现的，因此让 operator== 按要求工作是 boost 的问题。虽然我无法在 standard 中找到确认信息.

2 除非有错误，std::vector<T, YourAllocator>::pointer应该是分配器的指针。 cppreference.com says that , 和标准 says that ，(寻找“模板类 vector ”):

    typedef typename Allocator::pointer               pointer;
    typedef typename Allocator::const_pointer         const_pointer;

尽管关于 allocators 的标准也是如此: 本国际标准中描述的容器的实现 允许假设他们的分配器模板参数满足 除了表 6 之外的以下两个附加要求。

--给定分配器类型的所有实例都必须是内部的 可变的，并且总是相互比较相等。

--typedef 成员指针、const_pointer、size_type 和 differ-- ence_type 必须是 T*、T const*、size_t 和 ptrdiff_t， 分别。

因此，实际上标准不允许使用任何指针类型，但我的猜测是实际的 STL 实现会起作用。

3 只需检查 std::vector<T>::clear()方法实现以查看是否调用了 allocator::destroy。检查std::vector<T>::resize()方法的实现以查看是否使用了 allocator::construct。我无法在 the standard 中找到调用销毁和构造的要求.

关于c++ - std::vector 是否满足 Boost.Interprocess 分配器的容器要求？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/15298007/