正如C2 Wiki上简要总结的那样:

断言是程序中特定位置的布尔表达式，除非程序中存在错误，否则该表达式将为真。

您可以使用断言语句来记录您对特定程序点上代码的理解。例如，您可以记录关于输入(前提条件)、程序状态(不变量)或输出(后置条件)的假设或保证。

如果断言失败，这是对您(或您的后继者)的一个警告，说明您在编写程序时对程序的理解是错误的，并且可能包含一个错误。

有关更多信息，John Regehr有一篇关于断言的使用的精彩博客文章，它也适用于Python断言语句。

Python assert基本上是一种调试辅助工具，用于测试代码内部自检的条件。 当代码进入不可能的边缘情况时，Assert使调试变得非常容易。断言检查那些不可能的情况。

假设有一个函数计算商品折扣后的价格:

def calculate_discount(price, discount):
    discounted_price = price - [discount*price]
    assert 0 <= discounted_price <= price
    return discounted_price

这里，discounted_price永远不能小于0并且大于实际价格。因此，如果上述条件被违反，assert将引发断言错误，这有助于开发人员识别发生了不可能的事情。

希望能有所帮助。

断言是什么意思?它是如何使用的?

这里有很好的答案，但不是问题的第二部分。尽管有多年的实践经验，但我直到最近才明白断言的目的。

其他人已经解释了如何使用assert，所以我非常简短。下面是它的用法:

assert condition, "error message"

不要使用圆括号，assert是关键字，不是函数。

assert (condition, "error message")  # wrong: this never fails!

这里给出了如何使用assert的一个很好的解释:http://wiki.c2.com/?WhatAreAssertions assert的目的是在代码中声明不变量。不变式是一种永远不应该违反的条件，除非代码中存在错误。把它们看作是可执行的文档。这与面向对象编程如何封装来自外部世界的代码密切相关。

简单地说:对于其他开发人员，您应该在代码中像使用注释一样使用断言。但它比注释要好，“注释”实际上是在调试模式下检查的!如果删除断言后，您的程序不能正常工作，那么您使用错误。事实上，如果你打开优化(Python -O)， Python将忽略所有的断言。所以不要依赖他们。特别是，不要使用断言来验证用户输入。而是引发异常。

这里有一个很好的例子来把它们联系在一起。让我们假设您希望在代码中有一个特殊的数字类，它表示称为PositiveInt的正整数。你为什么想要那个?有许多函数使用正整数作为参数。通过在代码中使用PositiveInt，您不必在每个函数中反复检查输入是否有效。它由PositiveInt保证。粗略的实现如下所示

class PositiveInt(int):
    # int is immutable, so we have to override new and not init
    def __new__(cls, value):
        if value <= 0:
            raise ValueError(f"{value} is not positive")
        assert value > 0, "value must be positive"
        return super(PositiveInt, cls).__new__(cls, value)   

如你所见，我用了两个if…:提高……用于输入验证和函数末尾的断言。这似乎是多余的，但仅在这个微不足道的示例中!假设函数稍微长一些，也更复杂一些，因此您是否正确地验证了输入并不明显。末尾的断言确保检测到验证代码中的错误。它还使另一个程序员更清楚地了解验证代码的意图，而不是简单的注释。

总之:像使用注释一样使用assert。到处使用!它很便宜，如果它成为用户的性能问题，你可以在发行版中使用python -O关闭它。

如果assert后的语句为真，则程序继续执行，但如果assert后的语句为假，则程序报错。就这么简单。

例如:

assert 1>0   #normal execution
assert 0>1   #Traceback (most recent call last):
             #File "<pyshell#11>", line 1, in <module>
             #assert 0>1
             #AssertionError

断言是在我们的程序中自信地陈述事实的语句。

语法:assert <条件>或assert <条件>，<错误消息>

它有一个条件/表达式，它应该总是为真。如果条件为false, assert语句将停止程序并抛出AssertionError错误消息。你的断言表达式将是你不希望在程序中出现的东西。

e.g.

Assert <条件>——使用Assert而没有<错误消息> var = int(输入("输入值1-9包含:")) 断言var != 0 打印(var) 输出: 如果输入为0: AssertionError 如果输入为1: 1 断言<条件>，<错误消息>——使用带有<错误消息>的断言 var = int(输入("输入值1-9包含:")) 断言var !=0，"输入不能为零" 打印(var) 输出: 如果输入为0: AssertionError:输入不能为零 如果输入为1: 1

重点:

它被用作调试工具。 它接受一个表达式和一个可选消息。 它几乎存在于每一种编程语言中

这是一个简单的例子，保存到文件(比如b.py)

def chkassert(num):
    assert type(num) == int


chkassert('a')

当$python b.py

Traceback (most recent call last):
  File "b.py", line 5, in <module>
    chkassert('a')
  File "b.py", line 2, in chkassert
    assert type(num) == int
AssertionError