一. C++ 异常处理
异常是程序执行过程中出现的问题。C++ 异常是程序运行时出现的特殊情况的响应,例如尝试除以零。
异常提供了一种从程序的一部分转移控制到另一部分的方法。C++ 的异常处理建立在三个关键字之上:try
、catch
和 throw
。
二. throw
关键字
当问题出现时,程序会抛出异常。这是通过 throw
关键字完成的。
三. catch
关键字
程序使用异常处理程序捕获异常,即在程序中您希望处理问题的地方。catch
关键字用于表示捕获异常。
四. try
关键字
try
代码块标识出某段代码,这段代码中可能会激活特定的异常。它后面跟着一个或多个 catch
代码块。
假设某段代码可能引发异常,方法是使用 try
和 catch
关键字的组合来捕获异常。try/catch
块围绕可能生成异常的代码。try/catch
块中的代码称为受保护代码,语法如下:
try {
} catch( ExceptionName e1 ) {
} catch( ExceptionName e2 ) {
} catch( ExceptionName eN ) {
}
您可以列出多个 catch
语句,以捕获不同类型的异常,前提是 try
块在不同情况下引发多个异常。
五. 抛出异常
在代码块的任何地方都可以使用 throw
语句抛出异常。throw
语句的操作数决定异常的类型,并且可以是任何表达式。表达式结果的类型决定了抛出异常的类型。
示例
以下示例演示了当发生除以零的情况时抛出异常:
double division(int a, int b) {
if( b == 0 ) {
throw "Division by zero condition!";
}
return (a/b);
}
六. 捕获异常
try
块后的 catch
块捕获任何异常。您可以指定要捕获哪种类型的异常,这是由关键字 catch
后括号中的异常声明决定的。
try {
} catch( ExceptionName e ) {
}
上述代码将捕获 ExceptionName
类型的异常。如果您希望 catch
块处理 try
块中抛出的任意类型的异常,则必须在括号中包含省略号 ...
,如下所示:
try {
} catch(...) {
}
示例
以下示例抛出除以零的异常,并在 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*
类型的异常,因此在捕获该异常时必须使用 const char*
类型的 catch
块。如果我们编译并运行上述代码,将会生成以下结果:
Division by zero condition!
七. C++ 标准异常
C++ 提供了一组在 <exception>
头文件中定义的标准异常,我们可以在程序中使用这些异常。它们按父子类层次结构排列,以下是每个异常的简要描述:
-
std::exception
所有标准 C++ 异常的父类。
-
std::bad_alloc
由 new
操作符抛出。
-
std::bad_cast
由 dynamic_cast
抛出。
-
std::bad_exception
用于处理意外异常的设备。
-
std::bad_typeid
由 typeid
抛出。
-
std::logic_error
通过阅读代码可以检测到的逻辑错误。
-
std::domain_error
使用数学上无效的域时抛出。
-
std::invalid_argument
由于无效参数抛出。
-
std::length_error
当创建过大的 std::string
时抛出。
-
std::out_of_range
例如,由 std::vector
和 std::bitset<>::operator[]()
方法的 at
抛出。
-
std::runtime_error
无法通过阅读代码检测到的运行时错误。
-
std::overflow_error
数学溢出时抛出。
-
std::range_error
当尝试存储超出范围的值时抛出。
-
std::underflow_error
数学下溢时抛出。
八. 定义新的异常
您可以通过继承和重写 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) {
}
}
这将生成以下结果:
MyException caught
C++ Exception
在这里,what()
是 exception
类提供的公共方法,所有子异常类都重写了该方法。它返回异常的原因。