匿名函数递归

lambda是匿名函数，因为没有名字，也没有关键字引用自身，因此递归的编码就成了问题。

一、最简单有效的方案是：

Func<int,int> f =null; //变量须先赋值才能使用

f = n=> n==0?1:n*f(n-1);

f(11); //==39916800

 

有人担心f会被恶意修改，因为就是一个委托变量，而且认为f是委托，而不是匿名函数自身，所以不算匿名函数递归。我觉得，虽然是委托，但是引用的就是匿名函数，函数指针调用的函数难道不是函数自身吗？

二、要避免变量被恶意修改，方案是：

Func<int,int> f = null;

f = n =>{

Func<int,int> f2 = null;

f2 = x=> x==0?1:x*f2(x-1);

return f2;

}

f(11);

 

皆大欢喜。

三、奇葩

Func<Func<int,int>,Func<int,int>> g = f => f = n => n==0?1:n*f(n-1);

g(null)(11);

 

四、不动点技术

Func<T,R> Fx<T,R>(Func<Func<T,R>,Func<T,R>> g) 
{ 
    return x=>g(Fx(g))(x); 
}

Func<Func<int,int>,Func<int,int>> g = f => n => n==0?1:n*f(n-1);

Fx(g)(11);

 

fx(g) 返回 x=>g(fx(g))(x)即是g ；f = fx(g)。 因为fx(g) = x=>g(fx(g))(x) 即等于g。

所以，f=g。即函数g(f) 等于g(g)调用自身。

这个不动点技术相当麻烦（理解起来费劲），因为c#语言的缺陷（泛型参数约束不能是委托等），不能够通用化Func<T,R>，也就是递归函数不能通用化，而需要编写n个不同Fx。

如：Func<T1,T2,R> Fx<T1,T2,R>(Func<Func<T1,T2,R>,Func<T1,T2,R>> g) 等。

不动点之所以能够成功，在于它生成了一个等价于g的委托。Fx(g)返回委托，而非递归自身，所以不会递归溢出（一开始我居然没留意到这点）。