理解 Python 赋值语句的语法结构-Python教程-PHP中文网

理解 Python 赋值语句的语法结构

碧海醫心

发布： 2025-09-01 21:18:30

原创

608人浏览过

理解 python 赋值语句的语法结构

赋值语句是任何编程语言的基础，Python 也不例外。为了理解 Python 赋值语句的底层语法结构，我们需要深入研究其 Backus-Naur 范式（BNF）定义。很多人在初次接触 Python 语法定义时，可能会对复杂的 BNF 表达式感到困惑，尤其是当试图将一个简单的赋值语句，例如 a = 9，与 BNF 定义联系起来时。

正如摘要中所述，即使是最简单的赋值语句，也符合 Python 的语法定义。理解的关键在于认识到 BNF 定义中的可选部分。

让我们逐步分解 a = 9 这个赋值语句，并将其与 Python 的 BNF 定义对应起来。

首先，我们来看赋值语句的总体结构：

立即学习“Python免费学习笔记（深入）”；

assignment_stmt ::=  (target_list "=")+ (starred_expression | yield_expression)

登录后复制

在这个例子中，a 对应于 target_list，而 9 对应于 starred_expression。关键在于理解 starred_expression 如何包含一个简单的数值字面量。

starred_expression 的定义如下：

starred_expression ::=  expression | (starred_item ",")* [starred_item]

登录后复制

这里的 expression 是关键。一个 starred_expression 可以仅仅是一个 expression。那么，9 如何成为一个 expression 呢？

以下是从 starred_expression 到 integer 的完整推导过程：

Python快速入门

快速学习python书第二版是一本简洁清晰介绍python3的书籍，目标是新学习python 的程序员。这本更新版本囊括了所有python3版本的变化，即python从早期版本到新版本的特性变化本书一开始用基础但是很有用的程序来传授给读者关于python的核心特性，包括语法，控制流程和数据结构。然后本书使用大型的应用程序包括代码管理，面向对象编程，web开发和转换老版本的python程序到新的版本等等。忠实于作者的经验十足的开发者的观众，作者仔细检查普通程序特点，同时增加了更多细节关于这些python

查看详情

starred_expression     ::=  expression | (starred_item ",")* [starred_item]
expression             ::=  conditional_expression | lambda_expr
conditional_expression ::=  or_test ["if" or_test "else" expression]
or_test                ::=  and_test | or_test "or" and_test
and_test               ::=  not_test | and_test "and" not_test
not_test               ::=  comparison | "not" not_test
comparison             ::=  or_expr (comp_operator or_expr)*
or_expr                ::=  xor_expr | or_expr "|" xor_expr
xor_expr                ::=  and_expr | xor_expr "^" and_expr
and_expr                ::=  shift_expr | and_expr "&" shift_expr
shift_expr                ::=  a_expr | shift_expr ("<<" | ">>") a_expr
a_expr                ::=  m_expr | a_expr "+" m_expr | a_expr "-" m_expr
m_expr                ::=  u_expr | m_expr "*" u_expr | m_expr "@" m_expr | m_expr "//" u_expr | m_expr "/" u_expr | m_expr "%" u_expr
u_expr                ::=  power | "-" u_expr | "+" u_expr | "~" u_expr
power                  ::=  (await_expr | primary) ["**" u_expr]
primary                ::=  atom | attributeref | subscription | slicing | call
atom                   ::=  identifier | literal | enclosure
literal                ::=  stringliteral | bytesliteral | integer | floatnumber | imagnumber
integer                ::=  decinteger | bininteger | octinteger | hexinteger
decinteger             ::=  nonzerodigit (["_"] digit)* | "0"+ (["_"] "0")*
nonzerodigit            ::=  "1"..."9"

登录后复制

正如你所看到的，9 最终符合 integer 的定义，进而满足 literal、atom、primary、power、u_expr、m_expr...直到 expression 的定义。

关键点：可选性

容易让人感到困惑的地方在于，从 conditional_expression 到 power 的每一行，使其“像它所是”的元素实际上是可选的！

例如，在 power 中，** 运算符实际上甚至不是必需的。因此，我们认为 2**16 是一个 power，但 2 也符合 power 的定义。类似地，对于 or_test，实际上不需要 or 关键字。

一直都是这样。对于每一行，9 都满足最简单版本的语法元素，而不包含任何可选部分。

总结

理解 Python 语法定义的关键在于理解 BNF 的递归性和可选性。即使是最简单的赋值语句，也需要通过一系列的推导才能符合语法规则。通过逐步分解 BNF 定义，我们可以更好地理解 Python 语法的严谨性和灵活性。这种理解对于编写符合规范的 Python 代码至关重要。

以上就是理解 Python 赋值语句的语法结构的详细内容，更多请关注php中文网其它相关文章！