Python断言和paransition只允许在其中编写部分条件

Question

有人能解释一下为什么这种绝对奇怪的语法在Python中有效吗(我在Python 3.7中测试过(？从功能上讲，它似乎完全等同于逻辑核心的assert(5+1 == 6)，但我不知道为什么这是有效的语法。

assert(5) + 1 == 6

Answer 1

assert不是函数；这是一个声明。

在这两种情况下，括号都是关键字assert后面的表达式的一部分。表达式(5) + 1 == 6、(5+1 == 6)和5 + 1 == 6是等效的，前两种情况中的括号是不必要的。

您可以看到解析器对它们一视同仁：

>>> import ast
>>> ast.dump(ast.parse("assert(5) + 1 == 6"))
'Module(body=[Assert(test=Compare(left=BinOp(left=Num(n=5), op=Add(), right=Num(n=1)), ops=[Eq()], comparators=[Num(n=6)]), msg=None)])'
>>> ast.dump(ast.parse("assert(5 + 1 == 6)"))
'Module(body=[Assert(test=Compare(left=BinOp(left=Num(n=5), op=Add(), right=Num(n=1)), ops=[Eq()], comparators=[Num(n=6)]), msg=None)])'
>>> ast.dump(ast.parse("assert 5 + 1 == 6"))
'Module(body=[Assert(test=Compare(left=BinOp(left=Num(n=5), op=Add(), right=Num(n=1)), ops=[Eq()], comparators=[Num(n=6)]), msg=None)])'

或者让Python为您比较字符串，

>>> exprs = ["assert(5) + 1 == 6", "assert(5 + 1 ==  6)", "assert 5 + 1 == 6"]
>>> len(set(ast.dump(ast.parse(x)) for x in exprs))
1

---

更正式地说，assert语句由assert关键字和一个或两个附加表达式组成。

assert_stmt: 'assert' test [',' test]

第一个被评估为布尔表达式，产生True或False作为结果。如果第一个表达式是False，则第二个表达式的值(如果存在(用于构造语句引发的AssertionError。

>>> assert False
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
AssertionError
>>> assert False, 3
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
AssertionError: 3
>>> assert True
>>> assert True, 3