前几天在众人期待中，Python发布了版本号为3.9.0b3的beta版，这也意味着，Python3.9正式版离我们越来越近了。新的版本带来了新的特性，预计在正式版发布后，这些特性将会被广泛使用，在这里我们先对这些特性一睹为快。

 

字典合并

 

一个非常优雅的特性，当我们想将两个字典进行合并时，只需要使用操作符“|”：

 

a = {1: 'a', 2: 'b', 3: 'c'}

 

b = {4: 'd', 5: 'e'}

 

c = a | b

 

print(c)

 

输出结果：

 

[Out]: {1: 'a', 2: 'b', 3: 'c', 4: 'd', 5: 'e'}

 

不仅如此，我们还可以使用合并更新操作符“|=”直接对原始字典进行更新：

 

a = {1: 'a', 2: 'b', 3: 'c'}

 

b = {4: 'd', 5: 'e'}

 

a |= b

 

print(a)

 

输出结果：

 

[Out]: {1: 'a', 2: 'b', 3: 'c', 4: 'd', 5: 'e'}

 

这里需要注意的是，如果两个字典都包含相同的Key，运算结果将直接采用第二个字典的键值对：

 

a = {1: 'a', 2: 'b', 3: 'c', 6: 'in both'}

 

b = {4: 'd', 5: 'e', 6: 'but different'}

 

print(a | b)

 

输出结果：

 

[Out]: {1: 'a', 2: 'b', 3: 'c', 6: 'but different', 4: 'd', 5: 'e'}

 

可迭代对象的字典更新

 

“|=”操作符还具有另一个非常棒的功能，就是使用一个可迭代对象的键值对更新字典：

 

a = {'a': 'one', 'b': 'two'}

 

b = ((i, i**2) for i in range(3))

 

a |= b

 

print(a)

 

输出结果：

 

[Out]: {'a': 'one', 'b': 'two', 0: 0, 1: 1, 2: 4}

 

这里需要注意的是，如果你使用标准的合并操作符“|”来取代上面的“|=”操作服，这会直接导致TypeError。

 

TypeError：unsupported opprand type(s) for |：'dict' and 'generator'

 

类型提示

 

Python作为动态类型的编程语言，这意味着在使用中我们并不需要给变量指定数据类型。然而虽然可以这样做，但是这让我们在维护代码时常常感到困惑，并且灵活性也成了缺点。

 

在3.5版本后，虽然我们可以指定数据类型了，但是使用起来仍然非常麻烦。这次新版本就对此进行了更新：没有类型提示vs有类型提示

 

上图中我们想通过add_int函数将两个相同的数字想加到一起，然而编译器并没有很好的理解我们的意图，由于两个字符串也可以使用+进行连接，所以这里并没有给出警告。

 

现在当我们可以指定函数的参数类型时，在参数类型为int时，编译器就能够立即识别上述的问题。

 

新增字符串函数

 

虽然字符串函数没有其他新特性那么强大，但字符串作为开发中使用最频繁的数据类型，这里也需要提一下他的改变。新版本中添加了移除前缀和后缀的两个字符串函数：

 

"Hello world".removeprefix("He")

 

Hello world".removesuffix("ld")

 

输出结果：

 

[Out]: "llo world"

 

[Out]: "Hello wor"

 

新的解析器

 

作为一个普通的开发者，语法解析器的变化可能不易被察觉，但它的变化有可能成为Python演变中的一个重要转折点。

 

我们所知，目前Python主要是用的是一种基于LL(1)的语法，这种语法可以通过LL(1)解析器进行解析，该解析器从上到下、从左到右地解析代码，只需要从词法分析器中取出一个 token 就可以正确地解析下去。

 

然而LL(1) 存在的一些问题：

 

Python 中包含非 LL(1) 语法，正因如此，当前语法采用了一些曲线救国的办法，带来了很多不必要的复杂性。

 

LL(1) 给 Python 语法造成了很多限制。某个相关话题提到了下面代码无法用当前的解析器进行解析（会造成 SyntaxError）。

 

with (open("a_really_long_foo") as foo,

 

open("a_really_long_bar") as bar):

 

pass

 

LL(1) 不能处理左递归。特定的递归语法意味着解析树时可能出现无限循环。Python 的缔造者 Guido van Rossum 在这篇文章[1]中给出了解释。

 

毫无疑问，这些因素以及更多无法理解的其他问题影响着Python的发展，而新版本的解析器是基于PEG，它将给 Python 开发者提供更大的灵活性，从 Python 3.10开始我们将能够感受到这一点。

 

到这里 Python 3.9的版本几个重要的特性就讲解完毕，我们已经迫不及待的希望正式版的到来。