C++类的async-signal安全性：信号处理函数中能否使用C++类？

• POSIX定义的async-signal safe函数范围有限，仅包含write这类基础函数，且该标准基于C制定，未对C相关操作的信号安全性做出规定，因此C代码在信号处理函数中的行为本质属于未定义行为。
• 针对具体场景的结论：
  • 对于std::pair这类看似简单的类：即使是构造不涉及动态内存分配的实例（如std::pair<int, int>），C++标准也未保证其构造、析构过程是async-signal safe的——编译器的底层实现可能包含不可重入的隐藏逻辑，因此绝对不能在信号处理函数中使用。
  • 对于std::string：其内部依赖动态内存分配（通常基于malloc实现），而malloc不在POSIX的async-signal safe函数列表中。信号处理函数中调用malloc可能触发死锁（比如主线程正在执行malloc时被信号打断，信号处理函数再次调用malloc，而malloc内部的锁不可重入），因此std::string的构造、析构及相关操作必然是async-signal unsafe的，严禁在信号处理函数中使用。
• 核心原则：信号处理函数应仅使用POSIX明确标记为async-signal safe的C函数，任何涉及C++对象构造、析构的操作都需要严格规避，避免因未定义行为引发程序崩溃、死锁等问题。

内容的提问来源于stack exchange，提问作者Daniel