c++ - 异步 C++11 中 future 的析构函数

Question

编译器不应该调用 future 的析构函数future在 main 之后完成，也就是说，不应该是函数 f()无论如何打电话？ (gcc 4.7.2 不这样做)。

#include <iostream>
#include <thread>
#include <future>

using namespace std;

void f() {
    cout << "thread...\n";
}

int main() {
    auto future = async(&f);
    cout << "I am main\n";
}

编辑:我只 Hello from main .正文thread...根本不打印。

编辑 2: future 调用的析构函数是否为 wait() ??

Answer 1

注意:下面的信息已过时(C++14 之前)。请参阅 Jonas 的回答以获取最新信息。

---

Should not a compiler call the destructor of the future future right after the main finishes

在 main 完成之前。但是是的。

that is, should not be the function f() called anyway?

没有，为什么？是什么让您认为 std::future 的析构函数会这样做？这不是析构函数的工作。事实上，根据§30.6.6/9，析构函数的唯一功能是释放 future 的共享状态并销毁*this。仅此而已。