Expr
不是表达式本身的节点,而是表达式语句— 即仅包含表达式的语句。因为抽象语法使用三种不同的标识符,这是不完全明显Expr
,Expression
和expr
,所有的意义略有不同的东西。
Statement的语法允许Expr节点作为子代,但是Expr节点的语法不允许另一个Expr节点作为子代。换句话说,args
您所指的值应该是表示内容的列表,而不是Expr
节点列表。请参阅抽象语法的文档,其中包括:
stmt = FunctionDef(identifier name, arguments args,
stmt* body, expr* decorator_list)
| ClassDef(identifier name, expr* bases, stmt* body, expr* decorator_list)
#...
| Expr(expr value)
换句话说,可能的陈述是Expr(blah)
,其中blah
符合的语法expr
。这是Expr
语法中的唯一用法,因此一切Expr
都可以。一个Expr
是可能的陈述,仅此而已。语法的其他地方:
expr = BoolOp(boolop op, expr* values)
| BinOp(expr left, operator op, expr right)
# other stuff notably excluding Expr(...)
| Call(expr func, expr* args, keyword* keywords,
expr? starargs, expr? kwargs)
由于args
参数Call
必须匹配expr*
,它必须是匹配的事物的清单expr
。但是一个Expr
节点不匹配expr
; 在expr
语法相匹配的表现,而不是一个表达式语句。
请注意,如果使用的“ eval”模式compile
,它将编译一个表达式,而不是一条语句,因此该Expr
节点将不存在,并且顶级Module
节点将替换为Expression
:
>>> print(dump(compile('print("blah")', '<String>', 'eval', pfcf|PyCF_ONLY_AST)))
Expression(body=Call(func=Name(id='print', ctx=Load()), args=[Str(s=u'blah')], keywords=[], starargs=None, kwargs=None))
您会看到an的主体Expression
是单个表达式(即an expr
),因此body
不是列表,而是直接设置为Call
节点。但是,当您在“ exec”模式下编译时,它必须为模块及其语句创建额外的节点,并且Expr
就是这样的节点。