“

编译：CSDN-明明如月，作者：James Briggs

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]下载。

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

引用链接:

[1] https://medium.com/@gvanrossum_83706/left-recursive-peg-grammars-65dab3c580e1

[2] https://docs.python.org/3.9/whatsnew/3.9.html#pep-617-new-parser

[3] https://www.python.org/downloads/release/python-390b3/