在C ++ 11中的线程之间高效且安全地传递不可变对象

Question

在这种情况下， Producer Thread创建了一个任意类型O的对象o ，然后该对象必须由Consumer Thread读取（并且只能读取），这是在C ++中以高效且线程安全的方式完成此操作的理想方式11？

到目前为止，我的实现依赖于生产者-消费者模型，使用基于模板的互斥/条件化工作队列：

template<typename T> class WorkQueue {
    std::list<T> queue;
    std::mutex mut;
    std::condition_variable cond;

public:
    ...
}

如果o的类型定义如下：

class WorkItem {
    const int value;
public:
    WorkItem(int v) : value(v) {}

    const int getValue() {
        return value;
    }
}

线程在堆中产生消耗WorkItem对象，如下所示：

WorkQueue<WorkItem*> workQueue;
...

void producerThread() {
    workQueue.add(new WorkItem(0));
}

void consumerThread() {
    WorkItem *item = workQueue.remove();
    doSomething(item.getValue());
    delete item;
}

我是否保证使用者可以正确读取堆对象？

如果答案是否定的，我猜想WorkItem的成员应该受到互斥锁的保护，但这将是一种效率很低的解决方案，因为在WorkItem提供给所有线程之后，不需要锁。 另外，我猜想在这种情况下基于原子化的方法可能更好。

Answer 1

您的建议看起来不错。 您可能会存储诸如std::unique_ptr<WorkItem>类的智能指针，以在例如doSomething()抛出异常时获得异常安全。 而且，您应该了解无锁队列，但是您不必使用一个，特别是如果这意味着向您的项目中添加新的库依赖项时。 最后，所有new内存分配有一天可能会成为瓶颈，在这种情况下，请考虑使用对象池或以其他方式重用您的WorkItems。 但是，其中大多数事情现在都是过早的优化。