若要在 C++ 中实现异常处理,你可以使用 try、throw 和 catch 表达式。
首先,使用 try 块将可能引发异常的一个或多个语句封闭起来。
throw 表达式发出信号,异常条件(通常是错误)已在 try 块中发生。你可以使用任何类型的对象作为 throw 表达式的操作数。该对象一般用于传达有关错误的信息。大多数情况下,建议你使用 std::exception 类或标准库中定义的派生类之一。如果其中的类不合适,建议你从 std::exception 派生自己的异常类。
若要处理可能引发的异常,请在 try 块之后立即实现一个或多个 catch 块。每个 catch 块指定它能处理的异常类型。
以下示例将显示 try 块及其处理程序。假设 GetNetworkResource() 通过网络连接获取数据,并且两个异常类型是从 std::exception 派生的用户定义的类。请注意,异常由 catch 语句中的 const 引用捕获。我们建议你通过值引发异常并通过常数引用将其捕获。
备注
try 子句后的代码是代码的受保护部分。 throw 表达式将引发(即引起)异常。 catch 子句后的代码块是异常处理程序。如果 throw 和 catch 表达式中的类型兼容,该处理程序将捕获引发的异常。有关管理 catch 块中类型匹配的规则的列表,请参阅Catch 块的计算方式 (C++)。如果 catch 语句指定省略号 (...) 而非类型,catch 块将处理每种类型的异常。当你使用 /EHa 选项编译时,异常可包括 C 结构化异常和系统生成或应用程序生成的异步异常,例如内存保护、被零除和浮点冲突。由于 catch 块按编程顺序处理以查找匹配类型,所以尽量不要使用省略号处理程序来处理关联的 try 块。请谨慎使用 catch(...);除非 catch 块知道如何处理捕获的特定异常,否则禁止程序继续执行。 catch(...) 块一般用于在程序停止执行前记录错误和执行特殊的清理工作。
没有操作数的 throw 表达式将重新引发当前正在处理的异常。我们建议在重新引发异常时采用该形式,是因为这将保留原始异常的多态类型信息。此类表达式只应在 catch 处理程序中或从 catch 处理程序调用的函数中使用。重新引发的异常对象是原始异常对象,而不是副本。
Catch 块的计算方式 (C++)
虽然通常建议您引发派生自 std::exception 的类型,但 C++ 使您能够引发任何类型的异常。可以通过指定与引发的异常相同的类型的 catch 处理程序或通过可捕获任何类型的异常的处理程序来捕获 C++ 异常。
如果引发的异常的类型是类,它还具有基类(或类),则它可由接受异常类型的基类和对异常类型的基的引用的处理程序捕获。请注意,当异常由引用捕获时,会将其绑定到实际引发的异常对象;否则,它将为一个副本(与函数的参数大致相同)。
引发异常时,将由以下类型的 catch 处理程序捕获该异常:
- 可以接受任何类型的处理程序(使用省略号语法)。
- 接受与异常对象相同的类型的处理程序;由于它是副本,因此 const 和 volatile 修饰符将被忽略。
- 接受对与异常对象相同的类型的引用的处理程序。
- 接受对与异常对象相同的类型的 const 或 volatile 形式的引用的处理程序。
- 接受与异常对象相同的类型的基类的处理程序;由于它是副本,因此 const 和 volatile 修饰符将被忽略。基类的 catch 处理程序不得位于派生类的 catch 处理程序的前面。
- 接受对与异常对象相同的类型的基类的引用的处理程序。
- 接受与异常对象相同的类型的基类的 const 或 volatile 形式的引用的处理程序。
- 接受可通过标准指针转换规则将引发的指针对象转换为的指针的处理程序。
catch 处理程序出现的顺序是有意义的,因为给定 try 块的处理程序按它们的出现顺序进行检查。例如,将基类的处理程序放置在派生类的处理程序的前面是错误的。 找到一个匹配的 catch 处理程序后,不会检查后续处理程序。因此,省略号 catch 处理程序必须是其 try 块的最后一个处理程序。例如:
在此示例中,省略号 catch 处理程序是已检查的唯一处理程序。