仿微博网站模板,wordpress排版分栏,wordpress误删的后果,国外高清视频素材网站推荐文章目录 C 运行时错误处理机制及其不足之处C 异常概念异常的使用异常的抛出和匹配原则在函数调用链中异常栈展开匹配原则异常的重新抛出举例演示说明例子一#xff1a;串联举例演示大部分原则例子二#xff1a;模拟服务器开发中常用的异常继承体系例子三#xff1a;异常的重… 文章目录 C 运行时错误处理机制及其不足之处C 异常概念异常的使用异常的抛出和匹配原则在函数调用链中异常栈展开匹配原则异常的重新抛出举例演示说明例子一串联举例演示大部分原则例子二模拟服务器开发中常用的异常继承体系例子三异常的重新抛出 异常安全问题构造函数中的异常安全性析构函数中的异常安全性 异常规范C标准库的异常体系异常的优缺点优点缺点 C 运行时错误处理机制及其不足之处
C 中的异常Exception是一种用来处理运行时错误的机制。
这里提到一个词——运行时错误这是什么
这里就需要了解一点编译原理的相关知识以 .c、.cpp 为后缀的文件只是文本文件不能被运行能够运行的实际上是经过编译链接生成二进程可执行程序。
所以运行时错误实际上指的是让这个被生成的二进制可执行程序在执行过程中发生崩溃或者产生不可预测的行为的错误。
常见的运行时错误有
内存访问错误比如访问了未初始化的内存、访问了已释放的内存等。数组越界当程序试图访问数组中超出其边界范围的元素时发生。空指针引用当程序试图访问一个空指针所指向的内存地址时发生。除零错误试图在程序中进行除法运算时除数为零。文件不存在或无法打开试图打开不存在的文件或者没有权限打开文件。
C 兼容 CC 也会有运行时错误出现C 的运行时错误处理机制是怎样的为什么还要搞出一套异常机制出来为了解答这个问题这里再去了解一下 C 处理错误的方式。
C 的错误处理方式主要有以下三种
返回错误码 函数可以返回一个特定的错误码表示函数执行过程中遇到了问题。调用方可以根据返回的错误码来判断是否发生了错误并采取相应的处理措施。全局错误变量 程序可以定义一个全局的错误变量(如errno)函数在执行过程中如果发生错误就将错误信息写入该全局变量调用方可以定期检查该变量来获取错误信息。终止程序 有些严重的运行时错误可能会导致程序无法继续执行这时候程序可以直接调用 exit 函数来终止程序的执行并返回一个非零的进程退出码来表示发生了错误。
一些 C 错误处理方式的不便之处
错误检测容易被忽略 调用方可能会忘记检查错误码或全局错误变量导致错误未被及时处理从而影响程序的正确性。错误信息不足 首先错误码或全局错误变量通常就只是一个整形数字想要了解更多的错误信息得使用提供的错误信息查看接口如perror、strerror或者亲自去查阅错误码表。其次程序被终止但是详细的错误信息却没有被提供这使得使得调试和排查问题变得困难。容易混淆 在复杂的函数调用链中错误码的传递和处理可能会变得混乱降低了代码的可读性和可维护性。用户难以接受 终止程序特别是7x24小时的服务器程序一旦因为某些不知名原因程序崩溃用户体验不好就会向服务提供方投诉这有可能会对提供方造成经济损失和口碑下滑。
因此C 异常机制就是针对 C 错误码信息不足、复杂函数调用链中错误码的传递和处理过于复杂从而降低代码可读性和健壮性、直接终止程序过于绝情等问题而设计出来。
C 异常概念
异常是怎么处理错误的
异常的相关机制是通过3个关键字来实现的三个关键字分别对应了三个步骤
抛出异常throw当问题出现时程序会抛出一个异常。这是通过使用 throw 关键字来完成的。检测异常trytry 块中的代码标识将被激活的特定异常。它后面通常跟着一个或多个 catch 块。捕获异常catch在您想要处理问题的地方通过异常处理程序捕获异常。catch 关键字用于捕获异常。
这3个关键字是怎么用的这里用一份小的demo来进行简单了解后面会深入了解
double division(int a, int b) {// 当 b 0 时throw 异常if (b 0) {throw division by zero condition!;}else {return ((double)a / (double)b);}
}void func() {int a 0;int b 0;cin a b;cout division(a, b) endl;
}int main()
{try {func();}catch (const char* errmsg) {cout errmsg endl;}catch (int x) {cout x endl;}return 0;
}在这段代码中异常处理的基本过程如下
抛出异常 在 division() 函数中当除数 b 为 0 时使用 throw 关键字抛出一个异常。异常的类型是 const char*并包含了错误信息 division by zero condition!。
检测异常 在 main() 函数中func() 函数被包裹在 try 块中。这意味着程序将尝试执行 func() 函数并在其中抛出的任何异常被捕获。
捕获异常 catch 块用于捕获并处理抛出的异常。在 main() 函数中有两个 catch 块。第一个 catch 块捕获类型为 const char* 的异常即字符串常量。当 division() 函数抛出异常时它被这个 catch 块捕获并输出错误信息到控制台。
异常的使用
异常的抛出和匹配原则
异常是通过抛出对象而引发的抛出对象可以是任意类型而对象的类型决定了应该激活哪个 catch 的处理代码。被选中的处理代码catch块是调用链中与该对象类型匹配且离抛出异常位置最近的那一个。抛出异常对象后会生成一个异常对象的拷贝因为抛出的异常对象可能是一个临时对象所以会生成一个拷贝对象这个拷贝的临时对象会在被catch以后销毁。这里的处理类似于函数的传值返回catch(...)可以捕获任意类型的异常问题是不知道异常错误是什么。实际中抛出和捕获的匹配原则有个例外并不都是类型完全匹配可以抛出的派生类对象使用基类捕获这个在实际中非常实用。
在函数调用链中异常栈展开匹配原则
首先检查throw本身是否在try块内部如果是再查找匹配的catch语句。如果有匹配的则调到catch的地方进行处理。没有匹配的catch则退出当前函数栈继续在调用函数的栈中进行查找匹配的catch。如果到达main函数的栈依旧没有匹配的则终止程序。上述这个沿着调用链查找匹配的catch子句的过程称为栈展开。所以实际中我们最后都要加一个catch(...)捕获任意类型的异常否则当有异常没捕获程序就会直接终止。找到匹配的catch子句并处理以后会继续沿着catch子句后面继续执行。
异常的重新抛出
C 的异常还提供了这样的一种机制当函数调用链中的某个函数抛出的异常对象被某个catch块捕获了之后能够在该catch块中重新抛出这个机制一般是用来应对某些当catch语句捕获一个异常后可能不能完全处理异常完成某些操作后该异常必须由函数链中更上级的函数来处理的状况。
语法
// 捕获到一个异常
catch(...) {throw; // 将捕获到的异常重新抛出
}注重新抛出的表达式就是throw;因为异常类型在catch语句中已经有了不必再指明。
举例演示说明
例子一串联举例演示大部分原则 例子二模拟服务器开发中常用的异常继承体系
实际中抛出和捕获的匹配原则有个例外并不都是类型完全匹配可以抛出的派生类对象使用基类捕获这个在实际中非常实用也是这篇文章的核心之一下面用一个例子演示一下
class Exception {
public:Exception(const string errmsg, int id): _errmsg(errmsg) , _id(id) {}virtual string what() const {return _errmsg;}
protected:string _errmsg; // 错误描述int _id; // 错误编号
};class SqlException : public Exception {
public:SqlException(const string errmsg, int id, const string sql):Exception(errmsg, id) , _sql(sql) {}virtual string what() const {string str SqlException:;str _errmsg;str -;str _sql;return str;}
private:const string _sql;
};class CacheException : public Exception {
public:CacheException(const string errmsg, int id):Exception(errmsg, id) {}virtual string what() const {string str CacheException:;str _errmsg;return str;}
};class HttpServerException : public Exception {
public:HttpServerException(const string errmsg, int id, const string type):Exception(errmsg, id) , _type(type) {}virtual string what() const {string str HttpServerException:;str _type;str :;str _errmsg;return str;}
private:const string _type;
};void SQLMgr() {srand(time(0));if (rand() % 7 0) {throw SqlException(权限不足, 100, select * from name 张三);}//throw xxxxxx;
}void CacheMgr() {srand(time(0));if (rand() % 5 0) {throw CacheException(权限不足, 100);}else if (rand() % 6 0) {throw CacheException(数据不存在, 101);}SQLMgr();
}void HttpServer() {// ...srand(time(0));if (rand() % 3 0) {throw HttpServerException(请求资源不存在, 100, get);}else if (rand() % 4 0) {throw HttpServerException(权限不足, 101, post);}CacheMgr();
}int main() {srand((size_t)time(nullptr));while (1) {try {HttpServer();}catch (const Exception e) {// 多态cout e.what() endl;}catch (...) {cout Unkown Exception endl;}}return 0;
}例子三异常的重新抛出 除了上面的情况外还了解到一种重新抛出异常的使用场景参考自文章《C中异常处理中的异常重新抛出的一种用法》
在实际开发中免不了要使用第三方库的接口假设第三方库里有这样的一个接口
/**
* 第三方库函数void other(int i);
* 异常对象 1表示越界
* 异常对象 2表示数据异常
*/
void other(int i) {if (i 0) {throw 1;}if (i 1000) {throw 2;}
}这时候就会有一种这一场抛了跟没抛一样说白了还得是去查错误码手册这时候就可以用重新抛出异常的方法来封装
void other(int i) {// ...if (i 0) {throw 1;}// ...if (i 1000) {throw 2;}// ...
}void MyFunc(int num) {try {other(num);}catch (int i) {switch (i){case 1:throw out of range;break;case 2:throw data exception;break;default:throw unknown exception;break;}}
}int main() {try {MyFunc(-1);}catch (const char *errmsg) {cout errmsg;}return 0;
}这么处理的话排查错误的时候就很舒服了。
异常安全问题
构造函数中的异常安全性
在构造函数中抛出异常可能会导致对象处于不一致的状态因为构造函数通常负责完成对象的初始化。如果在构造函数中抛出异常对象的析构函数可能不会被调用从而导致资源泄漏。此外构造函数抛出异常后已经成功分配的内存如果有可能不会被正确释放从而导致内存泄漏。
class MyClass {
public:MyClass() {// 在构造函数中分配资源resourcePtr new Resource;// 如果发生异常资源可能不会被正确释放if (someCondition) {throw std::runtime_error(Error occurred);}}~MyClass() {delete resourcePtr; // 在析构函数中释放资源}private:Resource* resourcePtr;
};析构函数中的异常安全性
析构函数主要负责资源的清理工作包括释放动态分配的内存、关闭文件句柄等。如果在析构函数中抛出异常那么可能会导致资源无法正常释放从而引发内存泄漏。
class MyResource {
public:MyResource() {// 打开文件资源filePtr fopen(example.txt, r);if (filePtr nullptr) {throw std::runtime_error(Failed to open file);}}~MyResource() {// 关闭文件资源if (fclose(filePtr) ! 0) {throw std::runtime_error(Failed to close file);}}private:FILE* filePtr;
};异常规范
异常的出现有便利的一面但异常的不规范使用也会带来很多问题 第一异常的出现让程序的执行流变得混乱当一个函数抛出异常后程序就会从当前函数栈帧跳到某一个函数栈帧 第二如果不去看函数的具体实现我们无法分辨一个函数到底会不会抛异常、需不需做异常检测和捕获
这时候就需要一套机制快速告诉程序员这个函数到底会不会抛异常会抛出什么类型的异常因此C创始人 Bjarne Stroustrup 制定了一套异常规范体系。
函数声明后面可以加上异常规格说明
return_type function_name(type) throw(type1, type2, ...);举例
// 这里表示这个函数会抛出A/B/C/D中的某种类型的异常
// void fun() throw(ABCD);
void fun() throw(intdoublecharconst char*);
// 这里表示这个函数只会抛出bad_alloc的异常
void* operator new (std::size_t size) throw (std::bad_alloc);
// 这里表示这个函数不会抛出异常
void* operator delete (std::size_t size, void* ptr) throw();
// C11 中新增的noexcept表示不会抛异常
thread() noexcept;就如同勤洗手、戴口罩可以减少卫生问题却有很多人没执行那样异常规范也只是一个建议性的行为而已这是因为 C 是一个历史包袱很重的语言C 是兼容 C 的C 中是没有 “ 异常 ” 这个概念的如果 C 强制性要求一个函数如果抛了异常都要进行异常规格说明的话很多 C 的函数就没有办法调用了。
C标准库的异常体系
C 提供了一系列标准的异常定义在 中我们可以在程序中使用这些标准的异常。它们是以父子类层次结构组织起来的如下所示
异常说明
异常类型描述std::exception所有标准 C 异常的父类。std::bad_alloc通过 new 抛出的异常。std::bad_cast通过 dynamic_cast 抛出的异常。std::bad_typeid通过 typeid 抛出的异常。std::bad_exception处理 C 程序中无法预期的异常时非常有用。std::logic_error可以通过读取代码来检测到的异常。std::domain_error当使用了一个无效的数学域时会抛出该异常。std::invalid_argument当使用了无效的参数时会抛出该异常。std::length_error当创建了太长的 std::string 时会抛出该异常。std::out_of_range可以通过方法抛出的异常例如 std::vector 和 std::bitset::operator。std::runtime_error理论上不可以通过读取代码来检测到的异常。std::overflow_error当发生数学上溢时会抛出该异常。std::range_error当尝试存储超出范围的值时会抛出该异常。std::underflow_error当发生数学下溢时会抛出该异常。
异常的优缺点
优点
异常对象定义好了相比错误码的方式可以清晰准确的展示出错误的各种信息甚至可以包含堆栈调用的信息这样可以帮助更好的定位程序的bug。返回错误码的传统方式有个很大的问题就是在函数调用链中深层的函数返回了错误那么我们得层层返回错误最外层才能拿到错误具体看下面的详细解释。
// 1.下面这段伪代码我们可以看到ConnnectSql中出错了先返回给ServerStart
// ServerStart再返回给main函数main函数再针对问题处理具体的错误。
// 2.如果是异常体系不管是ConnnectSql还是ServerStart及调用函数出错都不用检查因
// 为抛出的异常异常会直接跳到main函数中catch捕获的地方main函数直接处理错误。
int ConnnectSql()
{// 用户名密码错误if (...)return 1;// 权限不足if (...)return 2;
}
int ServerStart() {if (int ret ConnnectSql() 0)return ret;int fd socket()iffd 0return errno;
}
int main()
{if (ServerStart() 0)...return 0;
}很多的第三方库都包含异常比如boost、gtest、gmock等等常用的库那么我们使用它们也需要使用异常。部分函数使用异常更好处理比如构造函数没有返回值不方便使用错误码方式处理。比如T operator这样的函数如果pos越界了只能使用异常或者终止程序处理没办法通过返回值表示错误。
缺点
异常会导致程序的执行流乱跳并且非常的混乱并且是运行时出错抛异常就会乱跳。这会导致我们跟踪调试时以及分析程序时比较困难。异常会有一些性能的开销。当然在现代硬件速度很快的情况下这个影响基本忽略不计。C没有垃圾回收机制GC资源需要自己管理。有了异常非常容易导致内存泄漏、死锁等异常安全问题。这个需要使用RAII智能指针来处理资源的管理问题。学习成本较高。C标准库的异常体系定义得不好导致大家各自定义各自的异常体系非常的混乱。异常尽量规范使用否则后果不堪设想随意抛异常外层捕获的用户苦不堪言。所以异常规范有两点一、抛出异常类型都继承自一个基类。二、函数是否抛异常、抛什么异常都使用 func()、throw(); 的方式规范化。
