C++实现并优化异常系统

来源：互联网收集：自由互联发布时间：2023-02-01

目录一、模拟栈展开的过程二、新异常处理系统中异常的定义三、超级运用 C++原本的异常系统是这个样子的：调用what()方法时只返回异常的名称，并没有显示抛出异常的位置和堆栈

一、模拟栈展开的过程

网上看到别人用一些很奇怪的方法来获取堆栈信息，从而实现堆栈跟踪。

个人觉得很费劲，而且还要安装第三方库。

于是我们可以写一个类来模拟这个过程。

定义一个叫做ExceptionStackTrace的类：

class ExceptionStackTrace {
private:
	const char** m_message_trace = nullptr; // 方法名数组
	size_t* m_line_trace = nullptr; // 行数数组
	int m_top; // 栈顶
    int m_size; // 大小
public:
	ExceptionStackTrace(int size);
	void push(const char* message); // 入栈一个方法
	void pop(); // 出栈一个方法
	bool empty() const; // 判断是否为空
	int top() const; // 返回栈顶索引
    int size() const; // 返回大小
	void print_stack_trace() const; // 打印堆栈跟踪信息
	void throw_(SuperException except); // 抛出一个异常，需要继承SuperException这个后面会讲到
};

既然是模拟，所以需要在程序最前面定义一个静态的对象，使用时在每一个函数的开始和结束部分加上这两句：

static ExceptionStackTrace est = 128;
void method(...) {
	est.push(__FUNCSIG__);
    ... // 异常抛出在这里可以被捕捉
	est.pop();
}
main ...

当调用方法时，会在调用ExceptionStackTrace的push方法，将方法信息压栈。

之后再执行方法内部的语句。

最后在将方法出栈，模拟方法已被调用完毕。

下面是实现代码：

ExceptionStackTrace::ExceptionStackTrace(int size) {
    // 尺寸不能是负数
	if (size <= 0) throw std::exception("Size should greater than 0.");
	m_message_trace = new const char*[size];
	m_top = 0;
	m_size = size;
}
void ExceptionStackTrace::push(const char* message) {
    // 方法信息压栈
	m_message_trace[m_top] = message;
	++m_top;
}
void ExceptionStackTrace::pop() {
    // 方法信息出栈，栈空抛异常
	if (this->empty()) throw std::exception("Exception stack trace empty!");
	--m_top;
}
bool ExceptionStackTrace::empty() const {
	return m_top == 0;
}
int ExceptionStackTrace::top() const {
	return m_top;
}
int ExceptionStackTrace::size() const {
	return m_size;
}
void ExceptionStackTrace::print_stack_trace() const {
    // 从后往前，因为栈的性质后进先出
	for (int i = m_top - 1; i >= 0; --i) {
		printf("   At method \"%s\"\n", m_message_trace[i]);
	}
}
void ExceptionStackTrace::throw_(SuperException except) {
    // 抛出一个异常
	printf("Unhandled exception: %s: %s\n", except.exception_name(), except.message());
	this->print_stack_trace();
	exit(-1);
}

二、新异常处理系统中异常的定义

异常包括信息和异常名称，同时还需要支持自定义异常。

所以我们可以搞一个用于新异常系统的父类异常，自定义的异常全部继承这个类即可。

父类的名字叫SuperException，下面是类结构：

#define M_GetName(data) #data // 宏定义，获取字符串形式类的名称
class SuperException {
private:
	const char* m_exception_name = nullptr; // 异常名称
	const char* m_message = nullptr; // 异常消息
public:
    // 构造函数
	SuperException(const char* message, const char* exception_name = M_GetName(SuperException));
	const char* message() const; // 获取异常消息
	const char* exception_name() const; // 获取异常名称
};

然后是实现部分：

SuperException::SuperException(const char* message, const char* exception_name) {
	m_message = message;
	m_exception_name = exception_name;
}
const char* SuperException::message() const {
	return m_message;
}
const char* SuperException::exception_name() const {
	return m_exception_name;
}

具体用法：

int main() {
	est.push(__FUNCSIG__);
	int i = 0;
	scanf_s("%d", &i);
	if (i == 128) est.throw_(SuperException("这是一个异常。"));
	est.pop();
	return 0;
}

当输入128时：

三、超级运用

#include "ExceptionStackTrace.h"
static ExceptionStackTrace est = 128;
// 自定义一个异常
class IndexOutOfBoundsException : public SuperException {
public:
	IndexOutOfBoundsException(const char* message, const char* exception_name = M_GetName(Exception))
		: SuperException(message, exception_name) {
	}
};
// 自定义一个异常
class BadArrayException : public SuperException {
public:
	BadArrayException(const char* message, const char* exception_name = M_GetName(Exception))
		: SuperException(message, exception_name) {
	}
};
template<typename T> class Array {
private:
	T* m_array;
	size_t m_length;
private:
    // 下标检查
	void index_check(size_t index) {
		est.push(__FUNCSIG__);
		if (index >= m_length) {
			est.throw_(IndexOutOfBoundsException("Index out of bounds."));
		}
		est.pop();
	}
public:
    // 构造器
	Array(size_t length) {
		est.push(__FUNCSIG__);
		m_length = length;
		try {
			m_array = new T[length];
		} catch (std::bad_alloc) {
			est.throw_(BadArrayException("Cannot create a Array object because no space."));
		}
		est.pop();
	}
    // 索引访问
	T& operator[](size_t index) {
		est.push(__FUNCSIG__);
		index_check(index);
		est.pop();
		return m_array[index];
	}
};
int main() {
	est.push(__FUNCSIG__);
	Array<void*> a = 128;
	a[129] = new char[16];
	est.pop();
	return 0;
}

结果：

为一的遗憾就是没法加上行号文件等提示信息，如果能够实现的话，我将会在下一篇博客中提及。

到此这篇关于C++实现并优化异常系统的文章就介绍到这了,更多相关C++异常系统内容请搜索自由互联以前的文章或继续浏览下面的相关文章希望大家以后多多支持自由互联！

上一篇：C++如何判断一个数是不是素数
下一篇：没有了