当我运行以下代码时,
#include <future>
int main()
{
std::promise<int> p;
p.set_value(1);
return 0;
}
抛出std::system_error
。但是,当我在另一个线程中设置Promission的值时,
#include <future>
#include <thread>
int main()
{
std::promise<int> p;
std::thread([&]{p.set_value(1);}).join();
return 0;
}
一切正常。根据我对std::promise
的理解,调用set_value
不应该抛出异常,除非promise没有共享状态(即它已从其中移动)或已经为其赋值,即使这样,它也会抛出std::future_error
,而不是std::system_error
。由于不存在数据竞争或任何类似的情况,因此无论我是从创建promise的线程还是在另一个线程中调用set_value
都不重要。是不是我漏了什么?
我使用g++和clang都尝试了这一点,结果是相同的。具体地说,当我运行顶部的代码时,以下内容被输出到stderr:
terminate called after throwing an instance of 'std::system_error'
what(): Unknown error -1
Aborted (core dumped)
这些命令用于编译顶部的代码,
g++ main_thread.cpp -o main_thread -std=c++17 -g -Og
clang main_thread.cpp -o main_thread -std=c++17 -lstdc++
这些代码用于编译底部的代码:
g++ separate_thread.cpp -o separate_thread -lpthread -std=c++17 -g -Og
clang separate_thread.cpp -o separate_thread -std=c++17 -lstdc++ -lpthread
std::promise
是线程支持库的一部分,因此它需要在编译器选项(例如-pthread
)中启用线程支持。