64、C++中的异常处理（上）

1、C++中的异常处理

• C++内置了异常处理的语法元素 try…catch…
  — try 语句处理正常代码逻辑
  — catch 语句处理异常情况
  — try 语句中的异常由对应的 catch 语句处理

try
{
	double r = divide(1, 0);
}
catch (...)
{
	cout << "devide by zero..." << endl;
}

• C++通过throw 语句抛出异常信息

double divide(double a, double b)
{
	double delta = 0.00000001;
	double ret = 0;
	if (!((-delta < b) && (b < delta)))
	{
		ret = a / b;
	}
	else
	{
		throw 0;		//产生除 0 异常
	}
	return ret;
}

先通过 try 调用函数，有异常通过 throw 调用 catch里面的异常处理信息。

• throw 抛出的异常必须被catch处理
  — 当前函数能够处理异常，程序继续向下执行
  — 当前函数无法处理异常，则函数停止执行，并返回

未被处理的异常会顺着函数调用栈向上传播，直到被处理为止，否则程序将停止执行。

#include <iostream>

using namespace std;

double divide(double a, double b)
{
	double delta = 0.00000001;
	double ret = 0;
	if (!((-delta < b) && (b < delta)))
	{
		ret = a / b;
	}
	else
	{
		throw 0;
	}
	return ret;
}

int main()
{
	double r = divide(1, 0);
	cout << "r = " << r << endl;
	return 0;
}

异常没有 catch 给它处理，因此出现这样的输出。

#include <iostream>

using namespace std;

double divide(double a, double b)
{
	double delta = 0.00000001;
	double ret = 0;
	if (!((-delta < b) && (b < delta)))
	{
		ret = a / b;
		
	}
	else
	{
		throw 0;
	}
	
	return ret;
}

int main()
{
	try
	{
		double r = divide(1, 0);
		cout << "r = " << r << endl;
	}
	catch (...)
	{
		cout << "divide by zero..." << endl;
	}
	
	return 0;
}

2、try 与 catch

• 同一个 try 语句可以跟上多个 catch 语句
  — catch 可以定义具体处理的异常类型
  — 不同类型的异常由不同的 catch 语句负责处理
  — try 语句可以抛出任何类型的异常（可以是整型，字符型或者字符串）
  — catch（…）用于处理所有类型的异常（通吃）
  — 任何异常都只能被捕获（catch）一次
• 异常处理的匹配规则（严格匹配）
  

#include <iostream>

using namespace std;

void demo()
{
	try
	{
		throw 1;
	}
	catch (char c)
	{
		cout << "catch (char c)" << endl;
	}
	catch (double d)
	{
		cout << "catch (double d)" << endl;
	}
	catch (int i)
	{
		cout << "catch (int i)" << endl;
	}
	catch (float f)
	{
		cout << "catch (float f)" << endl;
	}

	catch (...)
	{
		cout << "catch (...)" << endl;
	}
}

int main()
{
	demo();

	return 0;
}

分析：我们 throw 了一个整型的异常，如果可以隐式转换，那么转换成 char 也是合情合理的，如果隐式转换成功，那么输出结果应该是catch (char c)。但结果是catch (int i)，因此我们可以推断 catch 的异常处理是严格匹配的。如果 catch 到最后都没有能够匹配的异常，那么它会顺着函数调用栈向上传播，直到被处理为止，否则程序将停止执行。
不仅如此，catch(...)可以匹配所有的异常，并且它只能放在最后。

#include <iostream>

using namespace std;

void demo()
{
	try
	{
		throw 1;
	}
	catch (char c)
	{
		cout << "catch (char c)" << endl;
	}
	catch (double d)
	{
		cout << "catch (double d)" << endl;
	}
	catch (int i)
	{
		cout << "catch (int i)" << endl;
	}
	catch (float f)
	{
		cout << "catch (float f)" << endl;
	}

	catch (...)
	{
		cout << "catch (...)" << endl;
	}
}
void demo2()
{
	throw "xiebs";
}
int main()
{
	demo();
	try
	{
		demo2();
	}
	catch (char* s)
	{
		cout << "catch (char* s)" << endl;
	}
	catch (string ss)
	{
		cout << "catch (string s)" << endl;
	}
	return 0;
}

因为编译器认为字符串是 const char* 类型，因此没有匹配的catch。
换一下：

#include <iostream>

using namespace std;

void demo()
{
	try
	{
		throw 1;
	}
	catch (char c)
	{
		cout << "catch (char c)" << endl;
	}
	catch (double d)
	{
		cout << "catch (double d)" << endl;
	}
	catch (int i)
	{
		cout << "catch (int i)" << endl;
	}
	catch (float f)
	{
		cout << "catch (float f)" << endl;
	}

	catch (...)
	{
		cout << "catch (...)" << endl;
	}
}
void demo2()
{
	throw string("xiebs");
}
int main()
{
	demo();
	try
	{
		demo2();
	}
	catch (char* s)
	{
		cout << "catch (char* s)" << endl;
	}
	catch (string ss)
	{
		cout << "catch (string s)" << endl;
	}

	return 0;
}

小结：

• C++中直接支持异常处理的操作
• try..catch...是C++中异常处理的专用语句
• try 语句处理正常代码逻辑，catch语句处理异常情况
• 同一个try 语句可以跟上多个catch 语句
• 异常处理必须严格匹配，不进行任何的类型转换