为何智能指针的自定义删除器不允许抛出异常？

• 首先，C++标准明确规定：析构函数抛出未捕获的异常会直接调用std::terminate终止程序。智能指针的析构逻辑依赖自定义删除器完成资源释放，如果删除器抛出异常，就会导致智能指针的析构函数向外传播异常，直接触发程序终止，完全违背了智能指针可靠管理资源的设计初衷。

• 其次，会引发双重异常的致命场景。假设程序已经因为某个异常进入栈展开过程（比如函数抛出了IO异常），此时栈上的智能指针会被自动析构，如果它的删除器此时抛出另一个异常，C++运行时无法同时处理两个并行的异常，只能直接终止程序，没有任何补救机会。这种情况会让原本可以处理的异常直接升级为不可恢复的崩溃。

• 最后，从职责定位来看，删除器的核心工作是清理资源，这个过程应该尽可能可靠。如果资源清理失败（比如文件关闭失败、内存释放失败），通常属于严重的系统级错误，此时程序本身已经处于不稳定状态，抛出异常不仅无法有效恢复，反而可能导致更严重的资源泄漏或数据损坏。相比之下，让程序快速终止反而能避免后续的连锁问题。

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