是否可以在信号处理程序中设置承诺?

is it possible to set a promise in a signal handler?

我正在寻找一种方法来停止每 2 秒执行一次任务的线程。我决定尝试使用 std::promise/future 以便在设置 promise 时线程可以立即退出。

#include <future>
#include <iostream>
#include <chrono>
#include <csignal>

std::promise<void> stop;

int main() {

    std::signal(SIGINT, [] (int)  { stop.set_value(); } );

    auto future = stop.get_future();

    while (future.wait_for(std::chrono::seconds(1)) != std::future_status::ready) {
            std::cout << "I'm still there" << std::endl;
    }
}

实际上这不起作用并以这种方式崩溃:

$ ./a.out I'm still there ^Cterminate called after throwing an instance of 'std::system_error'
what(): Unknown error -1 Abandon (core dumped)

好的,应该注意他在处理程序上下文中所做的事情,但我必须说我没想到会发生这种崩溃;我真的不明白... 你有什么想法吗?

我相信你在这里看到的是在信号处理程序中调用标准库函数(不在信号安全函数列表中)导致的未定义行为。

对信号处理函数(即用户定义的)的限制很广泛,documented here

另一件要注意的事情是,如果信号处理程序引用任何具有静态或线程局部(C++11 起)存储持续时间的对象,并且该持续时间不是 std::atomic(C++11 起)或 volatile std::sig_atomic_t

正如@BasileStarynkevitch 指出的那样,如果您在 Linux 上,请确保仅从信号处理程序调用 async-signal-safe 函数。