小甲鱼-C++快速入门笔记(33)之assert函数和捕获异常

1、assert函数

这个函数是在c语言的assert.h库文件里定义的,所以包含到c++程序里我们用以下语句:

#include <cassert>

assert( )函数需要有一个参数,它将测试这个输入参数的真or假状态. 

---如果为真,Do nothing

---如果为假, Do something

#include <iostream>
#include <cassert>

using namespace std;

int main()
{
	int i = 20;
	assert(i == 65);
	return 0;
}

我们可以利用它在某个程序里的关键假设不成立时立刻停止该程序的执行并报错,从而避免发生更严重的问题。另外，除了结合assert（）函数，在程序的开发、测试阶段，我们还可以使用大量的cout语句来报告在程序里正在发生的事情。

 

2、捕获异常

同样为了对付潜在的编程错误（尤其是在运行时的错误），捕获异常是一种完全不同的办法。

异常（exception）就是与预期不相符合的反常现象。

基本使用思路：

（1）安排一些c++代码（try语句），去尝试某件事，尤其是那些可能会失败的事（比如打开一个文件或申请一些内存）

（2）如果发生问题，就抛出一个异常（throw语句）

（3）再安排一些代码（catch语句）去捕获这个异常并进行相应的处理。

捕获异常的基本语法是：

try
{
    //Do something
    //Throw an exception on error
}
catch
{
    //Do whatever
}

注意:每条try语句至少要有一条配对的catch语句。必须定义catch语句以便让它接收一个特定类型的参数。

c++还允许我们定义多条catch语句，让每条catch语句分别对应着一种可能的异常类型：

---catch（int e）{...}

---catch（bool e）{...}

---catch（...）{...}

最后一条catch语句可以捕获任何类型的异常。

在程序里,我们可以用throw保留字抛出一个异常:throw 1;

 

如何让函数抛出异常：

可以在定义一个函数时明确地表明你想让它抛出一个异常，为了表明你想让它抛出哪种类型的异常，可以使用如下所示语法：

---type functionName（arguments） throw （type）；

如果没有使用这种语法来定义函数，就意味着函数可以抛出任意类型的异常。

与适用一个条件语句或return语句相比,采用异常处理机制的好处是可以把程序的正常功能和逻辑与出错处理部分清晰地划分开而不是让它们混杂在一起。

#include <iostream>
#include <climits>

using namespace std;

unsigned long returnFactorial(unsigned short num) throw (const char *);

int main()
{
	unsigned short num = 0;

	cout << "请输入一个整数: ";

	while( !(cin>>num) || (num < 1))
	{
		cin.clear();    //清除状态
		cin.ignore(100, '\n');   //清除缓冲区
		cout << "请输入一个整数: ";
	}
	cin.ignore(100, '\n');

	try
	{
		unsigned long factorial = returnFactorial(num);
		cout << num << "的阶乘值是: "  << factorial << endl;
	}
	catch(const char *e)
	{
		cout << e;
	}

	return 0;
}

unsigned long returnFactorial(unsigned short num) throw (const char *)
{
	unsigned long sum = 1;
	unsigned long max = ULONG_MAX;

	for(int i=1; i<=num; i++)
	{
		sum *= i;
		max /=i;
	}

	if (max < 1)
	{
		throw "悲催...该基数太大,无法在该计算机计算求出阶乘值.\n";
	}
	else
	{
		return sum;
	}
}

TIPS：

（1）使用异常的基本原则是：应该只用它们来处理确实可能不正常的情况。

（2）如果try语句块无法找到一个与之匹配的catch语句块，它抛出的异常将中止程序的执行。