智能指针与异常安全，资源泄漏防护解析

智能指针通过RAII机制自动管理对象生命周期，确保资源安全释放。对象经历创建、使用和销毁三阶段，传统裸指针易导致内存泄漏或重复释放。C++提供unique_ptr（独占所有权，不可复制）、shared_ptr（共享所有权，引用计数）和weak_ptr（打破循环引用）三种智能指针，分别适用于不同场景。推荐使用make_unique和make_shared创建，避免直接new；类内优先用智能指针持有资源；传参时根据是否共享选择引用、constshared_ptr&或值传递；注意用weak_ptr防止循环引用；

构造函数异常安全需依赖RAII和强异常保证，使用智能指针、容器等自动管理资源，避免在构造函数中执行易失败操作，可采用两段式构造或工厂函数模式，确保成员按声明顺序正确初始化，防止资源泄漏。

采用copy-and-swap惯用法，拷贝构造在赋值时先执行，失败不影响原对象；2.swap函数必须声明为noexcept，仅交换成员且不进行可能抛异常的操作；3.使用RAII管理资源，如std::vector替代裸指针，确保资源安全；4.自定义swap应基于std::swap特化并保证无异常，所有成员类型swap也需noexcept；整体确保操作要么完全成功，要么回滚到原始状态。

异常安全保证确保C++程序在抛出异常时仍保持有效状态，避免资源泄漏或数据损坏。它分为三个级别：基本保证、强保证和无抛出保证。基本保证指对象处于有效但不可预测的状态；强保证要求操作原子性，成功则完全生效，失败则回滚；无抛出保证则确保操作绝不抛出异常。为实现这些级别，应采用RAII管理资源，使用智能指针和标准库容器，避免析构函数抛出异常，并应用“拷贝并交换”等技术来提供强异常安全。函数设计需明确其异常安全承诺，优先准备资源再提交修改，并隔离可能抛出异常的用户代码。异常安全应从设计阶段入手，结合现代C++机制提

C++中动态数组可用std::unique_ptr<T[]>或std::shared_ptr配合自定义删除器管理，前者自动调用delete[]，后者需显式指定删除器；但推荐优先使用std::vector，因其更安全易用。

智能指针通过自动管理内存防止泄漏，C++提供unique_ptr、shared_ptr和weak_ptr三种类型，分别实现独占、共享及弱引用管理，提升内存安全性与代码可维护性。

异常安全通过RAII和复制再交换等技术保障程序在异常下的正确性。1.基本保证确保资源不泄漏，对象状态有效；2.强保证实现操作的原子性，典型方法是复制再交换；3.无异常保证要求关键操作如析构函数和swap不抛出异常。使用智能指针、锁包装器等RAII类可自动释放资源，避免泄漏。移动操作应尽量标记noexcept以支持标准容器高效操作。函数设计需明确异常行为，局部捕获异常并转化为安全状态。始终确保资源由对象管理，是构建异常安全程序的核心。

循环引用是指两个或多个shared_ptr对象彼此持有对方的强引用，导致引用计数无法归零，内存无法释放。1.例如，结构体A和B各自持有对方的shared_ptr，形成闭环；2.解决方法是将其中一方改为使用weak_ptr，打破强引用循环；3.最佳实践包括：优先使用智能指针、需要互相引用时用weak_ptr、避免直接将this赋值给shared_ptr、合理使用enable_shared_from_this、注意容器中的循环引用问题。通过明确资源拥有者与观察者的关系，可有效避免此类内存泄漏。

C++中的智能指针所有权模型通过std::unique_ptr和std::shared_ptr体现：1.std::unique_ptr代表独占所有权，确保资源不会被意外释放；2.std::shared_ptr表示共享所有权，通过引用计数管理资源生命周期，适用于多线程环境。

智能指针通过RAII机制确保异常安全，资源在析构时自动释放；2.std::unique_ptr用于独占资源，离开作用域即释放；3.std::shared_ptr通过引用计数管理共享资源，异常时引用归零自动回收；4.避免手动管理，使用智能指针可防止内存泄漏。