Question

在boost::interprocess文档中，据说要将容器存储在共享内存中：

STL容器可能不会假设分配器分配的内存可以与其他相同类型的分配器一起释放。只有当分配了一个对象的内存可以与另一个对象解除分配时，所有分配器对象必须比较相等，并且这只能在运行时使用operator==()进行测试。
容器的内部指针应该是allocator::pointer类型，容器可能不认为allocator::pointer是原始指针。
必须通过allocator::construct和allocator::destroy函数构建所有对象。

我正在使用gcc 4.7.1和-std = c ++ 11（和boost 1.53）。 使用以下定义的ShmVector类型是否安全？

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

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

#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;

    }
}

Answer 1

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

您可能想先了解标准的内容。但您实际上想要检查您的特定STL实现是否符合标准并且不包含错误。

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

此外，您可以编写测试以确定它是否实际正常工作：

创建自定义分配器：
- 使用一些自定义类型作为指针，const指针;
- 在construct()中，destruct()计算通话次数;
创建YourCustomType以与分配器一起使用，分配器也计算构造/破坏的数量。
现在，创建std::vetor<YourCustomType, YourCustomAllocator<YourCustomType>>实例，插入一些元素，清除向量，销毁它，看看是否：
- construct() destruct()次呼叫的数量等于YourCustomType的结构数量。
- typeid(YourCustomAllocator::pointer) == typeid(std::vetor<YourCustomType, YourCustomAllocator<YourCustomType>>::pointer)

这就是你可以确定所有限制适用的方式。

至于问题的第一部分，这里是old C++ standard（不是C ++ 11）。

1 无法（正确实施）向量将无处不在的分配器。它将使用您提供的任何分配器，并将其用于所有内容。至于operator ==，它是在boost的分配器中实现的，因此使operator ==按需要工作是提升的问题。虽然我无法在standard找到确认信息。

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

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

虽然相同的标准说明allocators：本国际标准中描述的容器的实施允许假设其Allocator模板参数满足除表6之外的以下两项附加要求。

- 给定分配器类型的所有实例都需要相互关联可变，总是相互比较。

- typedef成员指针，const_pointer，size_type和不同的 - 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中调用destroy和构造的要求。

Answer 2

我认为答案是肯定的。因为在实践中（在C ++ 98中）和理论上（C ++ 11标准），std::vector指针不能是T*以外的其他指针。

这就是boost::interprocess::vector<T>使用boost::container::vector<T, boost::interprocess::allocator<T>>（而不是std::vector<T, boost::interprocess::allocator<T>>）的原因。

Answer 3

我没有任何评论的声誉，因此我必须回答。如果两个分配器比较相等，则它们可以互换。例如，可以使用不同的（共享）内存来初始化比较不相等的相同类型的分配器。参见Allocator：

a1 == a2 => returns true only if the storage allocated by the allocator a1 can be deallocated through a2. Establishes reflexive, symmetric, and transitive relationship. Does not throw exceptions.

因此，如果您的ShmVector实例是使用ShmemAllocator比较起来相等的实例创建的，则您必须安全。

std :: vector是否满足Boost.Interprocess分配器的容器要求？

3 个答案: