1.概述
异常是在程序执行过程中出现的问题。C++ 异常是对程序运行时出现的异常情况的响应,例如尝试除以零。
异常提供了一种将控制从程序的一个部分转移到另一个部分的方法。C++ 异常处理建立在三个关键字之上:try、catch和throw
。
-
throw
- 当出现问题时,程序会抛出异常。这是使用throw
关键字完成的。 -
catch
- 程序在您要处理问题的程序中使用异常处理程序捕获异常。catch
关键字表示捕获异常。 -
try
- try块标识将激活特定异常的代码块。它后面跟着一个或多个 catch 块。
假设代码块将引发异常,则使用try
和catch
关键字的组合捕获异常。一个 try/catch
块放置在可能产生异常的代码周围。try/catch
块中的代码称为受保护代码,使用 try/catch
的语法如下 -
try {
// protected code
} catch( ExceptionName e1 ) {
// catch block
} catch( ExceptionName e2 ) {
// catch block
} catch( ExceptionName eN ) {
// catch block
}
您可以列出多个catch
语句来捕获不同类型的异常,以防您的try
块在不同情况下引发多个异常。
2.抛出异常
可以使用 throw
语句在代码块内的任何地方抛出异常。throw
语句的操作数确定异常的类型,可以是任何表达式,表达式结果的类型确定抛出的异常类型。
以下是发生除以零条件时引发异常的示例 -
double division(int a, int b) {
if( b == 0 ) {
throw "Division by zero condition!";
}
return (a/b);
}
3.捕捉异常
try
块之后的catch
块可以捕获任何异常。您可以指定要捕获的异常类型,这取决于关键字 catch
后面括号中出现的异常声明。
try {
// protected code
} catch( ExceptionName e ) {
// code to handle ExceptionName exception
}
上面的代码将捕获ExceptionName
类型的异常。如果要指定 catch
块应处理 try
块中抛出的任何类型的异常,则必须在包含异常声明的括号之间放置一个省略号,如下所示 -
try {
// protected code
} catch(...) {
// code to handle any exception
}
下面是一个例子,它抛出一个被零除的异常,我们在 catch
块中捕获它。
#include <iostream>
using namespace std;
double division(int a, int b) {
if( b == 0 ) {
throw "Division by zero condition!";
}
return (a/b);
}
int main () {
int x = 50;
int y = 0;
double z = 0;
try {
z = division(x, y);
cout << z << endl;
} catch (const char* msg) {
cerr << msg << endl;
}
return 0;
}
因为我们引发了一个const char*
类型的异常,所以在捕获这个异常时,我们必须在 catch
块中使用 const char*
。如果我们编译并运行上面的代码,这将产生以下结果 -
Division by zero condition!
4.C++ 标准异常
C++ 提供了一个在<exception>
中定义的标准异常列表,我们可以在程序中使用这些异常。它们排列在如下所示的父子类层次结构中 -
这是上述层次结构中提到的每个异常的小描述 -
std::exception
:所有标准 C++ 异常的父类。std::bad_alloc
:这可以由new抛出。std::bad_cast
:这可以由dynamic_cast抛出。std::bad_exception
:这是处理 C++ 程序中意外异常的有用设备。std::bad_typeid
:这可以由typeid抛出。std::logic_error
:理论上可以通过阅读代码检测到的异常。std::domain_error
:这是使用数学上无效的域时引发的异常。std::invalid_argument
:这是由于无效参数而引发的。std::length_error
:当创建太大的 std::string 时会抛出此错误。std::out_of_range
:这可以由 ‘at’ 方法抛出,例如 std::vector 和 std::bitset<>::operator。std::runtime_error
:理论上无法通过阅读代码检测到的异常。std::overflow_error
:如果发生数学溢出,则会抛出此错误。std::range_error
:当您尝试存储超出范围的值时会发生这种情况。std::underflow_error
:如果发生数学下溢,则会抛出此错误。
5.自定义异常类型
您可以通过继承和覆盖exception
类函数来定义自己的异常。以下是示例,它显示了如何使用 std::exception
类以标准方式实现自己的异常 -
#include <iostream>
#include <exception>
using namespace std;
struct MyException : public exception {
const char * what () const throw () {
return "C++ Exception";
}
};
int main() {
try {
throw MyException();
} catch(MyException& e) {
std::cout << "MyException caught" << std::endl;
std::cout << e.what() << std::endl;
} catch(std::exception& e) {
//Other errors
}
}
这将产生以下结果
MyException caught
C++ Exception
这里,what()
是异常类提供的公共方法,它已被所有子异常类覆盖。这将返回异常的原因。
参考目录
https://www.tutorialspoint.com/cplusplus/cpp_exceptions_handling.htm