std::runtime_error是否会终止程序

std::runtime_error 本身不会直接导致程序终止,程序是否终止取决于该异常是否被正确捕获(处理)。

一、核心原理说明

  1. std::runtime_error 是C++标准库中的异常类(继承自 std::exception ),它的作用仅仅是"标识一种运行时错误场景"并被抛出,本身不包含任何终止程序的逻辑。
  2. 异常抛出后(通过 throw std::runtime_error("错误信息") ),程序会进入"异常传播流程":从抛出异常的函数开始,逐层向上回溯调用栈,寻找匹配的 catch 块来处理该异常。

二、两种核心场景(决定程序是否终止)

场景1:异常被 catch 块捕获处理------程序不会终止

如果在异常传播路径上,存在匹配的 catch 块(可直接捕获 std::runtime_error ,或其父类 std::exception ),异常会被处理,程序会从 catch 块之后继续执行,不会终止。

示例代码:

cpp 复制代码
  
#include <iostream>
#include <stdexcept>
#include <string>

// 可能抛出std::runtime_error的函数
void do_some_operation(int value) {
    if (value < 0) {
        // 抛出std::runtime_error异常,仅标识错误,不终止程序
        throw std::runtime_error("运行时错误:输入值不能为负数");
    }
    std::cout << "操作执行成功,输入值:" << value << std::endl;
}

int main() {
    int input = -10;

    // 使用try-catch捕获异常
    try {
        do_some_operation(input);
    }
    // 匹配std::runtime_error异常,进行处理
    catch (const std::runtime_error& e) {
        std::cerr << "捕获到异常:" << e.what() << std::endl;
    }
    // 可选:捕获所有std::exception派生异常
    catch (const std::exception& e) {
        std::cerr << "捕获到通用异常:" << e.what() << std::endl;
    }

    // 异常处理后,程序继续执行此处
    std::cout << "程序未终止,继续运行..." << std::endl;
    return 0;
}

运行结果(程序正常执行完毕,不终止):

plaintext 复制代码
  
捕获到异常:运行时错误:输入值不能为负数
程序未终止,继续运行...

场景2:异常未被捕获(未找到匹配的 catch 块)------程序终止

如果异常传播到调用栈的顶层(通常是 main 函数),仍然没有找到匹配的 catch 块,会触发C++运行时库的默认未捕获异常处理机制:

  1. 首先调用 std::terminate() 函数;
  2. std::terminate() 默认会调用 std::abort() ,最终导致程序异常终止(退出码非0,且不会执行后续代码、不会正常析构局部对象等)。

示例代码(无 catch 块捕获异常):

cpp 复制代码
 
#include <iostream>
#include <stdexcept>

void do_some_operation(int value) {
   if (value < 0) {
       throw std::runtime_error("运行时错误:输入值不能为负数");
   }
}

int main() {
   int input = -10;
   // 抛出异常,但无任何catch块处理
   do_some_operation(input);

   // 以下代码永远不会执行
   std::cout << "程序继续运行..." << std::endl;
   return 0;
}

运行结果(程序异常终止):

plaintext 复制代码
 
terminate called after throwing an instance of 'std::runtime_error'
 what():  运行时错误:输入值不能为负数
Aborted (core dumped)

三、补充说明

  1. 未捕获异常导致的程序终止是"异常终止",不同于正常退出( return 0 ),可能会造成资源泄露(如堆内存未释放、文件未关闭等),因为局部对象的析构函数可能无法被正常调用。
  2. 可以通过 std::set_terminate() 自定义 std::terminate() 的回调函数,但这只能用于做退出前的清理工作,无法阻止程序终止。
  3. std::runtime_error 是运行时异常,通常用于表示"程序运行期间才能够检测到的错误"(如输入非法、资源不足等),与编译期错误无关。

总结

  1. std::runtime_error 本身不终止程序,它只是被抛出的异常对象;
  2. 被 catch 块正确捕获→程序继续执行,不终止;
  3. 未被捕获→触发 std::terminate() →程序异常终止。
相关推荐
apocelipes21 小时前
常用编程语言和库的正则表达式性能对比
c语言·c++·python·性能优化·golang·开发工具和环境
郝学胜_神的一滴2 天前
CMake 034:生成器表达式:解耦构建时序、精简分支逻辑的终极利器
c++·cmake
见过夏天3 天前
C++ 基础入门完全指南
c++
用户805533698034 天前
不止三件套:QObject 属性系统全关键字与运行时反射!
c++·qt
BadBadBad__AK5 天前
线段树维护区间 k 次方和
c++·数学·算法·stl
卷无止境5 天前
Eigen 库如何借助 OpenMP 加速计算
c++·后端
卷无止境5 天前
OpenMPI、MPICH 与 OpenMP:关系、核心概念与架构全解
c++·后端
郝学胜_神的一滴6 天前
CMake 30:循环语法全解|foreach_while双循环精讲、迭代技巧与实战避坑指南
c++·cmake
卷无止境8 天前
C++ 的Eigen 库全解析
c++
卷无止境8 天前
现代 C++特性大盘点:一门脱胎换骨的老语言
c++·后端