Question

我试图在共享内存中创建一个对象向量，每个对象都拥有一个interprocess_mutex，如下所示：

struct test
{
    test(){}
    interprocess_mutex mutex;
};

using namespace boost::interprocess;
managed_shared_memory seg(open_or_create, "MySharedMemory", 65536);
allocator<void, managed_shared_memory::segment_manager> void_alloc_(seg.get_segment_manager());
vector<test, allocator<test, managed_shared_memory::segment_manager>> vec(void_alloc_);
vec.push_back(test());

但是，interprocess_mutex显式缺少复制/移动构造函数，并且clang无法使用此错误进行编译：

copy constructor of 'test' is implicitly deleted because field 'mutex' has an inaccessible copy constructor
interprocess_mutex mutex;

这有什么理由吗？它看起来像boost :: thread mutex有一个复制构造函数。如何使用interprocess_mutex完成此操作？

Answer 1

没有标准或Boost mutex - 类提供了复制构造函数。如果需要复制包含互斥锁成员的类，则需要将互斥锁转换为指针，并且需要提供复制构造函数来适当地处理互斥锁。

复制互斥锁甚至会做什么？两个实例都会引用相同的互斥锁吗？每个实例都有它自己的互斥锁吗？如果在复制期间互斥锁已被锁定怎么办？

除了这些问题，互斥成员通常用于保护对象的其他成员。如果您支持使用互斥锁成员复制类，则很可能希望在复制期间的某个时刻锁定该互斥锁。

Answer 2

我通过将向量更改为包含shared_ptr而不是直接测试来解决问题。 test（）只被调用一次，对象由shared_ptr对象拥有，该对象是可移动/可复制的：

    using namespace boost::interprocess;

    typedef managed_shared_memory::segment_manager SegmentManager;
    typedef allocator<void, SegmentManager> test_allocator;
    typedef deleter<test, SegmentManager> test_deleter;
    typedef shared_ptr<test, test_allocator, test_deleter> test_pointer;
    typedef vector<test_pointer, allocator<test_pointer, SegmentManager>> test_pointer_vector;

    managed_shared_memory seg(open_or_create, "MySharedMemory", 65536);

    test_allocator alloc(seg.get_segment_manager());
    test_deleter del(seg.get_segment_manager());

    test_pointer& p = *seg.construct<test_pointer>(anonymous_instance)(seg.construct<test>(anonymous_instance)(), alloc, del);
    test_pointer_vector& vec = *seg.construct<test_pointer_vector>(anonymous_instance)(alloc);

    vec.push_back(p);
    p.get()->mutex_.try_lock();

提升interprocess_mutex复制/移动构造函数？

2 个答案: