潜在抛出的函数信号安全吗？

如何解决潜在抛出的函数信号安全吗？

根据support.signal，

除非包含以下任一内容，否则评估是信号安全的：

• ...
• 引发异常；
• 输入try-block或function-try-block的控件；
• ...

如果信号处理程序调用包含不安全信号的评估，则它具有未定义的行为。

这是否意味着调用潜在抛出的函数（例如用noexcept说明符声明且其结果为false的函数）会导致未定义的行为？还是评估有效地导致抛出异常，这只是未定义的行为？

这里是一个例子：

static void g() noexcept(false) {}
 
extern "C" void signal_handler(int sig)
{
    try {
        g(); // always UB
    }
    catch (...) {
    }

    g(); // always UB?
}

解决方法

“抛出异常”应从字面上准确地进行：抛出异常。没什么，没什么。

输入可能引发异常的范围不是一回事。只要代码实际上没有引发异常，就不会违反信号安全性。

g()不会引发异常，因此它本身是信号安全的。即使它不是明确地noexcept(false)，因为它不会引发异常，所以它是信号安全的。

signal_handler()进入一个try块，该块不是信号安全的。在信号处理程序中输入它是未定义的行为。