Python 之父为什么嫌弃 lambda 匿名函数？

矫情吗；* 2023-01-17 08:00 117阅读 0赞

点击上方“**Python爬虫与数据挖掘**”，进行关注

回复“**书籍**”即可获赠Python从入门到进阶共10本电子书

今

日

鸡

汤

乘兴南游不戒严，九重谁省谏书函。

![abd38ef89b0306cdb5c22f27b9d6ac0f.png][]

Python 支持 lambda 匿名函数，其扩展的 BNF 表示法是`lambda_expr ::= "lambda" [parameter_list] ":" expression`，也就是`lambda 参数序列:表达式`。

这是一种便捷的函数定义方式，若翻译成我们熟知的函数形式，会是这个样子：

def <lambda>(parameter_list):
        return expression

也就是说，**Python 中的 lambda 函数是一种可接收多个参数的函数，返回值是一个表达式。**

它最大的好处是单行简洁，不需要函数命名与换行缩进。

不得不说，匿名函数有时候是挺好用的，比如下文会介绍到的一些常见用法，它因此受到了不少人的推崇。

但是，匿名函数通常也会造成代码难以阅读，容易被人滥用，再加上 Python 只提供了对它的“残疾的”支持，所以又有一些观点不建议使用匿名函数。

事实上，**Python 之父 Guido van Rossum 就属于“不推荐使用派”，他甚至曾经（2005年）想要移除 lambda，只不过最后妥协了。**

![fe58bba3a78ccb685339402ad22a1e8e.png][]

出处：https://www.artima.com/weblogs/viewpost.jsp?thread=98196

lambda 这一个由其他开发者贡献进来的特性（借鉴自 lisp 语言），存在了十多年，但是却被这门语言的创造者（兼首席设计师）所嫌弃，最后竟然还奇迹般地幸存了下来，对于这个故事，大家是否觉得挺有戏剧性的？

接下来，本文就仔细聊一聊这个处境尴尬却生命力顽强的 lambda 匿名函数吧！

## 1、lambda 怎么使用？ ##

lambda 函数通常的用法是结合 map()、reduce()、filter()、sorted() 等函数一起使用，这些函数的共性是：**都可以接收其它函数作为参数。**

例如下面的几个例子：

my_list = [3, 1, 5, 4, 10]
    
    # 元素全加1，结果：[4, 2, 6, 5, 11]
    list(map(lambda i:i+1, my_list)) 
    
    # 过滤小于10的元素，结果：[3, 1, 5, 4]
    list(filter(lambda i:i<10, my_list)) 
    
    # 元素累加，结果：33
    from functools import reduce
    reduce(lambda i,j:i+j, my_list, 10)
    
    # 字典按值排序，结果：[('b', 1), ('a', 3), ('d', 4), ('c', 5)]
    my_dict = {'a':3, 'b':1, 'c':5, 'd':4}
    sorted(my_dict.items(), key=lambda item:item[1])

初学者也许会觉得代码读不懂，但是只要记住“**Python中的函数是一等公民**”，知道一个函数可以被作为另一个函数的参数或者返回值，就容易理解了。

比如对于 map() 函数的例子，你可以理解成这个形式：

my_func = lambda i:i+1
    list(map(my_func, my_list))

甚至可以还原成普通的函数：

def add_one(i):
        return i+1
    
    list(map(add_one, my_list))

map() 函数的第一个参数是一个函数，第二个参数是一个可迭代对象。这第一个参数会迭代地调用第二个参数中的元素，调用的结果以迭代器的形式返回。

这个例子使用了 list()，是为了方便一次性取出迭代器中的元素，直观地展示出来，在实际使用中，很可能会是基于迭代器的形式。

由这几种用法，我们可以总结出 lambda 函数的使用规律：

*  它出现在需要使用函数的地方
 *  它适合实现简单的功能
 *  它是一次性的用途，不能在其它地方复用
 *  它一般不会被独立使用，总是作为其它函数的一部分

## 2、lambda 有什么问题？ ##

由上面的用法可以看出，使用 lambda 函数的代码比较紧凑简洁，所以有人称它体现了“Pythonic”的优雅思想。

但是，lambda 函数有没有什么缺陷呢？

有！当前的 lambda 函数有一个最大的问题，即只支持单行表达式，无法实现丰富的功能，例如无法在函数创建时使用语句（statement），无法使用 if-else 的判断条件，也无法使用 try-except 的异常捕获机制，等等。

这极大地限制了它的能力，导致了它被人诟病为“残疾的”。

**从技术实现的角度上看，** 这个问题可以通过语法层面的设计来解决。

在当年的邮件组讨论中，有人提出过一些解决思路，比如这封邮件：

![27e2dc189e999e9bf487edf9c4f8bbbc.png][]

出处：https://mail.python.org/pipermail/python-dev/2006-February/060654.html

它提出了一个`lambda args::suite` 的想法，支持写成这样的形式：

ss = sorted(seq, key=(lambda x::
                try: return abs(x)
                except TypeError: return 0))

但是，Guido 很快就否决了这个思路。

他写了一篇文章《Language Design Is Not Just Solving Puzzles》来回应：

![adf684e1f153cc307b4423c3f2dac680.png][]

出处：https://www.artima.com/weblogs/viewpost.jsp?thread=147358

其基本观点是：**不能光顾着解决一个问题/实现某种功能，就引入缺乏“Pythonicity”的语言设计。**

那么，为什么 Guido 会认为这是一种不好的设计呢？

我试着概括一下，理由是：

*  双冒号“::”凭空在此引入，但是跟切片语法中的“::”完全不同，而且跟 C++/Perl 中的作用域操作符用法也不同
 *  即使不用双冒号，用其它符号表示（比如单冒号），还是难以接受，因为都会在一个表达式中嵌入缩进代码块。这就跟使用花括号和 begin/end 关键字来作语句分组（statement grouping）一样，都令人难以接受
 *  在 lambda 中实现其它功能并不重要，这还会让解析器变得复杂（需区分是否有缩进、记录缩进级别），显得小题大做了

简而言之，**他认为简洁友好的用户体验更为重要，如果简洁的语法无法满足需求，就应该写成具名函数的形式，而非设计出复杂的匿名函数。**

## 3、为什么 Guido 想移除 lambda？ ##

上文提到的多行 lambda 语句（multi-statement lambda）事件发生在 2006 年，我们看到了 Guido 不想给 lambda 引入复杂设计的原因。

但是，早在 2005 年，Guido 就曾经想要从 Python 移除 lambda，他对它的“嫌弃”是一个“历史悠久”的传统……

在《The fate of reduce() in Python 3000》这篇短文中，Guido 提出要一次性移除 reduce()、map()、filter() 以及 lambda。

移除 lambda 的理由如下：

*  对于不熟悉 Lisp 或 Scheme 的用户，lambda 这名字容易造成混淆
 *  很多人误以为匿名函数能做嵌套函数不能做的事，但其实并无区别；存在lambda，就会造成不必要的选择，减少选择，可以简化思维
 *  移除 reduce()、map() 和 filter() 后，就没必要写简短的局部函数了

回顾一下我们在前文中总结出的 lambda 的 4 条使用规律，可以发现它跟几个高阶函数（可以接收其它函数作为参数的函数）有较强的“寄生关系”，如果它们能移除了的话，lambda 确实就没有什么独立存留的意义了。

那么，为什么 Guido 觉得应该移除那几个高阶函数呢？

主要的理由有：

*  可以替换成更加清晰的列表解析式或者生成器表达式，例如 filter(P,S) 可以写成 \[x for x in S if P(x)\]，map(F, S) 写成 \[F(x) for x in S\]
 *  至于 reduce()，他说这是最讨厌的，除了涉及 + 和 \* 的少数用法，其它时候他总要拿出纸笔来画图解才能搞清楚。除了显式地写循环，他还针对 reduce() 的几种用法而提出了几个替代用法，包括引入新的 any() 和 all() 函数

总体而言，Guido 的想法暗合了《The Zen of Python》中的这一条：**There should be one-- and preferably only one --obvious way to do it。**

但是回到现实，为了照顾某些人的习惯，以及对兼容性的考虑，Guido 最后保守地放弃了“清理异端”的计划。

因此，lambda 得以从 Python 最高独裁者的手上死里逃生。直到一年后，它试图兴风作浪（多行表达式），却惨遭镇压。

我仿佛听到了 Guido 的内心 OS：当初我想删除东西的时候，你们百般阻挠，现在你们想添加东西，哼，没门！……

![3399c6c54c970d0b9e64dcce6947c3de.png][]

哈哈，开了个玩笑。

Guido 的所有决定都体现了他的 Pythonic 设计美学、自恰的逻辑一致性以及对社区声音的权衡。

对于 lambda，我认可他的观点，而通过回溯语法发展的历史，我觉得自己对于 Python 的理解变得更为丰富了。不知道你可有同感？

**---\--\---\---\---\--\---** End **---\--\---\--\---\---\--\-**

往期精彩文章推荐：

*  ## [Python自带爬虫库urllib使用大全][Python_urllib] ##
 *  ## [一篇文章教会你使用Python定时抓取微博评论][Python] ##
 *  ## [一篇文章教会你使用Python图片格式转换器并识别图片中的文字][Python 1]    ##

![073263f9ea04f4889c1f54e4cb226697.png][]

欢迎大家**点赞，****留言，****转发，转载，**感谢大家的相伴与支持

想加入Python学习群请在后台回复【**入群**】

万水千山总是情，点个【**在看**】行不行

**/今日留言主题/**

随便说一两句吧~~

[abd38ef89b0306cdb5c22f27b9d6ac0f.png]: /images/20221021/3b68b61a98f24997abc78f613e05ed16.png
[fe58bba3a78ccb685339402ad22a1e8e.png]: /images/20221021/613a91f8954b40278a6860dd4cac46fb.png
[27e2dc189e999e9bf487edf9c4f8bbbc.png]: /images/20221021/4c29138fe7194dd7b4a7603d3ba14fc2.png
[adf684e1f153cc307b4423c3f2dac680.png]: /images/20221021/08ba6eaea31d4862945b3bef142ca4f7.png
[3399c6c54c970d0b9e64dcce6947c3de.png]: /images/20221021/a33c52d40c444b3d80a46d227ae06b37.png
[Python_urllib]: http://mp.weixin.qq.com/s?__biz=MzU3MzQxMjE2NA%3D%3D&chksm=fcc3587ecbb4d168e9efa50fa95a4d190d5fee7e62e326551ae9fc94c02fb57c52f96388e254&idx=1&mid=2247491157&scene=21&sn=9ee3a9b6f62bc1d209ded1fd43d11baf#wechat_redirect
[Python]: http://mp.weixin.qq.com/s?__biz=MzU3MzQxMjE2NA%3D%3D&chksm=fcc3587fcbb4d1697dfc598205d3b03d5ac37722263c623b47ee690324909c3a953dbf5bf4c8&idx=2&mid=2247491156&scene=21&sn=d92d98c077ac686d4e75586b6b81c0d4#wechat_redirect
[Python 1]: http://mp.weixin.qq.com/s?__biz=MzU3MzQxMjE2NA%3D%3D&chksm=fcc35865cbb4d17312f67837c8748e43198b7ba538f2b5ff9f772f05168d3877dcae71612c2c&idx=1&mid=2247491150&scene=21&sn=5d69c0d58a9b7b965f07874f12990793#wechat_redirect
[073263f9ea04f4889c1f54e4cb226697.png]: /images/20221021/859b0d0535a74619bfa07fdb0679e7ec.png