VS2015 std ::异步奇怪

Question

在VS2015中的下面的代码中，我在第一行得到acefbd，这是正确的。但是在第二次测试中，我将其分为单独的行，输出为abcdef。

这是预期的行为？

#include <future> 
#include <iostream> 

using namespace std; 

void a() { 
std::cout << "a"; 
std::this_thread::sleep_for (std::chrono::seconds (3)); 
std::cout << "b"; 
} 

void c() { 
std::cout << "c"; 
std::this_thread::sleep_for (std::chrono::seconds (4)); 
std::cout << "d"; 
} 

void e() { 
std::cout << "e"; 
std::this_thread::sleep_for (std::chrono::seconds (2)); 
std::cout << "f"; 
} 

int main() 
{ 
    std::async (std::launch::async, a), std::async (std::launch::async, c), std::async (std::launch::async, e); 

cout << "\n2nd Test" << endl; 

std::async (std::launch::async, a); 
std::async (std::launch::async, c); 
std::async (std::launch::async, e); 

} 

Answer 1

这有什么做与Visual Studio，但你与std::future对象std::async回报做什么。

当一个std::future对象被销毁时，the destructor块在等待未来准备就绪时。

第一行会发生什么情况是您创建了三个未来对象，并且在完整表达式的末尾（创建最后一个对象之后）期货超出范围并被销毁。

在“第二次测试”中，您创建了一个未来，然后在继续之前必须被破坏，然后创建另一个未来，在继续之前必须被破坏，最后是第三个未来，这当然也必须被破坏。

如果保存期货在临时变量的第二次测试，你应该得到相同的行为：

auto temp_a = std::async (std::launch::async, a); 
auto temp_c = std::async (std::launch::async, c); 
auto temp_e = std::async (std::launch::async, e);