如果assert关键字后面的代码为False, Python中的assert关键字将引发AssertionError。如果没有，它继续什么都没有发生。

示例1:

a = 5
b = 6

assert a == b

输出:

AssertionError

这是因为，很明显，a不等于b。 如果你想在代码中引发一个异常，这是特别有用的。

def get_dict_key(d, k):
    try:
        assert k in d
        return d[k]
    except Exception:
        print("Key must be in dict.")

上面的示例实际上是无用的，但是请记住，它主要用于调试目的，因此您可以跟踪错误。

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

语法: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

重点:

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

我的简单解释是:

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

相关教程:

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

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

您可以在交互式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。

>>>this_is_very_complex_function_result = 9
>>>c = this_is_very_complex_function_result
>>>test_us = (c < 4)

>>> #first we try without assert
>>>if test_us == True:
    print("YES! I am right!")
else:
    print("I am Wrong, but the program still RUNS!")

I am Wrong, but the program still RUNS!


>>> #now we try with assert
>>> assert test_us
Traceback (most recent call last):
  File "<pyshell#52>", line 1, in <module>
    assert test_us
AssertionError
>>> 

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

if __debug__:
   if not expression: raise AssertionError

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