异常规格说明已弃用，noexcept替代方案指南

异常规格说明中的动态异常规格已被弃用，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 能提升性能和代码安全性。

基本上就这些，不复杂但容易忽略。