如何修改Common Lisp中的函數綁定？

Question

這裏是你可以在計劃做：

> (define (sum lst acc) 
    (if (null? lst) 
     acc 
     (sum (cdr lst) (+ acc (car lst))))) 
> (define sum-original sum) 
> (define (sum-debug lst acc) 
    (print lst) 
    (print acc) 
    (sum-original lst acc)) 
> (sum '(1 2 3) 0) 
6 
> (set! sum sum-debug) 
> (sum '(1 2 3) 0) 
(1 2 3) 
0 
(2 3) 
1 
(3) 
3 
() 
6 
6 
> (set! sum sum-original) 
> (sum '(1 2 3) 0) 
6 

如果我做Common Lisp中的以下內容：

> (defun sum (lst acc) 
    (if lst 
     (sum (cdr lst) (+ acc (car lst))) 
     acc)) 
SUM 
> (defvar sum-original #'sum) 
SUM-ORIGINAL 
> (defun sum-debug (lst acc) 
    (print lst) 
    (print acc) 
    (funcall sum-original lst acc)) 
SUM-DEBUG 
> (sum '(1 2 3) 0) 
6 

現在我怎麼可以這樣做(setf sum #'sum-debug)會改變的結合用defun定義的函數？

Answer 1

由於Common Lisp具有不同的函數名稱空間，因此需要使用symbol-function或fdefinition。

CL-USER> (defun foo (a) 
      (+ 2 a)) 
FOO 
CL-USER> (defun debug-foo (a) 
      (format t " DEBUGGING FOO: ~a" a) 
      (+ 2 a)) 
DEBUG-FOO 
CL-USER> (defun debug-foo-again (a) 
      (format t " DEBUGGING ANOTHER FOO: ~a" a) 
      (+ 2 a)) 
DEBUG-FOO-AGAIN 
CL-USER> (foo 4) 
6 
CL-USER> (setf (symbol-function 'foo) #'debug-foo) 
#<FUNCTION DEBUG-FOO> 
CL-USER> (foo 4) 
DEBUGGING FOO: 4 
6 
CL-USER> (setf (fdefinition 'foo) #'debug-foo-again) 
#<FUNCTION DEBUG-FOO-AGAIN> 
CL-USER> (foo 4) 
DEBUGGING ANOTHER FOO: 4 
6 
CL-USER> 

Answer 2

以這種方式重新定義函數的典型用例是在調試過程中。你的例子表明這一點。 Common Lisp已經提供了更高級別的機器：TRACE。引擎蓋下設置了符號的功能值，但它提供了更方便的用戶界面。通常像TRACE會有很多非標準的選項。

追蹤功能

以下示例使用Clozure Common Lisp，它總是編譯代碼：

? (defun sum (list accumulator) 
    (declare (optimize debug)) ; note the debug declaration 
    (if (endp list) 
     accumulator 
     (sum (rest list) (+ accumulator (first list))))) 
SUM 
? (sum '(1 2 3 4) 0) 
10 
? (trace sum) 
NIL 
? (sum '(1 2 3 4) 0) 
0> Calling (SUM (1 2 3 4) 0) 
1> Calling (SUM (2 3 4) 1) 
    2> Calling (SUM (3 4) 3) 
    3> Calling (SUM (4) 6) 
    4> Calling (SUM NIL 10) 
    <4 SUM returned 10 
    <3 SUM returned 10 
    <2 SUM returned 10 
<1 SUM returned 10 
<0 SUM returned 10 
10 

然後到untrace：

? (untrace sum) 

提供諮詢功能

在您的示例中，您輸入了該函數的參數。在許多Common Lisp實現中，還有另一種機制來增加具有附加功能的功能：建議。再次使用Clozure的Common Lisp和advise宏：

? (advise sum         ; the name of the function 
      (format t "~%Arglist: ~a" arglist) ; the code 
      :when :before)      ; where to add the code 
#<Compiled-function (CCL::ADVISED 'SUM) (Non-Global) #x302000D7AC6F> 

? (sum '(1 2 3 4) 0) 

Arglist: ((1 2 3 4) 0) 
Arglist: ((2 3 4) 1) 
Arglist: ((3 4) 3) 
Arglist: ((4) 6) 
Arglist: (NIL 10) 
10