为何Python的lambda表达式不允许赋值操作？非重复技术问询

哈哈，懂你这种感受！作为有λ演算背景的人，肯定默认lambda应该是纯函数式的、无副作用的，但Python的lambda偏偏不按这个“理论套路”来——它完全允许你在里面产生副作用，这其实和Python本身的设计定位有关。

先把你没写完的代码补全，方便看清楚效果：

#!/usr/bin/python
def applyTo42(f):
    return f(42)
def double(x):
    return x * 2
class ContainsVal:
    def __init__(self, v):
        self.v = v
    def store(self, v):
        self.v = v
def main():
    print('== functional...')
    print(applyTo42(double))  # 纯函数式用法，输出84
    
    print('\n== with side effects...')
    obj = ContainsVal(0)
    # 用lambda调用store方法，修改obj的属性，产生副作用
    applyTo42(lambda x: obj.store(x))
    print(obj.v)  # 输出42，说明副作用生效了

核心原因拆解： #

• λ演算 vs Python Lambda：λ演算里的lambda是纯理论的纯函数，只做参数映射，没有状态和副作用。但Python的lambda只是匿名函数的语法糖，它本质上还是Python函数，而Python是多范式语言，并不强制纯函数式编程。
• lambda的限制仅在语法上：Python的lambda只要求函数体是单个表达式，但这个表达式可以是任何合法的Python操作——包括调用会修改对象状态的方法、修改全局变量、执行IO操作等等，这些都是典型的副作用。
• Python的实用主义设计：Python的lambda设计初衷是快速定义简单的匿名函数，用来处理比如排序key、映射转换这类场景，但它并没有把自己限制在纯函数式的框架里，所以允许副作用的存在。

再举几个常见的lambda副作用例子： #

• 修改全局变量：

  count = 0
  (lambda: globals().update({'count': count + 1}))()
  print(count)  # 输出1
  

• 直接执行IO操作：

  (lambda: print("我是lambda里的副作用输出！"))()
  

说白了，Python的lambda和λ演算里的lambda不是同一个东西——前者是实用的编程工具，后者是理论模型。所以在Python里用lambda搞副作用完全合法，虽然从纯函数式编程的角度看不够“纯粹”，但确实是语言允许的操作。

内容的提问来源于stack exchange，提问作者stefan