C++ 异常处理

1.语法

throw 表达式

try {
	语句块
}
catch (异常声明) {
	语句块
}
catch...
.
.
.

throw后表达式与异常声明匹配的规则
1.声明类型是抛出类型相同的类型或者同类型的引用
2.声明类型是抛出类型的公共基类或其引用
3.皆为指针类型，抛出类型到声明类型可以隐式转换

2.例题-处理零异常

// 处理零异常
#include<iostream>
using namespace std;

int divide(int x, int y) {
	if (y == 0)
		throw x;
	return x / y;
}

int main() {
	try {
		cout << "5/2=" << divide(5, 2) << endl;
		cout << "8/0=" << divide(8, 0) << endl;
		// 抛出异常后剩余的语句不执行
		cout << "7/2=" << divide(7, 2) << endl;
	}
	// 与函数形参类似，匹配类型
	catch (int e) {
		cout << e << "is divided by zero!" << endl;
	}
	// 如果抛出的异常没有与catch里的值匹配的，会终止程序
	// 如果只给出异常声明中的类型，则不能访问这个变量
	cout << "That is ok" << endl;
	return 0;
}
/*
输出：
5/2=2
8is divided by zero!
That is ok
*/

3.异常接口声明

①一般格式（要求包含所有可能抛出的异常类型）

void fun() throw(A,B,C,D);

②可以抛出任何类型的异常

void fun();

③不抛出任何异常的函数

void fun() throw();

4.异常处理中的构造与析构

C++异常处理特性（栈的解旋）：自动析构try块内，到异常被抛出前的所有建立的临时对象，且析构顺序与构造顺序相反

// 使用带析构语义的类的C++异常处理（栈的解旋）
#include<iostream>
#include<string>
using namespace std;

class MyException {
public:
	MyException(const string& message) : message(message) { cout << "构造一个MyExceotion" << endl; }
	~MyException() { cout << "析构一个MyException" << endl; }
	const string& getMessage() const { return message; }
private:
	string message;
};

class Demo {
public:
	Demo() { cout << "构造一个Demo" << endl; }
	~Demo() { cout << "析构一个Demo" << endl; }
};

void func() throw (MyException) {
	Demo d;
	cout << "Throw MyException in func()" << endl;
	// 抛出异常之前就析构在这个函数创建的Demo
	// 这里创建并且抛出一个异常对象
	throw MyException("exception thrown by func()");
}

int main() {
	cout << "In main function" << endl;
	try {
		func();
		// 抛出异常后的语句不会被执行，直接执行catch语句
		func();
	}
	// 也可以只有类型，没有具体的名字，但是那样不能访问抛出的对象
	catch (MyException& e) {
		cout << "Caught an exception:" << e.getMessage() << endl;
	}
	// 抛出异常后析构创建的异常对象
	cout << "Resume the execution of main()" << endl;
	return 0;
}
/*
输出：
In main function
构造一个Demo
Throw MyException in func()
构造一个MyExceotion
析构一个Demo
Caught an exception:exception thrown by func()
析构一个MyException
Resume the execution of main()
*/

5.例题-计算三角形面积

c++错误处理机制保证：

①对于以结点实现为基础的容器（list,set,map），要么成功，要么不对容器做任何改变

②对于以数组实现为基础的容器(vector)，不能保证不被改变

// 计算三角形面积
#include<iostream>
#include<cmath>
// 包含异常处理头文件
#include<stdexcept>
using namespace std;

// 给出三角形三边长，计算三角形面积
// invalid_argument 表示向函数传入无效参数
double area(double a, double b, double c) throw (invalid_argument) {
	// 抛出一个异常后该函数直接结束
	// 判断边长是否为正
	if (a <= 0 || b <= 0 || c <= 0) {
		throw invalid_argument("the side length should be positive");
	}
	// 判断三边长是否满足三角不等式
	if (a + b <= c || b + c <= a || c + a <= b) {
		throw invalid_argument("the side should fit the triangle inequation");
	}
	// Heron公式
	double s = (a + b + c) / 2;
	return sqrt(s * (s - a) * (s - b) * (s - c));
}

int main() {
	double a, b, c;
	cout << "Please input:";
	cin >> a >> b >> c;
	try {
		double s = area(a, b, c);
		// 抛出异常没有接下来的输出语句
		cout << "area:" << s << endl;
	}
	catch (exception& e) {
        // what 函数可以获得构造时给出的错误信息
		cout << "ERROR:" << e.what() << endl;
	}
	return 0;
}