C++ 怎么捕获异常 C++ try-catch块处理运行时错误【健壮性】_网络技术

C++的try-catch只能捕获用throw显式抛出的异常及标准库中明确声明会抛异常的函数（如std::vector::at()、std::stoi()）所抛出的异常。

try-catch 能捕获哪些异常

C++ 的 try-catch 只能捕获用 throw 显式抛出的异常，以及标准库中明确声明会抛异常的函数（比如 std::vector::at()、std::stoi()）所抛出的异常。它**不能捕获**段错误（SIGSEGV）、除零（非浮点除零）、空指针解引用、栈溢出等底层运行时错误——这些属于操作系统信号或未定义行为，不是 C++ 异常机制的一部分。

常见误判：看到程序崩溃就以为“没 catch 到”，其实根本没进 try 块，因为崩溃发生在异常机制之外。

可捕获：throw std::runtime_error("oops")、std::stoi("abc") 抛出的 std::invalid_argument
不可捕获：int* p = nullptr; *p = 42;、int x = 1 / 0;（整数除零是未定义行为，不抛异常）
浮点除零可能产生 std::numeric_limits::quiet_NaN() 或触发 FPU 异常，但默认不抛 C++ 异常

catch 块怎么写才不漏掉异常

关键不是“抓得全”，而是“抓得准+兜得住”。直接写 catch(...) 看似万能，但会吞掉所有信息，无法区分错误类型，也不利于调试和恢复逻辑。

推荐分层捕获：

优先按具体类型捕获：例如 catch(const std::out_of_range& e)，可安全访问 e.what()
再捕获其父类（如 std::runtime_error），覆盖更广的运行时错误
最后用 catch(const std::exception& e) 收口——这是标准异常的根类，能捕获所有从 std::exception 派生的异常
catch(...) 仅用于日志记录+紧急清理，之后通常应重新抛出（throw;）或终止程序，避免静默失败

注意：catch(std::exception e)（传值）会触发拷贝，且可能切片；务必写成 catch(const std::exception& e)（常量引用）。

throw 表达式里该 throw 什么

不要 throw 原始字符串字面量（如 throw "file not found"），它不是 std::exception 派生类，会被 catch(const std::exception&) 漏掉，只能靠 catch(...) 或 catch(const char*) 捕获，破坏类型安全。

标准做法是 throw 标准异常对象或自定义异常类：

逻辑错误：用 std::logic_error 及其子类（std::invalid_argument、std::domain_error）
运行时问题：用 std::runtime_error 及其子类（std::system_error、std::ios_base::failure）
自定义异常：继承 std::runtime_error，构造时传入描述字符串，确保兼容现有 catch 链

示例：throw std::runtime_error("failed to open config file: " + filename);

异常安全的资源管理怎么做

异常发生时，栈展开（stack unwinding）会自动调用局部对象的析构函数——这是 RAII 的基础。但如果你手动 new 内存、fopen 文件、pthread_mutex_lock 锁，又没在 catch 里配对释放，就会泄漏。

正确姿势只有一条：别裸写资源管理代码。

用 std::unique_ptr 替代裸 new/delete
用 std::fstream 替代 FILE*（析构自动 fclose）
用 std::lock_guard 或 std::scoped_lock 包裹互斥锁
避免在构造函数里做可能失败的重操作；若必须，确保构造函数要么成功，要么彻底失败（不留下半构造对象）

函数是否异常安全，取决于它是否满足基本保证（资源不泄漏）、强保证（回滚到之前状态）或不抛保证（noexcept）。标 noexcept 不是装饰，一旦违反会调用 std::terminate。

真正容易被忽略的是：析构函数里不要抛异常。C++ 标准规定，若栈展开期间另一个异常被抛出（比如析构函数里 throw），直接调用 std::terminate。所以析构函数应全部标记为 noexcept（默认就是），且内部用错误码或日志处理失败。

# c++ # 标准库 # try # throw # catch # 抛出 # 这是 # 子类 # 浮点 # 自定义 # 库中 # 抓得 # 资源管理 # 的是 # 就会

相关栏目：【网站优化151355 】【网络推广146373 】【网络技术251813 】【 AI营销90571 】