c – 在信号处理程序中使用`std :: shared_ptr`和`std :: weak_ptr`是否安全？

我知道malloc是免费的,或者直接或间接地从信号处理程序中自由调用.

但是,如果我能保证至少有一个共享引用仍然存在,那么复制构造和销毁其他共享或弱引用是否安全,或者我是否必须自行引用引用计数？

(是的,我知道信号处理人员通常不应该做太多.但这次我有充分的理由.)

解决方法:

C标准定义了“普通旧函数”的概念如下：

A POF (“plain old function”) is a function that uses only features from [the C/C++] common subset, and that does not directly or indirectly use any function that is not a POF, except that it may use plain lock-free atomic operations.

此外：

The behavior of any function other than a POF used as a signal handler in a C++ program is implementation-defined.

显然,C类对象不是C/C++公共子集的一部分,因此在信号处理程序中使用它们会产生实现定义的行为.

现在,许多实现将允许您限制C功能的使用.如果您的实现不允许内存分配或异常,那么这就是我们对这些智能指针类型的了解.

然后所有weak_ptr constructors都被明确声明为noexcept.所以他们不能抛出异常.这也意味着它们不被允许分配内存(因为无法分配内存会引发异常).是的,如果失败,他们可以分配内存和std :: terminate,但这对于实现来说是非常粗鲁的.

copy&move constructors of shared_ptr同样是noexcept,所以同样适用.对于shared_ptr的别名构造函数也是如此.

如果您完全确定至少有一个shared_ptr仍然存在,则明确声明销毁shared_ptr没有副作用.其中可能包括内存取消分配.

这些是标准库为您提供的保证.

标签：c,c11,signal-handling
来源： https://codeday.me/bug/20190824/1703559.html