如何用断言做一些有用的事情

How to do something useful with assert?

本文关键字：有用 何用 断言      更新时间：2023-10-16

我想用assert做一些更有用的事情，而不仅仅是abort ing，包括刷新一些打开的文件和打印堆栈跟踪。

我读了一些关于断言的文章，比如安德烈·亚历山德雷斯库(Andrei Alexandrescu(的断言，其中谈到了如何实现断言。但是，即使在我的程序使用的第三方库中，我也想用我自己的断言处理程序替换断言处理程序。我知道大多数(但不是全部(编译器(gcc，MSVC，clang(和库(Qt，boost(我使用它们都有设置用户定义的断言处理程序的选项。但是目前我对断言的功能不感兴趣Abort,Retry,Ignore因此不在编译器/库特定的断言处理程序中查找我的代码。

据我了解，assert调用abort发送SIGABRT信号，我可以捕获此信号并执行有用的任务吗？

用自己的实现劫持assert()怎么样？在Unix系统上，您可以使用LD_PRELOAD技巧来劫持__assert_fail(assert()本身只是一个调用后者的宏(。

另一种可能性是按照您的建议捕获SIGABRT。但是，我看到一些要求：

  1. 一种区分assert()呼叫与接收 SIGABRT 的其他可能原因的方法。这可能是来自另一个线程或进程的调用kill()，甚至是从堆管理函数的健全性检查中调用abort()自身(free()，malloc()...这可以通过 ABRT 信号处理程序来完成，通过检查进程的执行堆栈或在某些系统中传递给sigaction()的上下文(没有人知道如何使用的 void* 参数(。

  2. 如果您决定捕获SIGABRT，您应该记住，信号处理程序在法律上不允许做很多事情(甚至不是呼叫printf(，这使得它们不适合按照您的要求做"更有用的事情"。

    所以最好有一个专用线程永久敬畏对于带sigwait()的信号(基于abort()实现这可能不是一个选项(或通过信号通知处理程序 每当收到信号时，它就可以完成大部分工作信号处理程序上下文之外的工作。

    此外，重要的是要注意，如果在其实现中，SIGABRT 由 abort() 专门发送到其调用线程，那么它的接收将是同步的，您可以自由调用异步不安全函数。

    3. 通过自己捕获信号

  3. 并修改线程的信号掩码，可能会影响您提到的第三方库的信号行为(他们可能自己捕获SIGABRT(。

  4. 即使您使用自己的信号处理程序捕获 SIGABRT，您也无法恢复正常执行信号是从调用发送到abort()的，因为(引用自 alarm(8((：

如果 SIGABRT 信号被忽略，或被返回的处理程序捕获， abort(( 函数仍将终止进程。 它确实如此 这是通过恢复SIGABRT的默认处置，然后第二次发出信号来实现的。

相关文章：