嵌入式驱动学习第二周——断言机制

2024-03-05 03:52

本文主要是介绍嵌入式驱动学习第二周——断言机制,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

前言

   这篇博客来聊一聊C/C++的断言机制。

   嵌入式驱动学习专栏将详细记录博主学习驱动的详细过程,未来预计四个月将高强度更新本专栏,喜欢的可以关注本博主并订阅本专栏,一起讨论一起学习。现在关注就是老粉啦!

目录

  • 前言
  • 1. 断言介绍
    • 1.1 断言的概念
    • 1.2 断言的实现
    • 1.3 禁用断言
  • 2. 静态断言
    • 2.1 使用案例
    • 2.2 优点
  • 3. 运行时断言
    • 3.1 assert使用
    • 3.2 assert注意事项
  • 参考资料

1. 断言介绍

1.1 断言的概念

   断言就是用于在代码中捕捉这些假设,可以将断言看作是异常处理的一种高级形式。

   断言表示为一些布尔表达式,程序员相信在程序中的某个特定点该表达式值为真。可以在任何时候启用和禁用断言验证,因此可以在测试时启用断言,而在部署时禁用断言。

   最终用户在遇到问题时可以重新起用断言。它可以快速发现并定位软件问题,同时对系统错误进行自动报警。断言可以对在系统中隐藏很深,用其它手段极难发现的问题可以用断言来进行定位,从而缩短软件问题定位时间,提高系统的可测性。

   断言的本质就是if ... else ...判断:

if (假设为true) {程序正常运行;
} else {报错并终止程序
}

   那为什么还要断言呢?如果全是if ... else... 的话就会有无数个if语句,甚至可能一个if语句的作用阈从文件头到文件尾。并且使用断言的时机,大部分都是偶然事件,只是要验证的假设,仅仅想测试一下最坏的情况是否发生。

   除此以外,断言的assert()宏只有Debug版本才有效,Release中则被忽略。

1.2 断言的实现

   在使用断言时,需要添加头文件:#include <assert.h>

   断言是assert(expression),这是一个!!!!

void assert( int expression );

   assert计算表达式,如果值为假,那么先想stderr打印一条错误信息,然后调用abort来终止程序运行。

1.3 禁用断言

   调试结束后,可以在#include语句之前插入#define NDEBUG来禁用assert调用:

#define NDEBUG 
#include <assert.h>

2. 静态断言

2.1 使用案例

   静态断言主要是用来约束程序在编译时要满足的一定要求,是在c++11中引入的。

   其定义如下所示:

static_assert(常量表达式,提示字符串);

   如果第一个参数常量表达式的值为真(true或者非零值),那么static_assert不做任何事情,就像它不存在一样,否则会产生一条编译错误,错误位置就是该static_assert语句所在行。错误提示就是第二个参数提示字符串

#include <assert.h>int main(void) {static_assert(false, "This is an error");return 0;
}

   在IDE中就会报错提示。并且下面的错误提示就是后面自己写的错误提示。

在这里插入图片描述

在这里插入图片描述

2.2 优点

1、使用static_assert,我们可以在编译期间发现更多的错误,提前找出错误的原因。
  
2、static_assert可以用在全局作用域中,命名空间中,类作用域中,函数作用域中,几乎可以不受限制的使用。
  
3、编译器在遇到一个static_assert语句时,通常立刻将其第一个参数作为常量表达式进行演算,但如果该常量表达式依赖于某些模板参数,则延迟到模板实例化时再进行演算,这就让检查模板参数成为了可能。
  
4、由于之前有望加入C++0x标准的concepts提案最终被否决了,因此对于检查模板参数是否符合期望的重任,就要靠static_assert来完成了,所以如何构造适当的常量表达式,将是一个值得探讨的话题。
  
5、性能方面,由于是static_assert编译期间断言,不生成目标代码,因此static_assert不会造成任何运行期性能损失

3. 运行时断言

3.1 assert使用

   运行时断言可以在程序运行过程中,判断一些支持程序正常运行的假设性条件是否满足。

   上面1.3中的assert宏就是动态断言

3.2 assert注意事项

   可以在函数开始处检验传入参数的合法性

int readNum(int n) {assert(n > 0);return 1;
}

   每个assert只检验一个条件,因为同时检验多个条件时,如果断言失败,无法直观的判断是哪个条件失败

// 不要写成这样
assert(n > 0 && n < maxBound);
// 最好写成这样
assert(n > 0);
assert(n < maxBound);

   不能使用改变环境的语句,因为assert只在DEBUG个生效,如果这么做,会使用程序在真正运行时遇到问题

// 不要写成这样
assert(i++ > 10);      
// 最好写成这样
assert(i > 10);
i++;

   assert和后面的语句应空一行,以形成逻辑和视觉上的一致感

   有的地方,assert不能代替条件过滤

参考资料

[1] C语言之断言的一些理解

[2] c++11中静态断言static_assert

这篇关于嵌入式驱动学习第二周——断言机制的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/775255

相关文章

HarmonyOS学习(七)——UI(五)常用布局总结

自适应布局 1.1、线性布局(LinearLayout) 通过线性容器Row和Column实现线性布局。Column容器内的子组件按照垂直方向排列,Row组件中的子组件按照水平方向排列。 属性说明space通过space参数设置主轴上子组件的间距,达到各子组件在排列上的等间距效果alignItems设置子组件在交叉轴上的对齐方式,且在各类尺寸屏幕上表现一致,其中交叉轴为垂直时,取值为Vert

Ilya-AI分享的他在OpenAI学习到的15个提示工程技巧

Ilya(不是本人,claude AI)在社交媒体上分享了他在OpenAI学习到的15个Prompt撰写技巧。 以下是详细的内容: 提示精确化:在编写提示时,力求表达清晰准确。清楚地阐述任务需求和概念定义至关重要。例:不用"分析文本",而用"判断这段话的情感倾向:积极、消极还是中性"。 快速迭代:善于快速连续调整提示。熟练的提示工程师能够灵活地进行多轮优化。例:从"总结文章"到"用

JVM 的类初始化机制

前言 当你在 Java 程序中new对象时,有没有考虑过 JVM 是如何把静态的字节码(byte code)转化为运行时对象的呢,这个问题看似简单,但清楚的同学相信也不会太多,这篇文章首先介绍 JVM 类初始化的机制,然后给出几个易出错的实例来分析,帮助大家更好理解这个知识点。 JVM 将字节码转化为运行时对象分为三个阶段,分别是:loading 、Linking、initialization

【前端学习】AntV G6-08 深入图形与图形分组、自定义节点、节点动画(下)

【课程链接】 AntV G6:深入图形与图形分组、自定义节点、节点动画(下)_哔哩哔哩_bilibili 本章十吾老师讲解了一个复杂的自定义节点中,应该怎样去计算和绘制图形,如何给一个图形制作不间断的动画,以及在鼠标事件之后产生动画。(有点难,需要好好理解) <!DOCTYPE html><html><head><meta charset="UTF-8"><title>06

学习hash总结

2014/1/29/   最近刚开始学hash,名字很陌生,但是hash的思想却很熟悉,以前早就做过此类的题,但是不知道这就是hash思想而已,说白了hash就是一个映射,往往灵活利用数组的下标来实现算法,hash的作用:1、判重;2、统计次数;

嵌入式QT开发:构建高效智能的嵌入式系统

摘要: 本文深入探讨了嵌入式 QT 相关的各个方面。从 QT 框架的基础架构和核心概念出发,详细阐述了其在嵌入式环境中的优势与特点。文中分析了嵌入式 QT 的开发环境搭建过程,包括交叉编译工具链的配置等关键步骤。进一步探讨了嵌入式 QT 的界面设计与开发,涵盖了从基本控件的使用到复杂界面布局的构建。同时也深入研究了信号与槽机制在嵌入式系统中的应用,以及嵌入式 QT 与硬件设备的交互,包括输入输出设

零基础学习Redis(10) -- zset类型命令使用

zset是有序集合,内部除了存储元素外,还会存储一个score,存储在zset中的元素会按照score的大小升序排列,不同元素的score可以重复,score相同的元素会按照元素的字典序排列。 1. zset常用命令 1.1 zadd  zadd key [NX | XX] [GT | LT]   [CH] [INCR] score member [score member ...]

【机器学习】高斯过程的基本概念和应用领域以及在python中的实例

引言 高斯过程(Gaussian Process,简称GP)是一种概率模型,用于描述一组随机变量的联合概率分布,其中任何一个有限维度的子集都具有高斯分布 文章目录 引言一、高斯过程1.1 基本定义1.1.1 随机过程1.1.2 高斯分布 1.2 高斯过程的特性1.2.1 联合高斯性1.2.2 均值函数1.2.3 协方差函数(或核函数) 1.3 核函数1.4 高斯过程回归(Gauss

【学习笔记】 陈强-机器学习-Python-Ch15 人工神经网络(1)sklearn

系列文章目录 监督学习:参数方法 【学习笔记】 陈强-机器学习-Python-Ch4 线性回归 【学习笔记】 陈强-机器学习-Python-Ch5 逻辑回归 【课后题练习】 陈强-机器学习-Python-Ch5 逻辑回归(SAheart.csv) 【学习笔记】 陈强-机器学习-Python-Ch6 多项逻辑回归 【学习笔记 及 课后题练习】 陈强-机器学习-Python-Ch7 判别分析 【学

Java ArrayList扩容机制 (源码解读)

结论:初始长度为10,若所需长度小于1.5倍原长度,则按照1.5倍扩容。若不够用则按照所需长度扩容。 一. 明确类内部重要变量含义         1:数组默认长度         2:这是一个共享的空数组实例,用于明确创建长度为0时的ArrayList ,比如通过 new ArrayList<>(0),ArrayList 内部的数组 elementData 会指向这个 EMPTY_EL