ast.BoolOp什么时候有两个以上的值？

Question

Python的AST使用以下命令定义布尔表达式

BoolOp(boolop op, expr* values)

我希望它与相似BinOp，带有left和right值。

有人可以给我一个示例代码，其中AST具有多个不同于两个的值吗？

编辑：

显然会x and y and z产生三个值。所以让我改一下：

为什么不将其建模为两个嵌套BoolOp表达式？

Answer 1

a and b and c 被Python解析器视为三元连接：

>>> e = ast.parse('''a and b and c''').body[0].value
>>> e.op
<_ast.And object at 0x254d1d0>
>>> e.values
[<_ast.Name object at 0x2d9ba50>, <_ast.Name object at 0x2d9ba90>, <_ast.Name object at 0x2d9bad0>]

尽管括号会强制将其解析为递归二进制连接：

>>> ast.parse('''a and (b and c)''').body[0].value.values
[<_ast.Name object at 0x2d9b990>, <_ast.BoolOp object at 0x2d9bb10>]

我不确定为什么会这样。在任何情况下，BoolOp根据CPython源代码中的单元测试，一个子不能少于两个。

我最初以为这是一种优化，但是后来a and b and c完全等同于a and (b and c); 它们甚至生成相同的字节码：

>>> def f(a, b, c):
...     return a and b and c
... 
>>> def g(a, b, c):
...     return a and (b and c)
... 
>>> from dis import dis
>>> dis(f)
  2           0 LOAD_FAST                0 (a)
              3 JUMP_IF_FALSE_OR_POP    15
              6 LOAD_FAST                1 (b)
              9 JUMP_IF_FALSE_OR_POP    15
             12 LOAD_FAST                2 (c)
        >>   15 RETURN_VALUE        
>>> dis(g)
  2           0 LOAD_FAST                0 (a)
              3 JUMP_IF_FALSE_OR_POP    15
              6 LOAD_FAST                1 (b)
              9 JUMP_IF_FALSE_OR_POP    15
             12 LOAD_FAST                2 (c)
        >>   15 RETURN_VALUE