std::shared_future operator=线程安全/原子？

Question

一般问题： std::shared_future::operator=是原子的吗？

例如

struct object {
    object() {
        sf = std::async(std::launch::async, &async_func).share(); 
    }
    void change(){
        sf = std::async(std::launch::async, &other_async_func).share();
    }
    void read(){
        while (true){ sf.get(); }
    }
    std::shared_future<int> sf;
};

问题第 1 部分是否可以在左侧呼叫 std::shared_future::operator=，例如旧 shared_future，尚未等待/ 异步提供程序 仍然运行？就像 object::change().

问题第 2 部分是否可以调用 std::shared_future::operator= 而其他 异步 return 对象 / 线程是并发呼叫std::shared_future.get()？就像 object::read() 一样？ 编辑：忘记object::read()，我的意思当然是用他们自己的std::shared_future但是相同的共享状态.

阅读 C++11 草案后 N3485 §30.6.7:12

shared_future& operator=(shared_future&& rhs) noexcept; 12 Effects:

— releases any shared state (30.6.4);

— move assigns the contents of rhs to *this

问题第 1 部分 完全取决于释放共享状态，例如在阅读 §30.6.4 后，销毁共享状态，所以我想这意味着第 1 部分 应该是正确的，但我不确定.

问题第 2 部分似乎是错误的，因为这是两个步骤，我既不知道移动部分是否是原子的，也不知道如果 shared 会发生什么state 在其他线程处于 shared_future::get().

时被销毁

Answer 1

这些只是 [futures.shared_future] 中的注释，但它们是相关的：

[ Note: Member functions of shared_future do not synchronize with themselves, but they synchronize with the shared shared state. —end note ]

[...]
const R& shared_future::get() const;
R& shared_future<R&>::get() const;
void shared_future<void>::get() const;
Note: access to a value object stored in the shared state is unsynchronized, so programmers should apply only those operations on R that do not introduce a data race (1.10).

因此只要没有人在调用 read() 或以其他方式访问 sf.

，调用 change() 就可以了

std::shared_future operator=线程安全/原子？

std::shared_future operator= thread safety/ atomic?

c++

multithreading

c++11

std

future