异常规格说明中的动态异常规格已被弃用，c++11引入noexcept作为替代。1. 动态异常规格因运行时开销、性能影响、维护困难和不安全性被逐步淘汰，c++17正式移除。2. noexcept在编译期确定是否抛出异常，提升性能与安全性，语法为void func() noexcept;或noexcept(expression)。3. 移动构造函数、swap和析构函数应优先使用noexcept以支持标准库优化并避免程序终止。4. 析构函数默认noexcept，不应显式抛出异常。5. noexcept非编译期强制检查，仅当异常抛出时调用std::terminate。正确使用noexcept可提高代码性能与可靠性，是现代c++的推荐实践。
异常规格说明（Exception Specifications）在 C++ 中确实已经被弃用（deprecated），尤其是在现代 C++ 标准中，
throw()这种动态异常规格已经被移除，取而代之的是
noexcept。下面我们来详细说明其演变过程和替代方案。
一、异常规格说明为何被弃用？
在 C++98/03 中，可以使用动态异常规格（dynamic exception specification），例如：
void func() throw(std::bad_alloc); // 只允许抛出 std::bad_alloc void func() throw(); // 不允许抛出任何异常（等价于 throw()）
但这种语法存在严重问题：
-
运行时检查：如果函数违反了异常规格（比如抛出了未列出的异常），会在运行时调用
std::unexpected()
，这带来运行时开销。 - 性能影响：编译器难以优化带有异常规格的函数。
- 难以维护：异常列表需要手动维护，容易出错。
-
不安全：
throw()
并不能真正保证安全，反而可能引发程序终止。
因此，C++11 开始逐步弃用这种动态异常规格：
- C++11 将
throw(...)
标记为 deprecated。 - C++17 正式 移除 了动态异常规格（除了
noexcept
和throw()
的特殊情况）。
二、noexcept 是什么？如何替代？
noexcept是 C++11 引入的替代方案，用于声明函数不会抛出异常。它比旧的
throw()更高效、更清晰。
基本语法：
void func() noexcept; // 承诺不抛出异常 void func() noexcept(true); // 显式说明不抛出 void func() noexcept(false); // 可能抛出异常
优势：
-
编译期决定：
noexcept
的使用可以在编译期判断，有助于优化。 -
性能更好：编译器对
noexcept
函数可进行更多优化（如移动构造函数优先使用noexcept
版本）。 -
更安全：如果
noexcept
函数抛出了异常，程序直接调用std::terminate()
，避免不可控行为。
三、常见使用场景和建议
1. 移动操作应尽量标记为 noexcept
标准库在做容器扩容（如
std::vector）时，会优先使用
noexcept的移动构造函数，否则退化为拷贝：
class MyClass {
public:
MyClass(MyClass&& other) noexcept
: data(other.data), size(other.size) {
other.data = nullptr;
other.size = 0;
}
private:
int* data;
size_t size;
};如果你的移动操作不会抛出异常，务必加上
noexcept，否则可能影响性能。
2. 用 noexcept
替代 throw()
旧代码中的
throw()应替换为
noexcept：
// 旧写法（C++17 起已删除） void cleanup() throw(); // 新写法 void cleanup() noexcept;
3. 条件性使用 noexcept
可以结合表达式，条件性声明是否
noexcept：
template<typename T>
void swap(T& a, T& b) noexcept(noexcept(a.swap(b))) {
a.swap(b);
}外层
noexcept(...)中的表达式用于判断是否
noexcept，这称为“操作是否不抛出”的查询。
4. 析构函数默认是 noexcept
在 C++11 及以后，析构函数默认是
noexcept，除非显式指定可能抛出：
~MyClass() noexcept(false); // 不推荐，可能引发问题
一般建议：析构函数不要抛出异常，否则可能导致
std::terminate。
四、常见误区
- ❌
noexcept
不是编译器强制检查的“安全锁”——你仍可以写throw
，但一旦抛出就会终止程序。 - ❌ 不要为了“满足接口”而随意加
noexcept
，必须确保函数真正不会抛出异常。 - ✅ 使用
noexcept
作为性能优化手段，特别是在移动语义、swap、资源释放等场景。
总结
- 动态异常规格（如
throw(std::bad_alloc)
）已被弃用并移除。 throw()
等效于noexcept
，但noexcept
是现代 C++ 的标准方式。- 推荐在不会抛出异常的函数上使用
noexcept
，尤其是移动构造函数、析构函数、swap 等。 - 合理使用
noexcept
能提升性能和代码安全性。
基本上就这些，不复杂但容易忽略。
