如何在 C++ 中处理中断信号和调用析构函数？ [复制]

Question

可能重复：
Is destructor called if SIGINT or SIGSTP issued?

我的代码是这样的：

#include <iostream>
#include <signal.h>
#include <cstdlib>

void handler(int) {
    std::cout << "will exit..." << std::endl;
    exit(0);
}

class A {
public:
    A() {std::cout << "constructor" << std::endl;}
    ~A() {std::cout << "destructor" << std::endl;}
};

int main(void) {
    signal(SIGINT, &handler);

    A a;
    for (;;);

    return 0;
}

当我按下 Ctrl-C 时，它会打印：

constructor
^Cwill exit...

没有打印“析构函数”。 那么，如何才能干净利落地退出呢？

Answer 1

困难重重。您编写的代码已经未定义 行为;不允许在信号处理程序中输出到流； 就此而言，您也不能拨打exit。 （我基于 我在这里对 Posix 标准的断言。在纯 C++ 中，你就是 允许做的是分配给sig_atomic_t类型的变量。）

在像您的代码这样的简单案例中，您可以执行以下操作：

sig_atomic_t stopFlag = 0;

void
handler( int )
{
    stopFlag = 1;
}

int
main()
{
    signal( SIGINT, &handler );
    A a;
    while ( stopFlag == 0 ) {
    }
    std::cout << "will exit..." << std::endl;
    return 0;
}

根据应用程序，您可能可以执行以下操作， 在适当的地方检查stopFlag。但一般来说，如果你 试试这个，会有竞争条件：你检查stopFlag之前 启动一个可中断的系统调用，然后进行调用；信号 在支票和通话之间到达，您拨打电话，但不是 打断了。 （我使用过这种技术，但在应用程序中 唯一可中断的系统调用是一个非常短的套接字读取 超时。）

通常，至少在 Posix 下，您最终将不得不创建一个信号 处理线程；这可以用来干净地关闭所有 其他线程。基本上，您首先将信号掩码设置为阻塞 所有信号，然后在信号处理线程中，一旦启动，将其设置为 接受您感兴趣的信号并致电sigwait()。这 但是，这意味着您执行了所有必要的常规操作 线程的干净关闭：信号处理线程必须知道 关于所有其他线程，请在它们上调用pthread_cancel，等等，你就是 编译器必须生成正确的代码来处理pthread_cancel，或者 您需要开发一些其他方法来确保所有线程都 正确通知。 （今天，人们希望所有编译器都能处理 pthread_cancel 正确。但人永远不知道；这样做有 运行时成本很高，通常不需要。）

Answer 2

你需要退出主函数的作用域才能让析构函数工作：

#include <iostream>
#include <signal.h>
#include <cstdlib>

bool stop = false;
void handler(int) {
    std::cout << "will exit..." << std::endl;
    stop = true;
}

class A {
public:
    A() {std::cout << "constructor" << std::endl;}
    ~A() {std::cout << "destructor" << std::endl;}
};

int main(void) {
  A a;
  signal(SIGINT, &handler);

  for (;!stop;);

  return 0;
}

Answer 3

这是因为正常代码和信号处理程序的上下文不同。如果您将变量 a 放在全局范围内（即在任何函数之外），您将看到析构函数被正确调用。

如果你想自己清理（而不是让运行时和操作系统处理它），你可以有一个条件循环，像这样：

bool keep_running = true;

void handler(int) {
    std::cout << "will exit..." << std::endl;
    keep_running = false;
}

int main(void) {
    signal(SIGINT, &handler);

    A a;
    while (keep_running);

    return 0;
}

Answer 4

无论如何都应该释放内存。 但是如果你有要处理的代码，我想你必须跟踪你的所有对象，然后根据需要销毁它们（例如让构造函数将它们添加到std::set，而析构函数再次删除它们）。然而，这并不能确保正确的破坏顺序（这可能需要一些更复杂的解决方案）。

您也可以使用信号处理程序设置一些标志，以离开无限循环（或您在主循环中执行的任何操作），而不是简单地使用 exit() 终止。

Answer 5

exit 几乎立即终止进程；特别是，具有自动存储期限的对象不会被破坏。流也被刷新和关闭，但不允许您从信号处理程序内部触摸流。所以...

不要从信号处理程序中调用exit；设置一些原子标志来指示循环结束。

#include <iostream>
#include <signal.h>
#include <cstdlib>

sig_atomic_t exitRequested = 0;

void handler(int) {
    std::cout << "will exit..." << std::endl;
    exitRequested = 1;
}

struct A {
     A() { std::cout << "constructor" << std::endl; }
    ~A() { std::cout << "destructor" << std::endl; }
};

int main() {
    signal(SIGINT, &handler);

    A a;
    for (; !exitRequested; );
}