你真的会正确使用断言吗?

01

什么是断言

断言是作为一种调试工具被发明出来的,用来检查那些“代码写对了就肯定成立”的条件。例如我们要断言一个变量a必须要大于2,就可以这样写:

1assert a > 2

当条件不满足时,就会抛出AssertionError异常,等同于如下代码:

1if not assert_condition:
2    raise AssertionError

由于断言是一个debug工具,Python的实现也符合这个设计哲学,在Python中assert语句的执行是依赖于__debug__变量的,当__debug__为true时,assert语句才会被执行。

1if __debug__ and not assert_condition:
2    raise AssertionError

默认情况下,当我们执行一个Python文件时,__debug__是会被设置为True的,只有加参数-O或-OO时,__debug__才会被设置为False。

新建一个assert.py文件,写下如下代码:

1print(__debug__)
2assert 2 > 5

当使用python assert.py运行时,`__debug__`会输出True,assert 2 > 5语句会抛出AssertionError异常。

当使用python -O assert.py运行时,`__debug__`会输出False,assert 2 > 5语句由于没有执行不会报任何异常。

02

异常 or 断言

我们思考这几个问题:断言应该用在哪些情境下?异常和断言的区别是什么?

用一句话来概括断言的使用场景和与异常的区别:

检查先验条件使用断言,检查后验条件使用异常。

我们定义一个read_file函数:

1def read_file(file_path):
2    pass

read_file函数要求在开始执行的时候满足一定条件:file_path必须是str类型,这个条件就是先验条件,如果不满足,就不能调用这个函数,如果真的出现了不满足条件的情况,证明代码中出现了bug,这时候我们就可以使用assert语句来对file_path的类型进行推断,提醒程序员修改代码,这样的推断在生产环境中是不需要的,也可以使用if + raise语句来实现assert,但是要繁琐很多。

1def read_file(file_path):
2    assert is_instance(file_path, str)

read_file函数在被调用执行后,依然需要满足一定条件,比如file_path所指定的文件需要是存在的,并且当前用户有权限读取该文件,这些条件称为后验条件,对于后验条件的检查,我们需要使用异常来处理。

1def read_file(file_path):
2    assert is_instance(file_path, str)
3    if not check_exist(file_path):
4        raise NotFoundError()
5    if not has_privilege(file_path):
6        raise PermissionError()

文件不存在和没有权限,这两种情况并不属于代码bug,是代码逻辑的一部分,上层代码捕获异常后可能会执行其他逻辑,因此我们不能接受这部分代码在生产环境中被忽略。并且,相比于assert语句只能抛出AssertionError,使用异常可以抛出更细致的错误,方便上层代码针对不同错误执行不同的逻辑。

原文发布于微信公众号 - Python私房菜(python-fans)

原文发表时间:2018-05-07

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏用户2442861的专栏

再谈python中的多态

以前写过一篇文章讲了一下python中的多态,最后得出结论python不支持多态,随着对python理解得加深,对python中得多态又有了一些看法。

5741
来自专栏C/C++基础

C++中的作用域与生命周期

Pascal之父Nicklaus Wirth曾经提出一个公式,展示出了程序的本质:程序=算法+数据结构。后人又给出一个公式与之遥相呼应:软件=程序+文档。这两个...

762
来自专栏AzMark

Python 学习笔记之类与实例

类 (class) 封装一组相关数据,使之成为一个整体,并使用一种方法持续展示和维护。

471
来自专栏Pulsar-V

GTK基础操作类

1 类型定义 整数类型:gint8、guint8、gint16、guint16、gint31、guint32、gint64、guint64。不是所有的平台都提...

2685
来自专栏生信宝典

Python学习极简教程 (一)

Python 教程 欢迎来到Python的世界,本教程将带你遨游Python,领悟Python的魅力。本教程专注于帮助初学者,尤其是生物信息分析人员快速学会P...

46411
来自专栏海天一树

小朋友学C语言(12):判断

(一) 先动手编写一个程序: #include <stdio.h> int main() { if(1) { printf("T...

3109
来自专栏大闲人柴毛毛

图的邻接表示法Java版

边节点 ? 一个边节点有一条边 和 一个终止节点组成。 /** * 边节点(由一条边和一个终止节点构成) */ class ENode{ i...

3527
来自专栏机器之心

资源 | 正则表达式的功法大全,做NLP再也不怕搞不定字符串了

正则表达式(regex 或 regexp)对于从文本中抽取信息极其有用,它一般会搜索匹配特定模式的语句,而这种模式及具体的 ASCII 序列或 Unicode ...

1878
来自专栏从零开始学 Web 前端

从零开始学 Web 之 JavaScript(三)函数

全局变量:在 script 使用 var 定义的变量(所有的 script 共享其全局性,js 里面没有块级作用域概念,只有全局作用域和局部作用域)。

822
来自专栏北京马哥教育

Python工程师面试必备25条Python知识点

1.到底什么是Python?你可以在回答中与其他技术进行对比 下面是一些关键点: Python是一种解释型语言。这就是说,与C语言和C的衍生语言不同,Pytho...

3206

扫码关注云+社区

领取腾讯云代金券