C++智能指针异常安全与内存泄漏防护
智能指针基于RAII机制确保异常安全：std::unique_ptr独占管理资源，通过移动语义传递所有权；std::shared_ptr采用引用计数，配合std::weak_ptr打破循环引用；使用make_unique和make_shared避免异常时内存泄漏；自定义删除器需不抛异常以保证析构安全。
智能指针基于RAII机制确保异常安全：std::unique_ptr独占管理资源，通过移动语义传递所有权；std::shared_ptr采用引用计数，配合std::weak_ptr打破循环引用；使用make_unique和make_shared避免异常时内存泄漏；自定义删除器需不抛异常以保证析构安全。
智能指针在C++中是管理动态内存的核心工具，它们通过自动资源管理机制显著提升了程序的异常安全性，有效防止资源泄漏。当异常抛出时，局部对象会自动析构，这一特性被称为RAII（Resource Acquisition Is Initialization）。智能指针正是基于RAII实现的，确保即使在异常发生的情况下，动态分配的资源也能被正确释放。
std::unique_ptr：独占式资源管理
std::unique_ptr 是轻量级的独占式智能指针，一旦获取资源所有权，就不允许复制。它通过移动语义转移所有权，非常适合用于函数间传递资源或作为类成员管理单一资源。
在异常场景中，只要 unique_ptr 是栈上对象，无论函数正常退出还是抛出异常，其析构函数都会被调用，自动释放所管理的资源。
常见使用方式：- 避免手动调用 delete，直接返回 unique_ptr 从函数传出资源
- 在构造函数中初始化 unique_ptr，防止构造中途异常导致泄漏
- 配合 make_unique 创建对象，防止表达式中因求值顺序导致的泄漏
std::shared_ptr 与 std::weak_ptr：共享资源安全
std::shared_ptr 使用引用计数管理资源，允许多个指针共享同一对象。异常发生时，每个 shared_ptr 的析构都会减少引用计数，当计数归零时自动释放资源。
它能有效防止因异常跳过释放逻辑而导致的泄漏，但需注意循环引用问题。此时应结合 std::weak_ptr 打破循环，避免资源无法释放。
关键点：- shared_ptr 的拷贝和赋值是异常安全的，内部操作不会抛出异常
- weak_ptr 用于观察资源状态，不增加引用计数，避免死锁和泄漏
- 从 weak_ptr 获取 shared_ptr 时使用 lock()，确保资源仍存活
异常安全的构造与赋值操作
智能指针的设计保证了其构造、移动、赋值等操作在异常情况下的安全性。例如，两个 shared_ptr 赋值时，系统会先更新右值的引用计数，再修改左值，确保即使中途抛出异常，原资源也不会泄漏。
使用 make_shared 和 make_unique 而非直接 new，不仅更高效，还能避免因表达式复杂度带来的异常风险。例如：
推荐写法：- auto ptr = std::make_shared
(); - auto uptr = std::make_unique
();
这种方式将内存分配和智能指针构造合并为原子操作，防止 new 成功但后续构造失败导致的泄漏。
自定义删除器与异常安全
智能指针支持自定义删除器，可用于管理非内存资源，如文件句柄、网络连接等。删除器必须是无状态或可安全复制的，且其调用不应抛出异常。
析构过程中若删除器抛出异常，可能导致程序终止。因此，自定义删除器内部应使用 try-catch 捕获所有异常，或确保操作本身不会失败。
示例：- 用 shared_ptr 管理 FILE*：shared_ptr
fp(fopen("a.txt", "r"), fclose); - 删除器中避免复杂逻辑，仅执行必要清理动作
基本上就这些。智能指针结合RAII机制，从根本上解决了C++中因异常导致的资源泄漏问题。只要合理使用 make_unique / make_shared，并避免自定义删除器抛异常，就能构建出高度异常安全的资源管理体系。
构造函数异常安全需依赖RAII和强异常保证，使用智能指针、容器等自动管理资源，避免在构造函数中执行易失败操作，可采用两段式构造或工厂函数模式，确保成员按声明顺序正确初始化，防止资源泄漏。
应避免混合使用裸指针与智能指针，若必须使用，需确保裸指针不参与资源管理。通过智能指针的get()方法可安全获取裸指针用于API调用，但不得转移所有权或手动释放内存。从裸指针创建智能指针时，仅在明确无其他管理者且为动态分配内存时进行，否则需自定义删除器防止误释放。核心原则是保持所有权清晰，优先使用智能指针以提升安全性。
采用copy-and-swap惯用法，拷贝构造在赋值时先执行，失败不影响原对象；2.swap函数必须声明为noexcept，仅交换成员且不进行可能抛异常的操作；3.使用RAII管理资源，如std::vector替代裸指针，确保资源安全；4.自定义swap应基于std::swap特化并保证无异常，所有成员类型swap也需noexcept；整体确保操作要么完全成功，要么回滚到原始状态。
异常安全保证确保C++程序在抛出异常时仍保持有效状态，避免资源泄漏或数据损坏。它分为三个级别：基本保证、强保证和无抛出保证。基本保证指对象处于有效但不可预测的状态；强保证要求操作原子性，成功则完全生效，失败则回滚；无抛出保证则确保操作绝不抛出异常。为实现这些级别，应采用RAII管理资源，使用智能指针和标准库容器，避免析构函数抛出异常，并应用“拷贝并交换”等技术来提供强异常安全。函数设计需明确其异常安全承诺，优先准备资源再提交修改，并隔离可能抛出异常的用户代码。异常安全应从设计阶段入手，结合现代C++机制提
答案：C++11提供三种智能指针，unique_ptr独占所有权、shared_ptr共享所有权、weak_ptr打破循环引用，合理选择可提升内存安全与代码质量。
C++中的智能指针unique_ptr和shared_ptr用于自动管理动态内存，避免内存泄漏。unique_ptr适用于独占资源管理，不可复制但可移动，适合局部对象、工厂函数返回值等场景；shared_ptr通过引用计数实现资源共享，适合多线程或模块间共享对象的场景。二者相比，unique_ptr性能开销低，shared_ptr因维护引用计数代价稍高，必要时可配合weak_ptr解决循环引用问题。
C++智能指针通过RAII机制自动管理内存，避免泄漏和悬空指针。std::unique_ptr独占所有权，高效安全；std::shared_ptr共享所有权，用引用计数管理生命周期；std::weak_ptr打破循环引用，实现非拥有式观察，三者结合STL容器可简化资源管理。
智能指针通过自动管理内存防止泄漏，C++提供unique_ptr、shared_ptr和weak_ptr三种类型，分别实现独占、共享及弱引用管理，提升内存安全性与代码可维护性。
智能指针性能分析：unique_ptr与裸指针性能相近，耗时分别为0.33秒和0.32秒，因编译器优化消除额外开销；shared_ptr耗时0.85秒，因引用计数原子操作和控制块带来显著开销；结论是在现代C++中应优先使用unique_ptr替代裸指针以确保安全，shared_ptr适用于共享所有权但需避免在性能关键路径中频繁使用。
异常安全通过RAII和复制再交换等技术保障程序在异常下的正确性。1.基本保证确保资源不泄漏，对象状态有效；2.强保证实现操作的原子性，典型方法是复制再交换；3.无异常保证要求关键操作如析构函数和swap不抛出异常。使用智能指针、锁包装器等RAII类可自动释放资源，避免泄漏。移动操作应尽量标记noexcept以支持标准容器高效操作。函数设计需明确异常行为，局部捕获异常并转化为安全状态。始终确保资源由对象管理，是构建异常安全程序的核心。
火山引擎是字节跳动旗下企业级云与AI服务平台。聚焦大模型核心能力，依托字节自研豆包多模态大模型，凭借火山方舟一站式平台，提供模型精调、推理部署、智能应用搭建等全链路服务，结合高性能AI算力，助力各行业快速落地大模型数字化与智能化应用。
