Python 发布了版本号为 3.9.0b3 的 beta 版，后续即将发布 Python 3.9 的正式版。该版本包含了一些令人兴奋的新特性，预计正式版发布以后这些特性能够被大家广泛使用。

本文主要介绍以下几个方面：

• 新增字典合并运算
• 类型提示
• 字符串新增的两个方法
• 新的 Python 解析器 —— 大赞！

接下来带着大家了解一下这些特性以及它们的用法。

1.字典合并

这是我最喜欢的新特性，该特性的用法非常优雅。如果你想对两个字典 a 和 b 进行合并，我们就可以使用合并操作，合并的操作符为 | 。

a = {1: 'a', 2: 'b', 3: 'c'}
b = {4: 'd', 5: 'e'}
c = a | b
print(c)

结果如下：

 

还可以使用合并更新操作 |= ，该操作符可以更新原始字典的数据。

a = {1: 'a', 2: 'b', 3: 'c'}
b = {4: 'd', 5: 'e'}
a |= b
print(a)

结果如下：

 

在执行合并运算时，如果字典包含相同的 key， 运算结果将采用第二个字典的键值对。

a = {1: 'a', 2: 'b', 3: 'c', 6: 'in both'}
b = {4: 'd', 5: 'e', 6: 'but different'}
print(a | b)

结果如下：

 

2.可迭代对象的字典更新

|= 操作符另外一个非常棒的功能是使用一个可迭代对象(如列表或者生成器)的键值对更新字典。

a = {'a': 'one', 'b': 'two'}
b = ((i, i**2) for i in range(3))
a |= b
print(a)

结果如下：

 

如果你用标准的合并操作符 | 替换上面的 |=操作符，由于 | 操作符只允许字典类型进行合并，所以将导致 TypeError。

 

3.类型提示

Python 是动态类型的编程语言，这就意味着我们不需要在代码中指定数据类型。

虽然可以这么做，但是这么做有时候容易让人困惑，此时灵活性就成为了缺点。

从 3.5 版本开始，我们可以指定类型，但是仍然非常麻烦。这次对此进行了改进，大家看下面的这个例子。

 

由于某个神秘的原因，我们想通过上图所示的 add_int 函数，将相同的数字相加到一起。但是编辑器并不能很好地领会我们的意图，由于两个字符串也可以使用 + 进行连接所以并没有给出警告。

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

通过类型提示，我们还能看到非常具体的类型。

 

任何地方都可以使用类型提示，由于有了新的语法支持，看起来清爽多了。

 

4.新增字符串函数

虽然字符串函数并没有其他特性那么“伟大”，由于非常实用，也值得在这里一提。新版本中添加了移除前缀和后缀的两个字符串函数。

"Hello world".removeprefix("He")

结果如下：

Hello world".removesuffix("ld")

结果如下：

 

5.新的解析器

开发者不容易察觉到新的语法解析器带来的变化，但是它有可能成为 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 开始[2]我们将能够感受到这一点。