请求解读Python实现的Y-combinator代码逻辑

Y组合子的核心作用是在不支持原生递归的语言中实现递归逻辑，Python本身支持递归，但这个实现是用来演示Y组合子的原理。我们从示例到实现一步步拆解：

先看阶乘的模板函数 #

示例里传给Y_combinator的是这个lambda：

lambda f: lambda n: 1 if n == 0 else n * f(n - 1)

这个是阶乘的递归逻辑模板，但它自己不能直接递归——因为里面的f是一个参数，不是函数自身。它的意思是：如果我能拿到一个可以计算n-1阶乘的函数f，那我就能计算n的阶乘。Y组合子的作用就是给它提供这个f，让它变成真正的递归函数。

拆解Y_combinator的实现 #

先把代码再放一遍：

def Y_combinator(f):
    return (lambda x: f(lambda *args: x(x)(*args)))(
        lambda x: f(lambda *args: x(x)(*args))
    )

我们把这段代码拆成几个部分来看：

1. 两个完全相同的lambda #

代码里有两个一模一样的lambda：lambda x: f(lambda *args: x(x)(*args))，我们把第二个（作为参数传入的）记为X，第一个（接收参数的）记为F。

所以Y_combinator的逻辑可以简化为：return F(X)，其中：

• F = lambda x: f(lambda *args: x(x)(*args))
• X = lambda x: f(lambda *args: x(x)(*args))

2. 执行F(X)的过程 #

调用F(X)时，会返回：

f(lambda *args: X(X)(*args))

这里的lambda *args: X(X)(*args)就是传给模板函数f的那个递归用的函数参数——也就是阶乘模板里的f。

3. X(X)的关键作用 #

当这个lambda被调用（比如传入n-1），会执行X(X)(n-1)。那X(X)是什么？
X是lambda x: f(lambda *args: x(x)(*args))，所以X(X)的结果就是：

f(lambda *args: X(X)(*args))

这和F(X)返回的结果完全一样！也就是说，X(X)就是我们最终要的递归函数本身——它是模板函数f绑定了递归参数后的产物。

用具体数值验证（以factorial(3)为例） #

1. factorial本质是f_template(lambda *args: X(X)(*args))（f_template就是阶乘模板）
2. 调用factorial(3)，因为3≠0，计算3 * f(2)，这里的f就是lambda *args: X(X)(*args)
3. f(2)触发X(X)(2)，而X(X)就是f_template(lambda *args: X(X)(*args))，也就是factorial本身，所以等价于调用factorial(2)
4. 重复这个逻辑，直到调用factorial(0)，返回1，然后回溯计算得到最终结果6。

简单来说，Y组合子通过让lambda自己调用自己（x(x)），给模板函数提供了一个指向自身的“递归入口”，从而实现了递归。

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