zoukankan      html  css  js  c++  java
  • 匿名函数递归

    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)返回委托,而非递归自身,所以不会递归溢出(一开始我居然没留意到这点)。

  • 相关阅读:
    Docker
    Web
    爬虫
    Python
    软件脱壳
    网络抓包
    HTTPS单向认证,双向认证
    新版无完整背景图片滑块验证码
    Frida Hook
    闭包函数与装饰器
  • 原文地址:https://www.cnblogs.com/Nobel/p/3013462.html
Copyright © 2011-2022 走看看