《C++ Concurrency in Action》笔记18 std::shared_future

std::future有个限制，那就是只能被一个线程等待。如果你希望从多个线程等待一个相同的事件，那就应该使用std::shared_future。

等待多个线程

尽管future对数据从一个线程到另一个线程传送作了所有的必要处理，但是调用同一个future实例的成员函数的不同线程却不会彼此同步。如果你访问单一的来自多个线程的fuure实例，没有附加的同步手段，那么你将导致数据竞争。因为，一个future对象一旦使用get()后将没有值可获取。

而且，future只能move不能拷贝。std::shared_future可以拷贝，所以可以有多个对象关联到同一个状态上。对于同一个shared_future对象来说，如果多个线程同时处理它，依然需要加锁。所以，换个思路，我们让不同的线程只是访问一个拷贝。多个线程处理异步共享状态时，如果各自访问自己的shared_future对象，则是安全的。

一种潜在的shared_future的用法是，在一个复合表格中执行并发操作；每个单元格拥有一个最终值，它可能被其他单元格作为公式的一部分。这些用于计算结果的公式可能使用一个shared_future来引用第一个单元格。如果接下来所有公式并发执行，那么那些依赖其他单元格值的公式将会阻塞直到其依赖的值被计算出结果。这将允许系统最大限度的利用硬件的并发能力。

shared_future实例需要通过一个std::future实例来构造，因为future对象不支持拷贝，所以只能通过std::move()函数来移动，被执行移动操作的future将被清空，成为一个缺省构造对象：

std::promise<int> p;std::future<int> f(p.get_future());assert(f.valid());//f是有效的std::shared_future<int> sf(std::move(f));//f被移动到sf中，f不再有效，sf是有效的assert(!f.valid());assert(sf.valid());

所有返回future对象的函数都可以直接构造std::shared_future对象，例如async()、promise::get_future()、packaged_task::get_future()等。另外，std::future还有个share()函数，直接返回一个shared_future对象。