C++异常处理机制详解：try、throw与catch实战解析

江屿

发布时间：2026-10-15| 6人浏览过

原创

C++通过try、throw和catch机制提供结构化的错误处理方案。当程序运行中出现如除零、内存不足等难以预判的错误时，该机制允许将异常处理逻辑从业务代码中分离，提升程序的健壮性。

编译错误与运行时异常的区分

在软件开发中，错误主要分为两类。编译时的错误通常由语法问题引起，例如缺少分号、括号不匹配或关键字拼写错误。这类错误易于修复，因为编译器会明确提示出错行数和具体原因。相比之下，运行时的错误（即异常）更具隐蔽性和不可预见性，如内存空间耗尽、数组越界或非法除法等。若未对异常进行有效防范，程序可能导致非正常终止甚至系统死机。

异常处理的核心结构与执行流程

C++的异常处理由三个关键字构成：

try：定义需要监控的代码块，检查是否发生错误。
throw：在检测到异常条件时抛出错误信息。
catch：捕获并处理特定类型的异常信息。

其标准执行流程为：当try块内的代码触发throw时，程序立即中断当前执行流，查找匹配的catch块。如果当前函数无法处理，异常会向调用栈上传递，直至最高层仍无法处理时，系统将调用terminate函数进而终止程序。这种“引发与处理分离”的设计让底层函数专注于业务逻辑，而上层函数负责异常恢复。

第1步：基础异常捕获与类型匹配

首先创建一个简单的除法模板函数，模拟除数为零时的异常抛出。在实际运行中，注意异常抛出后后续代码将不再执行。

#include "stdafx.h"
#include 

template 
T Div(T x, T y)
{
    if (y == 0)
        throw y; // 抛出异常，值类型为y的类型
    return x / y;
}

int main()
{
    int x = 5, y = 0;
    double x1 = 5.5, y1 = 0.0;
    try
    {
        std::cout << x << "/" << y << "=" << Div(x, y) << std::endl;
        std::cout << x1 << "/" << y1 << "=" << Div(x1, y1) << std::endl;
    }
    catch(int) // 捕获整型异常
    {
        std::cout << "除数为0,计算错误！" << std::endl;
    }
    catch(double) // 捕获双精度异常
    {
        std::cout << "除数为0.0,计算错误！" << std::endl;
    }
    return 0;
}

在上述代码中，Div(x, y) 因除数为0抛出整型异常，被第一个catch(int)捕获并处理后，程序流程直接跳至return 0。这意味着第二个Div(x1, y1) 以及catch(double) 模块均未被执行。运行结果如下：

若修改输入值使第一次调用成功（如y=1），则两个除法操作均正常执行，结果为：

第2步：嵌套异常处理与任意类型捕获

为了演示更复杂的控制流，我们可以使用省略号...捕获任意类型的异常，并在内部重新抛出特定类型进行处理。

#include "stdafx.h"
#include 

template 
T Div(T x, T y)
{
    if (y == 0)
        throw y;
    return x / y;
}

int main()
{
    int x = 5, y = 1;
    double x1 = 5.5, y1 = 0.0;
    try
    {
        std::cout << x << "/" << y << "=" << Div(x, y) << std::endl;
        std::cout << x1 << "/" << y1 << "=" << Div(x1, y1) << std::endl;
    }
    catch(...) // 捕获任意类型异常
    {
        try
        {
            std::cout << "任意类型异常！" << std::endl;
            throw; // 再次抛出当前处理的异常，供内层catch匹配
        }
        catch(int)
        {
            std::cout << "除数为0,计算错误！" << std::endl;
        }
        catch(double)
        {
            std::cout << "除数为0.0,计算错误！" << std::endl;
        }
    }
    return 0;
}

此示例展示了即使外层使用了万能捕获catch(...)，内层仍可针对具体类型进行精细化处理。运行结果确认了不同数值类型对应的提示信息：