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):
passLL(1) 不能处理左递归。特定的递归语法意味着解析树时可能出现无限循环。Python 的缔造者 Guido van Rossum 在这篇文章[1]中给出了解释。
这些因素以及更多我无法理解的其他因素影响着 Python 的发展，它们限制了语言的演进。
新的解析器基于 PEG, 它将给 Python 开发者提供更大的灵活性，从 Python 3.10 开始[2]我们将能够感受到这一点。
上面讲解了 Python 3.9 版本的几个重要特性。如果你迫不及待地想体验最新的 beta 版 3.9.0b3 ，可以在这里[3]下载。
文章到此结束，感谢您的阅读。
