call/cc分析一例

標籤：io   sp   on   cti   工作   ef   as   程式   return   

(define (fact n)  (let ((r 1) (k ‘void))    (call/cc (lambda (c) (set! k c)))     (set! r (* r n))    (set! n (- n 1))    (if (= n 1) r (k ‘recurse))))(fact 5)老師：為什麼能工作？學生：不知道！老師：(call/cc (lambda (c) (set! k c))) 幹了什嗎？學生：call/cc 的全稱是 call-with-current-continuation， 它調用一個單參數的函數，調用時把當前延續作為那個單參數函數的參數。 所以，上式就是把當前延續存入 k 中。老師：當前延續是什嗎？學生：(escaper (lambda (~) (~ (set! r (* r n)) (set! n (- n 1)) (if (= n 1) r (k ‘recurse)))))老師：怎麼存入 k ？學生：(set! k (escaper (lambda (~) (~ (set! (* r n)) (set! n (- n 1)) (if (= n 1) r (k ‘recurse))))))老師：(call/cc (lambda (c) (set! k c))) 和 (set! k (escaper (lambda (~) (~ (set! (* r n)) (set! n (- n 1)) (if (= n 1) r (k ‘recurse)))))) 等價嗎，可以相互替換嗎？學生：可以！(define (fact n)  (let ((r 1) (k ‘void))    (set! k           (escaper (lambda (~) (~ (set! (* r n)) (set! n (- n 1)) (if (= n 1) r (k ‘recurse)))))) ;; A    (set! r (* r n)) (set! n (- n 1)) (if (= n 1) r (k ‘recurse))))                               ;; B老師：為什麼能工作？學生：跟蹤一下 (fact 5) 就知道了B: n=5 => r=5,  n=4  [ n != 1，continue ]A: n=4 => r=20, n=3  [ n != 1, continue ]A: n=3 => r=60, n=2  [ n != 1, continue ]A: n=2 => r=60, n=1  [ n == 1, return r and escape ]老師：為什麼是遞迴的？學生：因為延續是一種函數，延續遞迴了，這個延續函數就遞迴了。老師：這裡的延續本質上還是遞迴。儘管延續被叫做有內容相關的 goto，這個程式也可以看成用了 goto 的。(define (fact n)  (let ((r 1) (k ‘void))    (call/cc (lambda (c) (set! k c)))    (set! r (* r n))    (set! n (- n 1))    (if (= n 1)        r        (k ‘recurse) ;; => go back to (call/cc (lambda (c) (set! k c)))        )))學生：但這隻是一種“比喻”，實質上它是遞迴！老師：你說的對。

call/cc分析一例