有趣的递归lambda examp

Question

我只是偶然发现了一个递归lambdas的有趣例子，我真的不明白它为什么以这种方式工作。你知道吗

rec = lambda x : 1 if x==0 else rec(x-1)*x
f = rec 
rec = lambda x: x+1
print(f(10))  

在javascript中也是如此。你知道吗

var rec = function(a) { if (a == 0) return 1; return rec(a - 1) * a; } var f = rec rec = function(a) { return a + 1; } console.log(f(10));

Answer 1

您可以添加一些console.log并查看，首先用10调用f，然后用9调用rec，结果是10 * 10。你知道吗

； var rec = function(a) { console.log('f', a); if (a == 0) return 1; return rec(a - 1) * a; }; f = rec; rec = function(a) { console.log('rec', a); return a + 1; } console.log(f(10)); ；

；

Answer 2

我将为python解决这个问题，因为这是我所熟悉的。你知道吗

首先，这种行为是可能的，因为python（我想看起来像javascript）遵循闭包的后期绑定。further read

后期绑定是在运行时查找闭包中的名称（与早期绑定不同，早期绑定是在编译时查找名称）

这允许在运行时改变行为，通过重新绑定运行时正在查找的变量（例如rec之类的函数）。你知道吗

最后一步就是将lambda函数转换成等价的def语法，这样真正的行为就更清楚了。你知道吗

代码：

rec = lambda x : 1 if x==0 else rec(x-1)*x
f = rec 
rec = lambda x: x+1
print(f(10)) 

可等同于：

首先：

def somefunc(x):
    return 1 if x==0 else rec(x-1)*x 

注意，python不会抱怨rec即使在干净的会话/内核上也不存在，因为它在函数定义期间不查找该值。延迟绑定意味着除非调用这个函数，否则python不关心rec是什么。你知道吗

然后：

rec = somefunc
f = rec

def someotherfunc(x):
    return x + 1

f(10) #3628800

现在我们更改rec函数

rec = someotherfunc

并观察到f的后续函数调用将使用后期绑定rec，即在函数调用上查找的rec。你知道吗

f(10) #100

---

注：完整代码添加如下：

def somefunc(x):
    return 1 if x==0 else rec(x-1)*x

rec = somefunc

f = rec

def someotherfunc(x):
    return x + 1

f(10) #3628800

rec = someotherfunc

f(10) #100

Answer 3

这3条语句可以归结为一条语句

rec = lambda x : 1 if x==0 else rec(x-1)*x
f = rec 
rec = lambda x: x+1

从1&2

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

从上方&；3

f = lambda x : 1 if x==0 else x*x