65、C++中的异常处理(下)

1、C++中的异常处理

  • catch 语句块中可以抛出异常
    在这里插入图片描述
    分析:本来一般是 try 里面运行函数,函数里面如果出现异常就会 throw 出一个参数,然后 catch 接收。但是在 catch 里面还能抛出一个 throw 出来,这个 throw 就需要外层的 try…catch…接收。
throw;    //捕获到什么抛出什么

问题:为什么要在 catch 中重新抛出异常呢?

  • catch 中捕获的异常可以被重新解释后抛出
  • 工程开发中使用这样的方式统一异常类型
    在这里插入图片描述
    比如说我们的私有库有些东西没有,这时候我们就去调用第三方库,但是第三方库的返回异常类型和私有库我们常用的异常类型是不一样的,于是我们就可以在 catch 中重新抛出异常使它返回成我们私有库中相同的类型。

示例1:

#include <iostream>
using namespace std;

int main()
{
	try
	{
		throw 1;
	}
	catch (int i)
	{
		throw i;
	}
	catch (...)
	{
		throw;
	}
	return 0;
}

在这里插入图片描述
分析:原因在于我们在 catch 里面再次抛出异常,因为没有外层的 try…catch…接收,因此会报错。解决的方案就是在外层加一个 try…catch…

示例2:

#include <iostream>
using namespace std;

void demo()
{
	try
	{
		try
		{
			throw 1;
		}
		catch (int i)
		{
			cout << "inner:catch (int i)" << endl;
			throw i;
		}
		catch (...)
		{
			cout << "inner:catch (...)" << endl;
			throw;
		}
	}
	catch (int i)
	{
		cout << "outer:catch (int i)" << endl;
	}
}
int main()
{
	demo();
	return 0;
}

在这里插入图片描述
示例3:

#include <iostream>
using namespace std;

void func(int i)				//第三方库
{
	if (i < 0)
	{
		throw -1;
	}
	if (i > 100)
	{
		throw - 2;
	}
	if (i == 11)
	{
		throw - 3;
	}
	cout << "Run func()..." << endl;
}

void MYFUNC(int i)
{
	try
	{
		func(i);
	}
	catch (int i)
	{
		switch (i)
		{
		case -1:
			throw "Invalid Parameter";
			break;
		case -2:
			throw "Run error";
			break;
		case -3:
			throw "Timeout exception";
			break;
		}
	}
}
int main()
{
	try
	{
		MYFUNC(11);
	}
	catch (const char* s)
	{
		cout << "Exception Info : " << s << endl;
	}
	return 0;
}

在这里插入图片描述
2、类类型异常

  • 异常的类型可以是自定义类型
  • 对于类类型的异常的匹配依旧是自上而下严格匹配
  • 赋值兼容性原则在异常匹配中依然适用(子类的异常对象可以被父类的 catch 抓住)
  • 一般而言
    — 匹配子类异常的 catch 放在上部
    — 匹配父类异常的 catch 放在下部

在工程中对定义一系列的异常类

  • 每个类代表工程中可能出现的一种异常类型
  • 代码复用是可能需要重解释不同的异常类
  • 在定义 catch 语句块时推荐使用引用作为参数
#include <iostream>
#include <string>
using namespace std;
class Base
{

};

class Exception : public Base
{
	int m_id;
	string m_desc;
public:
	Exception(int id, string desc)
	{
		m_id = id;
		m_desc = desc;
	}
	int ID()const
	{
		return m_id;
	}
	string description()const
	{
		return m_desc;
	}
};
void func(int i) //第三方库
{
	if (i < 0)
	{
		throw -1;
	}
	if (i > 100)
	{
		throw - 2;
	}
	if (i == 11)
	{
		throw - 3;
	}
	cout << "Run func()..." << endl;
}

void MYFUNC(int i)
{
	try
	{
		func(i);
	}
	catch (int i)
	{
		switch (i)
		{
		case -1:
			throw Exception(-1, "Invalid Parameter");
			break;
		case -2:
			throw Exception(-2, "Run error");
			break;
		case -3:
			throw Exception(-3, "Timeout exception");
			break;
		}
	}
}
int main()
{
	try
	{
		MYFUNC(11);
	}
	catch (const Exception& e)
	{
		cout << "Exception Info : " << endl;
		cout << "ID = : " << e.ID() << endl;
		cout << "Description = : " << e.description() << endl;
	}
	return 0;
}

在这里插入图片描述
在这里插入图片描述
这里主要是为了防止自赋值。防止拷贝构造,提高程序的效率

如果把代码改成下面这样:

#include <iostream>
#include <string>
using namespace std;
class Base
{

};

class Exception : public Base
{
	int m_id;
	string m_desc;
public:
	Exception(int id, string desc)
	{
		m_id = id;
		m_desc = desc;
	}
	int ID()const
	{
		return m_id;
	}
	string description()const
	{
		return m_desc;
	}
};
void func(int i) //第三方库
{
	if (i < 0)
	{
		throw -1;
	}
	if (i > 100)
	{
		throw - 2;
	}
	if (i == 11)
	{
		throw - 3;
	}
	cout << "Run func()..." << endl;
}

void MYFUNC(int i)
{
	try
	{
		func(i);
	}
	catch (int i)
	{
		switch (i)
		{
		case -1:
			throw Exception(-1, "Invalid Parameter");
			break;
		case -2:
			throw Exception(-2, "Run error");
			break;
		case -3:
			throw Exception(-3, "Timeout exception");
			break;
		}
	}
}
int main()
{
	try
	{
		MYFUNC(11);
	}
	catch (const Base& b)
	{
		cout << "catch (const Base& b)" << endl;
	}
	catch (const Exception& e)
	{
		cout << "Exception Info : " << endl;
		cout << "ID = : " << e.ID() << endl;
		cout << "Description = : " << e.description() << endl;
	}
	return 0;
}

在这里插入图片描述
这个程序充分说明了赋值兼容性原则在异常匹配中依然适用(子类的异常对象可以被父类的 catch 抓住

所以:
匹配子类异常的 catch 放在上部
匹配父类异常的 catch 放在下部

3、C++中的异常处理

  • C++标准库提供了实用 异常 类族
  • 标准库中的异常都是从 exception 类派生的,头文件#include <stdexcept>
  • exception 类有两个主要分支
    — logic_error
      常用于程序中的可避免逻辑错误
    — runtime_error
      常用于程序中的无法避免的恶性错误
  • 标准库中的异常
    在这里插入图片描述

Array.h

#ifndef _ARRAY_H_
#define _ARRAY_H_
#pragma once

#include <stdexcept>
using namespace std;

template <typename T, int N>
class Array
{
private:
	T m_array[N];
public:
	int length()const;
	bool set(int index,T value);
	bool get(int index, T& value);
	T& operator[](int i);
	T operator[](int i)const;
	virtual ~Array();
};

template <typename T, int N>
int Array<T, N>::length()const
{
	return N;
}

template <typename T, int N>
bool Array<T, N>::set(int index, T value)
{
	bool ret = (index >= 0) && (index < N);
	if (ret)
	{
		m_array[index] = value;
	}
	return ret;
}

template <typename T, int N>
bool Array<T, N>::get(int index, T& value)
{
	bool ret = (index >= 0) && (index < N);
	if (ret)
	{
		value = m_array[index];
	}
	return ret;
}

template <typename T, int N>
T& Array<T, N>::operator[](int i)
{
	if (i >= 0 && i < N)
	{
		return m_array[i];
	}
	else
	{
		throw out_of_range("T& Array<T, N>::operator[](int i)");
	}
}

template <typename T, int N>
T Array<T, N>::operator[](int i)const
{
	if (i >= 0 && i < N)
	{
		return m_array[i];
	}
	else
	{
		throw out_of_range("T Array<T, N>::operator[](int i)const");
	}
}


template <typename T, int N>
Array<T, N>::~Array()
{

}
#endif

HeapArray.h

#ifndef _HEAPARRAY_H_
#define _HEAPARRAY_H_
#pragma once

#include <stdexcept>
using namespace std;

template <typename T>
class HeapArray
{
private:
	T* m_pointer;
	int m_length;

	HeapArray(int len);
	bool construct();
public:
	static HeapArray* NewInstance(int length);
	int length()const;
	bool set(int index, T value);
	bool get(int index, T& value);
	HeapArray& self();
	const HeapArray self()const;
	T& operator[](int i);
	T operator[](int i)const;
	HeapArray& operator=(const HeapArray& obj);
	~HeapArray();
};


template <typename T>
HeapArray<T>::HeapArray(int len)
{
	m_length = len;
}

template <typename T>
bool HeapArray<T>::construct()
{
	bool ret = true;
	m_pointer = new T[m_length];

	return (m_pointer != NULL);
}

template <typename T>
HeapArray<T>* HeapArray<T>::NewInstance(int length)
{
	HeapArray* ret = new HeapArray(length);
	if (!(ret && ret->construct()))
	{
		delete ret;
		ret = nullptr;
	}

	return ret;
}

template <typename T>
int HeapArray<T>::length()const
{
	return m_length;
}

template <typename T>
HeapArray<T>& HeapArray<T>::self()
{
	return *this;
}

template <typename T>
const HeapArray&<T> HeapArray<T>::self()const
{
	return *this;
}


template <typename T>
bool HeapArray<T>::set(int index, T value)
{
	bool ret = (index >= 0 && index < m_length);
	if (ret)
	{
		m_pointer[index] = value;
	}
	return ret;
}

template <typename T>
bool HeapArray<T>::get(int index, T& value)
{
	bool ret = (index >= 0 && index < m_length);
	if (ret)
	{
		value = m_pointer[index];
	}
	return ret;
}

template <typename T>
T& HeapArray<T>::operator[](int i)
{
	if (i >= 0 && i < m_length)
	{
		return m_pointer[i];
	}
	else
	{
		throw out_of_range("T& HeapArray<T>::operator[](int i)");
	}
}

template <typename T>
T HeapArray<T>::operator[](int i)const
{
	if (i >= 0 && i < m_length)
	{
		return m_pointer[i];
	}
	else
	{
		throw out_of_range("T HeapArray<T>::operator[](int i)const");
	}
}

template <typename T>
HeapArray<T>& HeapArray<T>::operator=(const HeapArray& obj)
{
	if (this != &obj)
	{
		m_length = obj.m_length;
		delete[]m_pointer;
		m_pointer = new T[obj.m_length];
		if (m_pointer != nullptr)
		{
			for (int i = 0; i < obj.m_length; i++)
			{
				m_pointer[i] = obj.m_pointer[i];
			}
		}
	}
	return *this;
}

template <typename T>
HeapArray<T>::~HeapArray()
{
	delete[]m_pointer;
}
#endif

main.cpp

#include <iostream>
#include "HeapArray.h"
#include "Array.h"
#include <string>
using namespace std;

void TestArray()
{
	Array<char, 5> a;
	for (int i = 0; i < a.length(); i++)
	{
		a[i] = i + 'a';
	}
	for (int i = 0; i < a.length(); i++)
	{
		cout << a[i] << endl;
	}
}
void TestHeapArray()
{
	HeapArray<double> *a = HeapArray<double>::NewInstance(5);
	HeapArray<double>& array = a->self();
	for (int i = 0; i < 10; i++)
	{
		array[i] = i + 1;
	}
	for (int i = 0; i < array.length(); i++)
	{
		cout << array[i] << endl;
	}
}
int main()
{
	try
	{
		TestArray();
	}
	catch (...)
	{
		cout << "Exception" << endl;
	}

	try
	{
		TestHeapArray();
	}
	catch (...)
	{
		cout << "Exception" << endl;
	}

	return 0;
}

小结:

  • catch 语句块中可以抛出异常
  • 异常的类型可以是自定义类类型
  • 赋值兼容性原则在异常匹配中依然适用
  • 标准库中的异常都是从exception类派生而来
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值