assert语句有两种形式。

简单形式assert <expression>相当于

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

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

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

其他人已经为您提供了文档链接。

您可以在交互式shell中尝试以下操作:

>>> assert 5 > 2
>>> assert 2 > 5
Traceback (most recent call last):
  File "<string>", line 1, in <fragment>
builtins.AssertionError:

第一个语句什么都不做，而第二个语句引发异常。这是第一个提示:断言用于检查在代码的给定位置(通常是函数的开始(前置条件)和结束(后置条件)中应该为真条件。

断言实际上与契约编程高度相关，这是一种非常有用的工程实践:

http://en.wikipedia.org/wiki/Design_by_contract。

注意括号。正如在其他回答中指出的那样，在Python 3中，assert仍然是一个语句，因此通过与print(..)类比，可以推断出assert(..)或raise(..)，但不应该这样做。

这是错误的:

assert(2 + 2 == 5, "Houston we've got a problem")

这是正确的:

assert 2 + 2 == 5, "Houston we've got a problem"

第一个不能工作的原因是bool((False，“Houston we've got a problem”))的值为True。

在assert(False)语句中，这些只是在False周围的多余圆括号，对其内容求值。但是使用assert(False)，圆括号现在是一个元组，而非空元组在布尔上下文中的计算结果为True。

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

从文档:

断言语句是向程序中插入调试断言的一种方便方法

你可以在这里阅读更多:http://docs.python.org/release/2.5.2/ref/assert.html

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

if __debug__:
   if not expression: raise AssertionError

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