Question

Python还包括了assert语句，这种情况有些特殊。这是raise常见使用模式的语法简写，assert可视为条件式的raise语句。该语句形式为：

执行起来就像如下的代码。

换句话说，如果test计算为假，Python就会引发异常：data项（如果提供了的话）是异常的额外数据。就像所有异常，引发的AssertionError异常如果没被try捕捉，就会终止程序，在此情况下数据项将作为出错消息的一部分显示。

assert语句是附加的功能，如果使用-O Python命令行标志位，就会从程序编译后的字节码中移除，从而优化程序。AssertionError是内置异常，而__debug__标志位是内置变量名，除非有使用-O标志，否则自动设为1（真值）。使用类似python-O main.py的一个命令行来在优化模式中运行，并且关闭assert。

例子：收集约束条件（但不是错误）

Assert语句通常是用于验证开发期间程序状况的。显示时，其出错消息正文会自动包括源代码的行信息，以及列在assert语句中的值。考虑文件asserter.py。

牢记这一点很重要：assert几乎都是用来收集用户定义的约束条件，而不是捕捉内在的程序设计错误。因为Python会自行收集程序的设计错误，通常来说，没必要写assert去捕捉超出索引值、类型不匹配以及除数为零之类的事情。

这类assert一般都是多余的：因为Python会在遇见错误时自动引发异常，让Python替你把事情做好就行了。^[1]另一个assert常见用法例子，可以参考第28章的抽象超类例子。在那里，我们使用assert让未定义方法的调用失败并打印消息。

[1]至少，多数情况下是这样。就像本书前面建议的那样，如果函数必须运行长时间或无法恢复的动作，才能到达异常会被触发的地方，你可能会想亲自测试错误。不过，即使是这种情况，也要小心，别让测试过于具体或严格，不然，就会限制程序代码的用处。