使用智能指针如std::unique_ptr和std::shared_ptr可确保动态内存异常安全，遵循RAII原则将资源管理封装在对象生命周期内，构造函数中避免复杂分配以防泄漏，通过std::make_unique和std::make_shared提升安全与效率，函数应提供强或基本异常保证，关键操作不抛异常，利用拷贝-交换等惯用法实现状态一致性，从而在异常发生时防止资源泄漏并维持程序稳定。
在C++中进行动态内存分配时，异常安全是确保程序在发生异常时仍能保持资源不泄漏、状态一致的关键。若处理不当，异常可能导致内存泄漏、资源未释放或对象处于无效状态。以下是实现动态内存分配异常安全的核心策略。
使用智能指针管理动态内存
手动管理内存（如使用 new 和 delete）极易在异常发生时导致泄漏。C++标准库提供的智能指针能自动管理生命周期，是异常安全的基础。
• std::unique_ptr：独占所有权，适用于单一所有者场景，异常抛出时自动释放内存。 • std::shared_ptr：共享所有权，配合引用计数，适合多个对象共享资源。 • 使用 std::make_unique 和 std::make_shared 创建对象，避免裸指针操作，同时提升效率和安全性。遵循RAII原则
RAII（Resource Acquisition Is Initialization）是C++异常安全的核心思想。资源的获取应在对象构造时完成，释放则在析构时自动进行。
• 所有资源（内存、文件句柄、互斥锁等）都应封装在类中，通过析构函数确保释放。 • 构造函数中分配资源时，若发生异常，局部已构造对象的析构函数会被调用，但未完成构造的对象不会触发析构。因此，应在构造函数中尽量减少可能抛出异常的操作，或使用智能指针托管资源。保证函数的异常安全等级
C++中常见的异常安全保证分为三个级别：基本保证、强保证和不抛异常保证。
立即学习“C++免费学习笔记（深入）”；
• 基本保证：异常发生后，对象仍处于有效状态，无资源泄漏。 • 强保证：操作要么完全成功，要么回滚到调用前状态（如使用拷贝-交换惯用法）。 • 不抛异常：关键操作（如析构函数、移动赋值）应尽量不抛出异常。 • 在修改对象状态前，先完成所有可能抛异常的操作（如动态分配），再提交更改。避免在构造函数中执行复杂动态分配
若类的构造函数需要进行多步动态内存分配，某一步失败会导致已分配的内存无法通过析构函数释放（构造未完成）。
• 解决方案：在构造函数内部使用智能指针临时托管资源，或采用两阶段初始化。 • 或使用“指针成员延迟初始化”策略，在构造函数中只初始化为 nullptr，后续通过方法安全分配。基本上就这些。只要坚持使用智能指针、遵守RAII、设计好异常安全等级，C++中的动态内存分配就能在异常环境下保持稳健。不复杂，但容易忽略细节。
