标准C++ 11是否保证std :: async(std :: launch :: async,func)在单独的线程中启动func？

Question

标准C++ 11是否保证std::async(std::launch::async, func)在单独的线程中启动功能？

工作草案,编程语言标准C++ 2016-07-12:http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf

1.一方面,C++ 11-Standard表示如果无法创建线程,则会出现错误.这确保了创建新线程(没有错误).

§30.6.8

6

抛出:system_error如果 policy == launch :: async并且实现无法启动新线程.

7错误条件:

(7.1) - resource_unavailable_try_again - 如果 policy == launch :: async且系统无法启动新线程.

文档说:http://en.cppreference.com/w/cpp/thread/launch

std :: launch :: async启动新线程以异步执行任务

2.在另一方面,它被写入该线程可以被潜在地创建.那些,不一定要创建线程.

§30.6.8

1函数模板async提供了一种机制,可以在新线程中启动函数,并在与其共享共享状态的未来对象中提供函数的结果.

这里写的好像在一个新的线程中,它是否意味着在新的单独线程中没有必要？

§30.6.8

(3.1)

- 如果policy&launch :: async非零 - 调用INVOKE(DECAY_COPY(std :: forward(f)),DECAY_COPY(std :: forward(args))...)(20.14.2,30.3.1.2)好像在一个新的执行线程中,由一个线程对象表示调用DECAY_COPY()在调用async的线程中进行评估.任何返回值都作为结果存储在共享状态中.从执行INVOKE(DECAY_COPY(std :: forward(f)),DECAY_COPY(std :: forward(args))...)传播的任何异常都作为异常结果存储在共享状态中.线程对象存储在共享状态中,并影响引用该状态的任何异步返回对象的行为.

使用时std::async(std::launch::async, func),标准C++ 11保证func()将在单独的线程中执行,还是可以在调用异步的同一线程中执行？

Answer 1

这里的两个关键陈述是:

好像在一个由thread对象表示的新执行线程中

该thread对象存储在共享状态中,并影响引用该状态的任何异步返回对象的行为.

"好像"意味着它必须完全像std::thread为此函数创建对象一样.这意味着创造一个a的所有副作用std::thread也必须发生.

话虽这么说,如果你结合launch::async使用launch::deferred,那么实现决定是启动新线程还是将其推迟到现有线程.所以它只launch::async需要一个新的线程.