最近沉迷与 MIT 6.824 这门分布式系统的课,无心写文章。不过看到 PEP570 被接受了,决定还是写篇水文随便聊聊 PEP 570

Python 的 argument

在聊 PEP570 之前,我们先要来看看 Python 的 argument 变迁

早在 Python 1.0 或更早,Python 的 argument 系统就已经支持我们现在主要使用的两种参数形式了,一种是 positional 一种是 keyword,举几个例子

1
2
3
4
5
6
7
8
9
10
11

def abc(a, b, c):
pass


abc(1, 2, 3)
abc(1, 2, c=3)
abc(1, b=2, c=3)
abc(*(1, 2, 3))
abc(**{"a": 1, "b": 2, "c": 3})

这是不是我们常见的集中使用方式?

在发展了很长一段时间后,虽然期间有一些提案对 Python 的 argument 系统做优化和增强,但是一直都被 Reject,直到 PEP3102 的出现

3102 主要引入了一个概念叫做 Keyword-Only Arguments,给个例子

有这样一个函数定义

1
2
def abc(a, *, b, c):
pass

那么这个函数只支持这样几种方式调用

1
2
3
4
5
6
7
def abc(a, *, b, c):
pass


abc(**{"a": 1, "b": 2, "c": 3})
abc(a=1, b=2, c=3)
abc(1, b=2, c=3)

OK,大概聊完 Argument 一个迭代的过程,我们来聊聊 570 这个提案

随便聊聊 PEP 570

570 做的事情其和 3102 类似,3102 是引入语法糖,让函数支持 keyword-only 的使用方式,那么 570 就是让函数支持 positional-only 的使用方式

假定有这样一个函数定义

1
2
def abc(a, b, /, c):
pass

那么 570 使得函数只支持这样的调用方式

1
2
3
4
5
6
def abc(a, b, /, c):
pass


abc(1, 2, c=3)
abc(1, 2, 3)

如果不这样做会怎么样呢?我们可以来试试,目前 PEP570 有一个实现,参见 bpo-36540: PEP 570 — Implementation,我们来编译测试一下,效果如下

image

碎碎念

很多人其实没想清楚关于 570 的存在意义,PEP 570 上也提到了很多 Motivation 。不过我自己觉得,它和 3102 一样都是在践行一个理念,则

explicit is better than implicit

换句话说,如果要尽可能的保证代码风格的一致性,我们需要一定程度上语法特性的支持。而 570 和 3102 就是解决这样的问题。

所以从我自己的角度来说,我觉得 570 是个蛮重要的提案,也是很有意义的提案(都是 PEP57x ,为啥大家待遇能差这么多呢?(笑

对了,讲个段子, Python 的 Core 之一 Serhiy Storchaka 非常喜欢这个 PEP,然后在 PEP570 的实现没合并到主分支之前,就已经先把内置的一些库给改良了一下,大家可以去围观一下 PR [WIP] Use PEP 570 syntax for positional-only parameters

好了,今天的水文就到此结束了。。我写文章真的是越来越水了。。