c++中异常安全的内存管理通过raii策略确保内存正确释放。1. 使用智能指针（如std::unique_ptr、std::shared_ptr）自动释放资源；2. 避免裸指针，改用raii封装资源；3. 构造函数中用raii管理资源，析构函数中避免抛出异常；4. 限制函数异常类型，使用noexcept提升性能；5. 编写单元测试并借助工具检测内存泄漏。
C++中异常安全的内存管理，简单来说，就是确保即使在程序抛出异常的情况下，你分配的内存也能被正确释放，不会造成内存泄漏。这听起来很简单，但实际操作中需要仔细设计，尤其是在复杂的代码结构中。
RAII（Resource Acquisition Is Initialization）是实现异常安全内存管理的核心策略。
RAII的本质，就是把资源的生命周期绑定到对象的生命周期上。当对象被销毁时（无论是因为正常退出作用域，还是因为异常导致栈展开），对象的析构函数会被调用，从而释放资源。
立即学习“C++免费学习笔记（深入）”；
智能指针如何助力异常安全？
智能指针，例如std::unique_ptr、std::shared_ptr和std::weak_ptr，是RAII的完美实现。它们封装了原始指针，并在析构函数中自动释放所指向的内存。使用智能指针，可以大大简化内存管理，并降低内存泄漏的风险。
例如：
#include <memory>
void foo() {
std::unique_ptr<int> ptr(new int(42));
// ... 可能会抛出异常的代码 ...
} // ptr离开作用域，自动释放内存即使foo函数在执行过程中抛出异常，ptr也会在栈展开的过程中被销毁，从而释放它所指向的内存。
如何避免裸指针和手动内存管理？
尽量避免使用new和delete手动管理内存。手动管理内存容易出错，而且很难保证异常安全。如果必须使用裸指针，一定要小心谨慎，并确保在所有可能的异常路径上都释放了内存。
更好的做法是，将裸指针封装在智能指针中，或者使用其他RAII机制来管理资源。
构造函数和析构函数中的异常处理
构造函数和析构函数中的异常处理非常重要。如果在构造函数中抛出异常，对象可能没有完全构造，因此析构函数可能不会被调用。这可能会导致资源泄漏。
为了避免这种情况，可以使用RAII来管理构造函数中分配的资源。如果在析构函数中抛出异常，程序可能会崩溃或出现未定义的行为。因此，应该避免在析构函数中抛出异常。如果必须在析构函数中执行可能抛出异常的操作，应该使用try-catch块来捕获异常，并进行适当的处理。
避免过度使用try-catch块
虽然try-catch块可以用来处理异常，但过度使用try-catch块会使代码难以阅读和维护。应该只在必要的地方使用try-catch块，例如，在处理可能抛出异常的外部库调用时。
更好的做法是，使用RAII来避免异常的发生，或者使用异常规范来限制函数可能抛出的异常类型。
资源管理类：除了智能指针，还有哪些选择？
智能指针是常用的RAII实现，但并非唯一选择。可以自定义资源管理类，封装资源的获取和释放逻辑。例如，管理文件句柄、网络连接等。
一个简单的文件句柄管理类：
#include <fstream>
class FileHandler {
public:
FileHandler(const std::string& filename) : file_(filename) {
if (!file_.is_open()) {
throw std::runtime_error("无法打开文件");
}
}
~FileHandler() {
if (file_.is_open()) {
file_.close();
}
}
std::fstream& getFile() { return file_; }
private:
std::fstream file_;
};
void processFile(const std::string& filename) {
FileHandler handler(filename);
std::fstream& file = handler.getFile();
// ... 使用 file 进行操作 ...
} // file 在 handler 析构时自动关闭复制构造函数和赋值运算符：深拷贝还是浅拷贝？
在使用资源管理类时，需要特别注意复制构造函数和赋值运算符。默认的复制构造函数和赋值运算符会进行浅拷贝，这可能会导致多个对象共享同一个资源，从而导致资源泄漏或double free。
为了避免这种情况，应该实现深拷贝，或者禁用复制构造函数和赋值运算符。使用std::unique_ptr可以有效防止拷贝，因为它禁止复制，只允许移动。
异常规范：限制函数可能抛出的异常类型
异常规范可以用来限制函数可能抛出的异常类型。这可以帮助编译器进行优化，并提高代码的可读性。在C++11之后，noexcept关键字被引入，用于声明函数不会抛出异常。
void foo() noexcept {
// ... 不会抛出异常的代码 ...
}使用noexcept可以提高代码的性能，因为编译器可以进行更多的优化。但要注意，如果noexcept函数抛出了异常，程序会立即终止。
测试：如何验证异常安全性？
编写单元测试来验证代码的异常安全性非常重要。可以编写测试用例，模拟各种异常情况，并检查是否发生了内存泄漏或其他资源泄漏。
可以使用内存泄漏检测工具，例如Valgrind，来检测内存泄漏。
valgrind --leak-check=full ./your_program
编写异常安全代码的实践建议
- 优先使用智能指针管理内存。
- 避免手动管理内存。
- 在构造函数和析构函数中小心处理异常。
- 避免在析构函数中抛出异常。
- 使用异常规范来限制函数可能抛出的异常类型。
- 编写单元测试来验证代码的异常安全性。
- 使用内存泄漏检测工具来检测内存泄漏。
