编写c++模板代码时确保异常安全至关重要，需遵循四个核心要点：1. 假设所有用户类型可能抛出异常，减少状态变更、使用raii管理资源、保持事务性操作；2. 容器实现中应避免数据丢失，如扩容失败时保留原数据；3. 泛型算法应保持异常中立，如swap函数调用标准库实现；4. 使用noexcept与sfinae限制类型要求，为不同异常保证级别提供不同实现路径。
在C++的模板代码中处理异常，特别是泛型编程中考虑异常安全，是一个容易被忽视但非常关键的问题。因为模板通常需要适用于各种类型，这些类型的构造、析构和操作可能会抛出异常，而一旦处理不当，就可能导致资源泄漏、状态不一致等问题。
1. 异常安全的基本原则
在编写模板代码时，必须假设所有用户自定义类型都可能抛出异常。这意味着：
- 构造函数、赋值运算符、析构函数等都可能失败
- 内存分配（如
new
）也可能抛出std::bad_alloc
因此，在设计泛型逻辑时，要遵循以下基本原则：
立即学习“C++免费学习笔记（深入）”；
- 最小化异常暴露点：尽量减少在可能抛出异常的代码路径上执行的状态变更。
- 使用RAII管理资源：确保资源（如内存、锁、文件句柄）在对象构造时获取，在析构时释放，避免泄漏。
- 保持事务性操作：要么全部完成，要么完全回滚。
2. 常见场景与处理方式
容器类实现中的异常安全
比如一个简单的动态数组模板类，当扩容时重新分配内存并复制旧元素：
template <typename T>
void Vector<T>::resize(size_t new_size) {
T* new_data = new T[new_size]; // 可能抛出 bad_alloc
for (size_t i = 0; i < size_; ++i) {
new_data[i] = data_[i]; // T 的赋值可能抛出
}
delete[] data_;
data_ = new_data;
size_ = new_size;
}这段代码并不安全。如果
new_data[i] = data_[i]过程中某个赋值抛出异常，那么原始数据已经被删除了。
改进方法：
- 使用“复制并交换”模式
- 或者先复制到新内存，再替换指针
T* new_data = new T[new_size];
try {
for (...) { ... } // 拷贝元素
} catch (...) {
delete[] new_data;
throw;
}
delete[] data_;
data_ = new_data;这样即使拷贝失败，也不会破坏原数据。
3. 泛型算法中的异常中立性
模板函数应该尽可能做到“异常中立”，即不对传入类型的异常行为做假设，也不改变它们的行为。
例如，写一个通用的交换函数：
template <typename T>
void swap(T& a, T& b) {
T tmp = a;
a = b;
b = tmp;
}这个版本在某些情况下可能不够安全，因为如果
T的拷贝构造或赋值会抛出异常，那整个
swap就可能失败。
更好的做法是：
- 利用类型特征判断是否可以使用
noexcept
版本 - 对于 POD 类型可以直接使用
memcpy
- 否则使用标准库提供的
std::swap
，它已经针对各种类型做了优化
所以建议直接调用
using std::swap; swap(a, b);来利用 ADL 和重载机制。
4. noexcept 与 SFINAE 结合使用
如果你希望模板函数只接受不会抛出异常的操作，可以结合
noexcept和 SFINAE：
template <typename T>
auto safe_copy(T* dest, const T* src, size_t count)
-> std::enable_if_t<std::is_nothrow_copy_assignable_v<T>, void> {
for (size_t i = 0; i < count; ++i) {
dest[i] = src[i];
}
}这样就能限制只有支持无异常拷贝赋值的类型才能通过编译。
另外，也可以为不同的异常保证级别提供不同实现路径，例如：
strong guarantee
（强保证）：操作要么成功，要么无变化basic guarantee
（基本保证）：程序仍处于合法状态nothrow guarantee
（无抛出）：操作永远不会抛出异常
基本上就这些。泛型代码中处理异常不是特别复杂，但很容易忽略细节。只要在设计时多一点对异常的敏感度，加上一些防御性编码技巧，就可以写出更健壮的模板代码。
