Python 3.9 正式版要来了，会有哪些新特性？

Python 正在一直马不停蹄地更新，历时数月，我们迎来了又一个 Beta 版 —— 3.9.0b3，Python 3.9 正式版已经不远了，一起来看它带来了哪些值得开发者关注的重要新特性

 

以下为译文：

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

 

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

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

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

字典合并

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

合并的操作符为 | ：

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。

类型提示

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

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

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

 

左侧没有类型提示 vs 右侧有类型提示

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

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

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

 

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

 

上图我们将 sum_dict 函数的参数定义为字典类型，将其返回值定义为 int 类型。test 的定义时也指定了类型。

新增字符串函数

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

"Hello world".removeprefix("He")

[Out]:"llo world"

Hello world".removesuffix("ld")

[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 开始 [2] 我们将能够感受到这一点。

上面讲解了 Python 3.9 版本的几个重要特性。如果你迫不及待地想体验最新的 beta 版 3.9.0b3 ，可以在这里 [3] 下载。

文章到此结束，感谢您的阅读。