Python 中何时使用断言

Python012

Python 中何时使用断言,第1张

1、assert语句用来声明某个条件是真的。

2、如果你非常确信某个你使用的列表中至少有一个元素,而你想要检验这一点,并且在它非真的时候引发一个错误,那么assert语句是应用在这种情形下的理想语句。

3、当assert语句失败的时候,会引发一AssertionError。

测试程序:

>>>mylist = ['item']

>>>assert len(mylist) >= 1

>>>mylist.pop()

'item'

>>>assert len(mylist) >= 1

Traceback (most recent call last):

File "", line 1, in<module>

AssertionError

>>>

这个问题是如何在一些场景下使用断言表达式,通常会有人误用它,所以我决定写一篇文章来说明何时使用断言,什么时候不用。

为那些还不清楚它的人,Python的assert是用来检查一个条件,如果它为真,就不做任何事。如果它为假,则会抛出AssertError并且包含错误信息。

建议的不要用断言的场景:

不要用它测试用户提供的数据

不要用断言来检查你觉得在你的程序的常规使用时会出错的地方。断言是用来检查非常罕见的问题。你的用户不应该看到任何断言错误,如果他们看到了,这是一个bug,修复它。

有的情况下,不用断言是因为它比精确的检查要短,它不应该是懒码农的偷懒方式。

不要用它来检查对公共库的输入参数,因为它不能控制调用者,所以不能保证调用者会不会打破双方的约定。

不要为你觉得可以恢复的错误用断言。换句话说,不用改在产品代码里捕捉到断言错误。

不要用太多断言以至于让代码很晦涩。

Q:什么是断言?

A:我理解的断言就是一个命题,在程序执行中,命题为真则通过,命题为假则不通过。

关于assert用法,参考菜鸟教程: https://www.runoob.com/python3/python3-assert.html

1.状态

2.json

3.list结构里的json

4.jsonpath

5.assert_that

6.post_xml

7.files

8.header

9.cookie

1.可以在预计正常情况下程序不会到达的地方放置断言 :assert false2.断言可以用于检查传递给私有方法的参数。(对于公有方法,因为是提供给外部的接口,所以必须在方法中有相应的参数检验才能保证代码的健壮性)3.使用断言测试方法执行的前置条件和后置条件4.使用断言检查类的不变状态,确保任何情况下,某个变量的状态必须满足。(如age属性应大于0小于某个合适值)不用断言断言语句不是永远会执行,可以屏蔽也可以启用因此:1.不要使用断言作为公共方法的参数检查,公共方法的参数永远都要执行2.断言语句不可以有任何边界效应,不要使用断言语句去修改变量和改变方法的返回值.C里的宏宏名: assert功 能: 测试一个条件并可能使程序终止用 法: void assert(int test)程序例: #include<assert.h>#include<stdio.h>#include<stdlib.h>struct ITEM{int key int value}/*add item to list,make sure list is not null*/void additem(struct ITEM* itemptr){assert(itemptr!=NULL) /*additemtolist*/}int main(void){additem(NULL) return 0}assert() 宏用法注意:assert是宏,而不是函数。在C的assert.h头文件中。assert宏的原型定义在<assert.h>中,其作用是如果它的条件返回错误,则终止程序执行,原型定义: #defineassert(expr)\((expr)\?__ASSERT_VOID_CAST(0)\:__assert_fail(__STRING(expr),__FILE__,__LINE__,__ASSERT_FUNCTION))/*DefinedInGlibc2.15*/assert的作用是先计算表达式expr,如果其值为假(即为0),那么它会打印出来assert的内容和__FILE__, __LINE__, __ASSERT_FUNCTION,然后执行abort()函数使kernel杀掉自己并coredump(是否生成coredump文件,取决于系统配置);否则,assert()无任何作用。宏assert()一般用于确认程序的正常操作,其中表达式构造无错时才为真值。完成调试后,不必从源代码中删除assert()语句,因为宏NDEBUG有定义时,宏assert()的定义为空。 请看下面的程序清单badptr.c: #include<stdio.h>#include<assert.h>#include<stdlib.h>int main(void){FILE* fp fp=fopen(test.txt,w)//以可写的方式打开一个文件,如果不存在就创建一个同名文件assert(fp)//所以这里不会出错fclose(fp) fp=fopen(noexitfile.txt,r)//以只读的方式打开一个文件,如果不存在就打开文件失败assert(fp)//所以这里出错fclose(fp)//程序永远都执行不到这里来return 0}[root@localhost error_process]# gcc badptr.c[root@localhost error_process]# ./a.outa.out: badptr.c:14: main: Assertion `fp' failed.如果使用动态链接libc,那么除了__FILE__, __LINE__, __ASSERT_FUNCTION会让目标变的稍稍大了一点,并不会因为多次使用assert()增加目标很多。不过好处也很明显,就是会在assert的地方会打印出来文件名,行数,和函数名。另外,要注意用assert()的错误程度。如果assert()的条件fail了,那么会调用abort()函数让kernel杀掉自己,哪怕用户自己重新注册了SIGABRT信号的行为(abort()会先向自己发送信号SIGABRT保证用户的handler正确执行,然后修改SIGABRT信号的行为为默认行为coredump,再次像自己发送SIGABRT,coredump)。在调试结束后,可以通过在包含#include <assert.h>的语句之前插入 #define NDEBUG 来禁用assert调用,示例代码如下:#include <stdio.h>#define NDEBUG#include <assert.h>用法总结与注意事项:1)在函数开始处检验传入参数的合法性如:int resetBufferSize(int nNewSize){ //功能:改变缓冲区大小, //参数:nNewSize缓冲区新长度 //返回值:缓冲区当前长度 //说明:保持原信息内容不变 nNewSize<=0表示清除缓冲区 assert(nNewSize >= 0)assert(nNewSize <= MAX_BUFFER_SIZE)...}2)每个assert只检验一个条件,因为同时检验多个条件时,如果断言失败,无法直观的判断是哪个条件失败/***不好***/assert(nOffset>=0 &&nOffset+nSize<=m_nInfomationSize)/****好****/assert(nOffset >= 0)assert(nOffset+nSize <= m_nInfomationSize)3)不能使用改变环境的语句,因为assert只在DEBUG生效,如果这么做,会使用程序在真正运行时遇到问题错误: assert(i++ <100)这是因为如果出错,比如在执行之前i=100,那么这条语句就不会执行,那么i++这条命令就没有执行。正确: assert(i <100)i++4)assert和后面的语句应空一行,以形成逻辑和视觉上的一致感5)有的地方,assert不能代替条件过滤注意:当对于浮点数:#include<assert.h>float pi=3.14fassert (pi==3.14f)在switch语句中总是要有default子句来显示信息(Assert)。int number = SomeMethod()switch(number){case 1: Trace.WriteLine(Case 1:)breakcase 2: Trace.WriteLine(Case 2:)breakdefault : Debug.Assert(false)break}