首先来看一段代码：
#include <iostream>
#include <string>
using namespace std;
int func(int i, int j) throw(int, char)
{
if( (0 < j) && (j < 10) )
{
return (i + j);
}
else
{
throw '0';
}
}
void test(int i) try
{
cout << "func(i, i) = " << func(i, i) << endl;
}
catch(int j)
{
cout << "Exception: " << j << endl;
}
catch(...)
{
cout << "Exception..." << endl;
}
int main(int argc, char *argv[])
{
test(5);
test(10);
return 0;
}
请问这段代码 void test(int i) 和 in func(int i, int j) 在定义时，比较诡异的写法是什么意思呢？ 为什么会在 int func(int i, int j) 后面跟个 throw(int, char) ，而在 void test(int i) 后面跟着 try ... catch... 语句块呢？
其实这里有一个新的知识点： 函数异常声明 。
- try ... catch ... 用于分隔正常功能代码和异常处理代码
- try ... catch ... 可以直接将函数实现分隔为2部分
- 函数声明和定义时可以直接指定可能抛出的异常类型
- 异常声明称为函数的一部分可以提高代码可读性
所以在上述那段代码里：
int func(int i, int j) throw(int, char)
{
if( (0 < j) && (j < 10) )
{
return (i + j);
}
else
{
throw '0';
}
}
int func()函数 后面指定了可能抛出的异常类型为 int 和 char 类型，也就是说func函数体在执行过程中可能会抛出int类型或者char类型的异常。
void test(int i) try
{
cout << "func(i, i) = " << func(i, i) << endl;
}
catch(int j)
{
cout << "Exception: " << j << endl;
}
catch(...)
{
cout << "Exception..." << endl;
}
而在 test()函数中，使用了try ... catch ...语句块把正常代码和异常代码分隔开，当正常代码在执行过程中，无法继续往下执行，就会抛出事先声明好的异常，然后 catch语句块中进行捕获。而catch语句块已经事先声明好数据类型，所以捕获异常数据时，根据异常数据类型来判断执行那段catch语句，如果没有匹配上，就会执行参数为 ...的catch语句，它代码任意类型。
由于这里抛出了 char类型 的 '0'，所以会执行最后一个catch语句块。
最后给出上述代码的执行结果：
func(i, i) = 10
func(i, i) = Exception...
接下来给出几个注意事项：
- 函数异常声明时一种与编译器之间的契约
- 函数声明异常后就只能抛出声明的异常
- 抛出其它异常将导致程序运行终止
- 可以直接通过异常声明定义无异常函数
