"：="语法和赋值表达式：什么和为什么？

Question

PEP 572引入了为Python 3.8实现的赋值表达式（俗称Walrus操作符）。这似乎是一个非常重要的新特性，因为它将允许在理解和lambda函数中进行这种形式的赋值。

赋值表达式的语法、语义学和语法规范到底是什么？

为什么在PEP 379中关于“添加赋值表达式”的类似想法之前遭到拒绝的情况下，引入了这个新的（似乎相当激进的概念）？

Answer 1

现在3.8已经正式发布了，更多的例子和理由。

命名表达式的结果是编程的一个重要部分，允许使用描述性名称代替较长的表达式，并允许重用。目前，此功能仅在语句形式中可用，因此在列表理解和其他表达式上下文中不可用。

来源：LicensedProfessional的reddit评论

处理匹配的正则表达式

if (match := pattern.search(data)) is not None:
    # Do something with match

不能使用2-arg iter（）简单重写的循环

while chunk := file.read(8192):
   process(chunk)

重用计算成本高昂的值

[y := f(x), y**2, y**3]

在理解筛选器子句及其输出之间共享子表达式

filtered_data = [y for x in data if (y := f(x)) is not None]

Answer 2

赋值表达式可以使代码更简洁、更易于阅读的几个我最喜欢的例子：

之前：

match = pattern.match(line)
if match:
    return match.group(1)

之后：

if match := pattern.match(line):
    return match.group(1)

之前：

while True:
    data = f.read(1024)
    if not data:
        break
    use(data)

之后：

while data := f.read(1024):
    use(data)

政治公众人物中还有其他好例子。

Answer 3

PEP 572包含许多细节，尤其是第一个问题。我将尝试简要总结/引用政治公众人物计划中最重要的部分：

理由

允许在理解中进行这种形式的赋值，例如列表理解和禁止传统赋值的lambda函数。这也可以促进交互式调试，而无需代码重构。

推荐的用例示例

a） 获取条件值

例如（在Python 3中）：

command = input("> ")
while command != "quit":
    print("You entered:", command)
    command = input("> ")

可以成为：

while (command := input("> ")) != "quit":
    print("You entered:", command)

同样，从文档中：

在本例中，赋值表达式有助于避免调用len（）两次：

if (n := len(a)) > 10:
    print(f"List is too long ({n} elements, expected <= 10)")

b） 简化列表理解

例如：

东西=[（lambda y：[y， x/y]）（f（x））表示范围内的x（5）]

可以成为：

<代码>填充=[[y:=f（x），x/y]对于范围（5）中的x）]

句法语义学

在可以使用任意Python表达式的任何上下文中，都可以出现命名表达式。它的形式是：=expr，其中expr是任何有效的Python表达式，name是一个标识符。

这种命名表达式的值与合并表达式的值相同，但另一个副作用是为目标指定了该值

与常规赋值语句的区别

除了作为表达式而不是语句之外，PEP中还提到了几个区别：表达式分配从右到左，逗号周围有不同的优先级，并且不支持：

• 多个目标

x = y = z = 0  # Equivalent: (z := (y := (x := 0)))

• 不分配给单个名称：

# No equivalent
a[i] = x
self.rest = []

• Iterable包装/开箱

# Equivalent needs extra parentheses

loc = x, y  # Use (loc := (x, y))
info = name, phone, *rest  # Use (info := (name, phone, *rest))

# No equivalent

px, py, pz = position
name, phone, email, *other_info = contact

• 内联类型注释：

# Closest equivalent is "p: Optional[int]" as a separate declaration
p: Optional[int] = None

• 不支持扩增赋值：

total += tax  # Equivalent: (total := total + tax)