相互递归(1)

　　版权申明：本文为博主窗户(Colin Cai)原创，欢迎转帖。如要转贴，必须注明原文网址

　　http://www.cnblogs.com/Colin-Cai/p/10787636.html 

　　做者：窗户

　　QQ/微信：6679072

　　E-mail：6679072@qq.com

　　相互递归就是多个函数互相定义，最多见的就是两个函数，好比f和g，f的定义中用到g，而g的定义中用到f。

　　相互递归同样有无限递归的可能，最简单的:

　　f:x->g(x)

　　g:x->f(x)

　　

　　给个最简单的没有无限递归的例子，判断一个正整数是否是偶数或者是否是奇数，用C++来描述以下:

bool is_odd(unsigned x);
bool is_even(unsigned x)
{
        if(x == 0u)
                return true;
        return is_odd(x-1u);
}
bool is_odd(unsigned x)
{
        if(x == 0u)
                return false;
        return is_even(x-1u);
}

 

　　以上效率虽然不高（甚至不优化的状况下，可能会崩栈），可是is_even和is_odd两个函数毕竟是相互定义的，也是相互递归的一个经典例子。

　　

　　Scheme固然同样支持相互递归，r5rs中也是以上述奇偶来作例子。

(define (even? x)
 (if (zero? x)
  #t
  (odd? (- x 1))
 )
)
(define (odd? x)
 (if (zero? x)
  #f
  (even? (- x 1))
 )
)

 

　　再给个稍微复杂的例子，Scheme里的append是个经常使用的函数，它能够传入一组列表，获得这组列表首尾拼接在一块儿的列表。好比：(append '(1 2 3) '(4 5 6) '(7 8 9))获得(1 2 3 4 5 6 7 8 9)。

　　每一个人学习Scheme的过程，基本必然伴随着append函数的自我实现。

　　如下是其中一种实现(固然，append有好几种不一样的实现思想)：

(define (append . lst)
 (if (null? lst)
  '()
  ((apply _append (cdr lst)) (car lst))
 )
)

(define (_append . lst)
 (cond
  ((null? lst) (lambda (x) x))
  ((null? (cdr lst))
   (lambda (x)
    (if (null? x)
     (car lst)
     (cons (car x) ((_append (car lst)) (cdr x)))
    )
   )
  )
  (else (_append (apply append lst)))
 )
)

 

 

　　固然，_append通常应该实如今append的内部，我这么写也是为了表示的清楚一点。这种写法是一种相对高级一点的写法，采用的算子方式，不断用闭包来传递信息，并使用了相互递归，append和_append两个函数互相定义。

 

　　固然，一开始就说了，相互递归彻底能够不仅是两个函数之间的关系，能够是多个函数之间的关系。

　　我这里给个例子，把正整数按照除以3获得的余数分为三类，把整除3的数称为type0，把除以3余1的数称为type1，把除以3余2的数称为type2。因而定义三个谓词函数type0? type1? type2?

　　如下为实现：

(define (type0? x)
 (if (= x 0)
  #t
  (type2? (- x 1))
 )
)
(define (type1? x)
 (if (= x 0)
  #f
  (type0? (- x 1))
 )
)
(define (type2? x)
 (if (= x 0)
  #f
  (type1? (- x 1))
 )
)

 

　　咱们能够看到，

　　type0?的定义中用到type2?

　　type1?的定义中用到type0?

　　type2?的定义中用到type1?

 

　　测试一下，

(for-each
 (lambda (x) (display x)(newline))
 (map
  (lambda (x)
   (cons
    x
    (map (lambda (f) (f x)) (list type0? type1? type2?))
   )
  )
  (range 20)
 )
)

　　

　　获得

　　

(0 #t #f #f)
(1 #f #t #f)
(2 #f #f #t)
(3 #t #f #f)
(4 #f #t #f)
(5 #f #f #t)
(6 #t #f #f)
(7 #f #t #f)
(8 #f #f #t)
(9 #t #f #f)
(10 #f #t #f)
(11 #f #f #t)
(12 #t #f #f)
(13 #f #t #f)
(14 #f #f #t)
(15 #t #f #f)
(16 #f #t #f)
(17 #f #f #t)
(18 #t #f #f)
(19 #f #t #f)