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

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

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

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

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

断言是一种系统的方法，用于检查程序的内部状态是否如程序员所期望的那样，目的是捕捉错误。请参阅下面的示例。

>>> number = input('Enter a positive number:')
Enter a positive number:-1
>>> assert (number > 0), 'Only positive numbers are allowed!'
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
AssertionError: Only positive numbers are allowed!
>>> 

这是一个简单的例子，保存到文件(比如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

assert语句有两种形式。

简单形式assert <expression>相当于

if __​debug__:
    if not <expression>: raise AssertionError

扩展形式assert <expression1>， <expression2>等价于

if __​debug__:
    if not <expression1>: raise AssertionError(<expression2>)

我的简单解释是:

如果表达式为假，assert会引发AssertionError，否则只是继续代码，如果有逗号，无论它是什么，它都会在逗号后引发AssertionError: whatever，而to code则是:引发AssertionError(逗号后的whatever)

相关教程:

https://www.tutorialspoint.com/python/assertions_in_python.htm

正如其他答案所指出的，assert类似于在给定条件不为真时抛出异常。一个重要的区别是，如果使用优化选项-O编译代码，断言语句将被忽略。文档说断言表达式可以更好地描述为等效于

if __debug__:
   if not expression: raise AssertionError

如果你想彻底测试你的代码，然后在你高兴地看到你的断言案例都没有失败时发布一个优化版本，这可能是有用的——当优化打开时，__debug__变量变成False，条件将停止计算。如果您依赖断言，而没有意识到断言已经消失，该特性还可以发现这一点。