size_t fibrec(size_t n) {
  return n<2 ? 1 : fibrec(n-2)+fibrec(n-1);
}

int main() {
    std::thread th{ fibrec,35 };
    // no join here
} // ~th will call terminate().

析构函数在离开作用域时会调用terminate().

但期货怎么样？他们运行的线程在哪里？它是分离的吗？它是如何结束的？

#include <iostream>
#include <future> // async
using namespace std;

size_t fibrec(size_t n) {
    return n<2 ? 1 : fibrec(n-2)+fibrec(n-1);
}

struct Fibrec {
    size_t operator()(size_t n) { return fibrec(n); }
    const size_t name_;
    Fibrec(size_t name) : name_(name) {}
    ~Fibrec() { cerr << "~"<<name_<< endl; }
};

void execit() {
    auto f1 = async( Fibrec{33},33 );
    auto f2 = async( Fibrec{34},34 );
    // no fx.get() here !!!
}; // ~f1,~f2,but no terminate()! Where do the threads go?

int main() {
    auto f0 = async( Fibrec{35},35 );
    execit();
    cerr << "fib(35)= " << f0.get() << endl;
}

当execit()离开时,期货f1和f2被销毁.但他们的线程应该还在运行？当然,称为Fibrec的析构函数.但线程在哪里？程序没有崩溃,所以我想,加入了吗？或者可能超脱？或者他们被停止或取消？我相信在C 11中并不是一件容易的事吗？