C++异常和断言

embedded/2024/9/24 23:23:52/

C++异常

  • 异常的理念看似有前途，但实际的使用效果并不好。
  • 编程社区达成的一致意见是，最好不要使用这项功能。
  • C++98引入异常规范，C++11已弃用。
    例如：我们输入1时抛出异常。
#include <iostream>
#include <vector>
#include <cmath>
#include <fstream>//ifstream 类需要包含的头文件
#include<string>
using namespace std;
int main() {try {//可能抛出的异常的代码int ii = 0;cout << "我是一只小小鸟？(1-傻傻鸟；2-小小鸟）";cin >> ii;if (ii == 1) throw "不好，有人说我是一只傻傻鸟";//throw抛出异常cout << "我不是一只傻傻鸟，欧耶\n";}catch (...) {//不管什么异常,都在这里处理cout << "捕捉到异常，具体不管什么异常\n";}cout << "程序继续使用....\n";//执行完try..catch...后，将继续指向程序中其他代码return 0;
}

#include <iostream>
#include <vector>
#include <cmath>
#include <fstream>//ifstream 类需要包含的头文件
#include<string>
using namespace std;
int main() {try {//可能抛出的异常的代码int ii = 0;cout << "我是一只小小鸟？(1-傻傻鸟；2-小小鸟）";cin >> ii;if (ii == 1) throw "不好，有人说我是一只傻傻鸟";//throw抛出const char *类型异常if (ii == 2) throw ii;//throw抛出int类型异常if (ii == 3) throw string("不好，有人说我是一只傻傻鸟.");//throw抛出string类型异常cout << "我不是一只傻傻鸟，欧耶\n";}catch (int ii) {cout << "异常的类型是int=" << ii << endl;}catch (const char* ss) {cout << "异常的类型是const char*=" << ss << endl;}catch (string str) {cout << "异常的类型是string" << str << endl;}cout << "程序继续使用....\n";//执行完try..catch...后，将继续指向程序中其他代码return 0;
}

在try语句块中，如果没有发生异常，执行完try语句块中的代码后，将继续执行try语句块之后的
代码;如果发生了异常，用throw抛出异常对象，异常对象的类型决定了应该匹配到哪个catch语句
块，如果没有匹配到catch语句块，程序将调用abort()函数中止。
如果try语句块中用throw抛出异常对象，并且匹配到了catch语句块，执行完catch语句块中的
代码后，将继续执行catch语句块之后的代码，不会回到try语句块中。

如何避免异常

异常规范

C++98标准提出了异常规范，目的是为了让使用者知道函数可能会引发哪些异常。

void func1() throw(A, B,C);//表示该函数可能会抛出A、B、C类型的异常。
void func2() throw();//表示该函数不会抛出异常。
void func3();//该函数不符合C++98的异常规范。

C++11标准弃用了异常规范，使用新增的关键字noexcept指出函数不会引发异常。

void func4() noexcept;//该函数不会抛出异常。

在实际开发中，大部分程序员懒得在函数后面加noexcept，弃用异常已是共识，没必要多此一举。
关键字noexcept也可以用作运算符，判断表达试(操作数）是否可能引发异常;如果表达式可能引发异常，则返回false否则返回true。
在这里插入图片描述
对于下面的代码：

#include <iostream>
#include <vector>
#include <cmath>
#include <fstream>//ifstream 类需要包含的头文件
#include<string>
using namespace std;
int main() {//分配一大块内存double* ptr = nullptr;try {ptr = new double[100000000000];}catch (bad_alloc& e) {cout << "分配内存失败\n";}return 0;
}

我们使用这种也行：

#include <iostream>
#include <vector>
#include <cmath>
#include <fstream>//ifstream 类需要包含的头文件
#include<string>
using namespace std;
int main() {//分配一大块内存double* ptr = nullptr;ptr = new(std::nothrow) double[100000000000];if (ptr == nullptr)cout << "分配内存失败\n";//其他处理业务代码if (ptr != nullptr) delete[]ptr;return 0;
}

我们在实际开发中经常用这种，这种比较简单。

重点关注的异常

  1. std::bad_alloc
    如果内存不足，调用new会产生异常，导致程序中止;如果在new关键字后面加(std:nothrow)选项，则返回nullptr，不会产生异常。

  2. dynamic_cast
    dynamic_cast可以用于引用，但是，没有与空指针对应的引用值，如果转换请求不正确，会出现
    td::bad_cast异常。

  3. std:bad_typeid
    假设有表达式typeid(*ptr)，当ptr是空指针时，如果ptr是多态的类型，将引发std:bad_typeid异常。

逻辑错误异常

程序的逻辑错误产生的异常std::logic_error，通过合理的编程可以避免。

#include <iostream>
#include <vector>
#include <cmath>
#include <fstream>//ifstream 类需要包含的头文件
#include<string>
using namespace std;
int main() {try {vector<int>vv = { 1,2,3 };//容器vv中只有三个元素vv.at(3) = 5;//将引发out_of_range异常}catch (out_of_range) {cout << "出现out_of_range异常\n";}return 0;
}

#include <iostream>
#include <vector>
#include <cmath>
#include <fstream>//ifstream 类需要包含的头文件
#include<string>
using namespace std;
int main() {//string str="123";//不会抛出异常//string str="";//将抛出Invalid_argument异常string str = "21212312312313123123123";//将抛出out_of_range异常try {int x = stoi(str);//将string字符串转化为整数cout << "x=" << x << endl;}catch (invalid_argument&) {cout << "出现invalid_argument异常\n";}catch (out_of_range&) {cout << "出现out_of_range异常\n";}return 0;
}

这个逻辑异常应该有程序员自己解决

C++断言

断言(assertion)是一种常用的编程手段，用于排除程序中不应该出现的逻辑错误。
使用断言需要包含头文件<cassert>或<assert.h>,头文件中提供了带参数的宏assert，用于程序
在运行时进行断言。

语法:assert(表达式);

断言就是判断(表达式)的值，如果为0(false)，程序将调用abort()函数中止，如果为非0 (true)，程序继续执行。
断言可以提高程序的可读性，帮助程序员定位违反了某些前提条件的错误。
例如：

#include <iostream>
#include <vector>
#include <cmath>
#include <fstream>//ifstream 类需要包含的头文件
#include<string>
#include<cassert>
using namespace std;
void copydata(void* ptr1, void* ptr2) {//把ptr2中的数据复制到ptr1中。assert(ptr1 && ptr2);//断言ptr1和ptr2都不会为空cout << "继续执行复制数据的代码....\n";}
int main() {int ii = 0, jj = 0;copydata(&ii, &jj);//把ptr2中的数据复制到ptr1中。return 0;
}

这个是正常的，就是把jj中的数据复制到ii中。
假如是这个代码：

#include <iostream>
#include <vector>
#include <cmath>
#include <fstream>//ifstream 类需要包含的头文件
#include<string>
#include<cassert>
using namespace std;
void copydata(void* ptr1, void* ptr2) {//把ptr2中的数据复制到ptr1中。assert(ptr1 && ptr2);//断言ptr1和ptr2都不会为空cout << "继续执行复制数据的代码....\n";}
int main() {int ii = 0, jj = 0;copydata(nullptr, &jj);//把ptr2中的数据复制到ptr1中。return 0;
}

在这里插入图片描述
注意：

  • 断言用于处理程序中不应该发生的错误，而非逻辑上可能会发生的错误。
  • 不要把需要执行的代码放到断言的表达式中。
  • 断言的代码一般放在函数/成员函数的第一行，表达式多为函数的形参，主要用于判断参数是否参数的合法性。

C++11 静态断言

assert宏是运行时断言，在程序运行的时候才能起作用。
C++11新增了静态断言static_assert，用于在编译时检查源代码。
使用静态断言不需要包含头文件。
语法: static_assert(常量表达式,提示信息);
用途: 在编译的时候，判断常量表达式的值，如果是0-false，那么编译失败，否则显示提示信息。
注意: static_assert的第一个参数是常量表达式。而assert 的表达式既可以是常量，也可以是变
量。

#include <iostream>
#include <vector>
#include <cmath>
#include <fstream>//ifstream 类需要包含的头文件
#include<string>
#include<cassert>
using namespace std;
void copydata(void* ptr1, void* ptr2) {//把ptr2中的数据复制到ptr1中。assert(ptr1 && ptr2);//断言ptr1和ptr2都不会为空cout << "继续执行复制数据的代码....\n";}
int main() {const int ii = 1, jj = 0;assert(ii);static_assert(ii, "ii的值不合法。");//copydata(nullptr, &jj);//把ptr2中的数据复制到ptr1中。return 0;
}

http://www.ppmy.cn/embedded/11095.html

相关文章

算法训练营day15

算法训练营day15

一、层序遍历 参考链接7.2 二叉树遍历 - Hello 算法 (hello-algo.com) 层序遍历本质上属于广度优先遍历&#xff0c;也称广度优先搜索&#xff0c; BFS通常借助队列的先入先出的特性实现 参考链接102. 二叉树的层序遍历 - 力扣&#xff08;LeetCode&#xff09; 像这种较为…
阅读更多...
LeetCode---128双周赛

LeetCode---128双周赛

题目列表 3110. 字符串的分数 3111. 覆盖所有点的最少矩形数目 3112. 访问消失节点的最少时间 3113. 边界元素是最大值的子数组数目 一、字符串的分数 按照题目要求&#xff0c;直接模拟遍历即可&#xff0c;代码如下 class Solution { public:int scoreOfString(string …
阅读更多...
LPA算法简介

LPA算法简介

1. 背景 标签传播算法(Label Propagation Algorithm)是一种基于图的半监督学习方法&#xff0c;其基本思路是用已标记节点的标签信息去预测未标记节点的标签信息。 2. 算法流程 1. 为每个节点随机的指定一个自己特有的标签&#xff1b; 2. 逐轮刷新所有节点的标签&#xff0…
阅读更多...
复现SMO算法：理解SVM、SMO和高斯核【一、了解相关概念】

复现SMO算法：理解SVM、SMO和高斯核【一、了解相关概念】

任务要求 复现带有高斯核的SMO算法。在LIBSVM中找到一个包含超过1000条数据的数据集。在保持超参数一致的情况下&#xff0c;确保自己实现的模型的精度与LIBSVM相比&#xff0c;相差不超过1%。 复现SMO算法&#xff1a;理解SVM、SMO和高斯核 在这篇博客中&#xff0c;我将深…
阅读更多...
Java基础：单例模式，Spring源码中有哪些单例模式

Java基础：单例模式，Spring源码中有哪些单例模式

单例模式是一种常用的软件设计模式&#xff0c;其目的是确保一个类仅有一个实例&#xff0c;并提供一个全局访问点来获取这个唯一实例。在Java中&#xff0c;实现单例模式通常需要遵循以下几个关键原则&#xff1a; 私有化构造器&#xff1a;将类的构造器声明为private&#xf…
阅读更多...
完美解决多种情况下的 java.lang.NullPointerException 的异常

完美解决多种情况下的 java.lang.NullPointerException 的异常

文章目录 1. 复现错误2. 分析问题3. 解决问题1. 复现错误 在工作中，经常会遇见java.lang.NullPointerException的异常，这种异常千奇百怪，但明确一点的是：它是空指针异常，也称之为NPE异常，如下代码所示： @Setter @Getter @Accessors(chain = true) public class Student…
阅读更多...
Cloud微服务：Ribbon负载均衡

Cloud微服务：Ribbon负载均衡

个人简介&#xff1a;Java领域新星创作者&#xff1b;阿里云技术博主、星级博主、专家博主&#xff1b;正在Java学习的路上摸爬滚打&#xff0c;记录学习的过程~ 个人主页&#xff1a;.29.的博客 学习社区&#xff1a;进去逛一逛~ Ribbon负载均衡 一、Ribbon - 负载均衡原理、流…
阅读更多...
Linux : Oracle远程连接调用缺少客户端依赖（ORA-00000: DPI-1047）

Linux : Oracle远程连接调用缺少客户端依赖（ORA-00000: DPI-1047）

连接报错&#xff1a; ORA-00000: DPI-1047: Cannot locate a 64-bit Oracle Client library: "libclntsh.so: cannot open shared object file: No such file or directory". See https://oracle.github.io/odpi/doc/installation.html#linux for help 解决方法&…
阅读更多...
最新文章

Copyright @ 2022~2023