标准异常可用 catch (const std::exception&) 捕获,自定义异常须继承 std::exception(如 std::runtime_error)并按具体到宽泛顺序捕获,否则会跳过或崩溃。

标准异常能用 catch (const std::exception& e) 捕获,但自定义异常必须显式声明类型;noexcept 不是“不抛异常”的保证,而是编译期契约——违反它会直接调用 std::terminate。
如何正确捕获标准异常和自定义异常
标准异常(如 std::runtime_error、std::out_of_range)都继承自 std::exception,所以用基类引用捕获是安全的。但自定义异常若没继承 std::exception,就不能被 catch (const std::exception&) 捕获,会跳过并终止程序。
常见错误现象:自定义类 MyError 直接 throw MyError{},却只写 catch (const std::exception&),结果崩溃。
- 自定义异常应显式继承
std::exception或其派生类(推荐std::runtime_error) - 捕获顺序必须从具体到宽泛:先
catch (const MyError&),再catch (const std::exception&),否则后者会吞掉前者 - 不要用
catch (...)代替具体捕获——它无法获取异常信息,且掩盖类型意图
class MyError : public std::runtime_error {
public:
MyError(const std::string& msg) : std::runtime_error("MyError: " + msg) {}
};
// 正确捕获顺序
try {
throw MyError{"failed"};
} catch (const MyError& e) {
std::cout << "Custom: " << e.what() << "\n";
} catch (const std::exception& e) {
std::cout << "Std: " << e.what() << "\n";
}
noexcept 的真实作用与误用场景
noexcept 是函数声明的一部分,告诉编译器“这个函数承诺不抛出任何异常”。它不是运行时检查,也不影响函数体内部能否 throw;一旦违反,程序立即调用 std::terminate,没有栈展开,无法 catch。
立即学习“C++免费学习笔记(深入)”;
典型误用:给可能调用 new 或 std::string 构造的函数加 noexcept,而没考虑内存分配失败(std::bad_alloc)。
-
noexcept函数内仍可throw,但会导致未定义行为(实际就是终止) - 移动构造/移动赋值函数加
noexcept是关键——容器(如std::vector)在扩容时依赖它决定是否用移动而非拷贝 - 用
noexcept(true)或noexcept(false)显式标注更清晰;省略时默认为noexcept(false)
struct Widget {
std::string data;
// ✅ 移动构造加 noexcept,让 vector::reserve 能安全移动
Widget(Widget&& other) noexcept : data(std::move(other.data)) {}
// ❌ 若这里抛异常(比如 data 移动时分配失败),程序直接 terminate
Widget(int x) noexcept {
if (x < 0) throw std::invalid_argument("x must be >= 0"); // 违反 noexcept!
}
};
try-catch 块中容易忽略的资源管理问题
在 catch 块里手动 delete 或关闭文件,极易遗漏或重复释放。C++ 异常安全的核心不是靠 catch 补救,而是靠 RAII。
常见错误现象:在 try 中 new int[100],然后在 catch 里 delete[] p —— 如果 catch 里又抛异常,内存就泄漏了。
- 永远优先用智能指针(
std::unique_ptr)、容器(std::vector)、RAII 封装类(如std::fstream)管理资源 -
catch块只做错误分类、日志、转换或恢复决策,不负责资源清理 - 需要“无论是否异常都执行”的逻辑,用 lambda +
std::shared_ptr自定义删除器,或 C++20 的std::scope_exit(需自行实现兼容版)
最常被绕开的点:noexcept 的契约性比看起来更硬,它不接受 runtime 权衡;而自定义异常的类型安全性,完全取决于你是否真的让它继承 std::exception——光名字像没用。










