C++异常详细介绍

最新推荐文章于 2024-09-24 08:48:12 发布

春风若有怜花意，可否许我再少年

最新推荐文章于 2024-09-24 08:48:12 发布

阅读量69

点赞数

文章标签：开发语言

本文链接：https://blog.csdn.net/nnnnn_36D/article/details/134540764

版权

一.异常介绍

什么是异常？异常就是程序运行过程中出现问题，例如除数等于0等。在出现异常之后，我们可以用异常处理技术通过写程序来解决出现的异常问题，大多数情况下，可以通过写代码处理异常使得程序像没发什么过什么问题一样继续执行，或者遇到重大问题使程序不能执行，也可以发出警示或者提醒用户，然后终止程序。

二.异常处理

2.1 异常处理技术

异常处理技术包括异常检测和异常处理两部分，当程序运行出现问题时，需要用到异常处理时。首先时异常检测部分检测到异常的时候，由throw来抛出异常，抛出异常后，由异常处理部分来处理这个异常。

异常处理主要包括：

throw表达式（throw expression），当异常检测部分检测到异常时，用throw expression来抛出异常。

try语句块(try block)，异常处理部分使用try语块处理异常。try语句块以关键字 try 开始，并以一个或多个 catch 子 (catch clause)结束。try语句块中代码抛出的异常通常会被某个 catch 子句处理。因为 catch 子句“处理”异常,所以它们也被称作异常处理代码(exception handler)。

2.2 throw表达式

程序异常检测用throw来抛出异常。throw表达式包含throw，后面紧跟这一个表达式，这个表达式的类型就是抛出的异常类型。

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

例如这里的divide函数，当检测到除数为0时，就会抛出异常，抛出异常的类型为y的类型既是int型，当抛出异常后，return语句就不再执行，程序将会跳转到异常处理catch语句去处理异常。

2.3 try语句块

try语句块的语法形式是：

	try
	{
		程序代码;
	}
	catch (异常声明1)
	{
		处理异常程序代码;
	}
	catch (异常声明2)
	{
		处理异常程序代码;
	}

我们一般将可能会抛出异常的代码放在try语句块中，然后后面紧跟着一个或多个catch语句来处理异常，catch语句里的异常声明类型就是throw抛出的异常类型。为什么会有一个或多个catch语句呢？因为在try语句块中的代码可能抛出多个异常，所以需要多个catch语句来处理这些不同的异常。

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

int main()
{
	try
	{
		std::cout << "8 / 2 = " << divide(8, 2) << std::endl;
		std::cout << "9 / 0 = " << divide(9, 0) << std::endl;
		std::cout << "24 / 4 = " << divide(24, 4) << std::endl;
	}
	catch (int e)
	{
		std::cout << e << " is not valid divided" << std::endl;
	}
}

在上面的代码中，我们在try语句中分别调用了三次divide函数，当执行到第二次调用时，就会检测到异常并且抛出，然后进入catch语句来处理异常，刚好catch语句的异常声明类型和throw类型相同，可以匹配上，所以最后的结果就是。第三次divide不会执行，这是因为一旦引发异常，就会进入相应的catch语句中去处理异常，处理完异常后接着执行catch后面的代码。

如果没有找到相匹配的catch，程序转到名为terminate的标准库函数，一般情况下，执行该函数会导致程序非正常退出。所以处理异常是很重要的，不然会导致程序非正常退出。

三.异常安全

异常技术虽然可以处理一些程序的异常情况，但是由于程序抛出异常之后，只要找到相应的catch语句，就会直接跳转到catch语句去执行，没有找到相应的catch语句，程序就会终止。所以这样的程序的执行流就被打乱了，会造成一些问题：

构造函数最好不要抛出异常，因为构造函数抛出异常之后会导致对象构造不完全，初始化不完全。

内存资源泄露，当我们在抛出异常前new了一片空间，但是delete释放那片空间却是在抛出异常之后，那么就回导致内存泄露的问题，除非在异常处理的时候释放内存。

四.标准异常

        C++标准库定义了一组类，用于报告标准库函数遇到的问题。这些异常类也可以在用户编写的程序中使用，它们分别定义在4个头文件中:
        exception 头文件定义了最通用的异常类exception。它只报告异常的发生不提供任何额外信息。
        stdexcept 头文件定义了几种常用的异常类。

new头文件定义了 bad alloc 异常类型。
type info头文件定义了 bad cast 异常类型。

我们常见的就是exception头文件和stdexcept头文件定义的异常类型。下图所示是一些stdexcept头文件的异常类。

我们上面的那个例子也可以用异常标准来处理，代码如下：

#include <iostream>
#include <stdexcept>

int divide(int x, int y)
{
	if (y == 0)
	{
		throw std::invalid_argument("the divided is zero");
	}
	return x / y;
}

int main()
{
	try
	{
		std::cout << "8 / 2 = " << divide(8, 2) << std::endl;
		std::cout << "9 / 0 = " << divide(9, 0) << std::endl;
		std::cout << "24 / 4 = " << divide(24, 4) << std::endl;
	}
	catch (int e)
	{
		std::cout << e << " is not valid divided" << std::endl;
	}
	catch (std::invalid_argument& e)
	{
		std::cout << e.what()  << std::endl;
	}
}

执行的结果就是遇到异常会输出 the divided is zero。