赋值语句是任何编程语言的基础，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书第二版是一本简洁清晰介绍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 代码至关重要。
