c – 有效期货与违约构造期货

"Valid" futures arefutureobjects associated to a
shared state,and are constructed by calling one of the following functions:

async
promise::get_future
packaged_task::get_future

如 std::future constructor所述： @H_404_5@这只是意味着调用对象的默认构造函数,如：

std::future<int> f;

@H_404_5@这将调用构造函数#1,其中指出：

@H_404_5@至于其他部分：

@H_404_5@这里的含义是将调用移动构造函数(future(future&& other)#2),其中指出：

@H_404_5@基本上,此构造函数中的其他状态将移至此状态.这意味着如果other.valid()== true,那么在移动构造函数返回后,other.valid()将为false,this.valid()将为true.如果other.valid()以false开头,则两者都将以false结尾.

std::future<int> fut; // fut.valid() == false,default constructor

std::future<int> valid_fut = std::async(std::launch::async,[](){ return 42; }); // obtain a valid std::future..
// valid_fut.valid() == true here

//Now move valid_fut into new_fut
std::future<int> new_fut(std::move(valid_fut));
// new_fut.valid() == true
// valid_fut.valid() == false

@H_404_5@总结一下：

@H_404_5@>调用std :: future的默认构造函数将导致valid()== false.总是.>调用std :: future的move构造函数只有在other.valid()为true之前才会生成valid()== true.否则就错了.