CL - 如何將obj參數傳遞給標籤函數？

Question

(defparameter *objects* '(whiskey bucket frog chain)) 

(defparameter *object-locations* '((whiskey living-room) 
            (bucket living-room) 
            (chain garden) 
            (frog garden))) 

(defun objects-at (loc objs obj-locs) 
    (labels ((at-loc-p (obj) 
      (eq (cadr (assoc obj obj-locs)) loc))) 
    (remove-if-not #'at-loc-p objs))) 

(objects-at 'living-room *objects* *object-locations*) 

在REPL中返回(WHISKEY BUCKET)。

obj如何進入at-loc-p？ objects-at的參數都沒有名爲obj。

Answer 1

的objects-at參數沒有被命名爲obj，但at-loc-p的參數之一（實際上的唯一參數）。所以當at-loc-p被一個參數（remove-if-not）調用時，該參數將被傳遞到at-loc-p，其名稱爲obj。

Answer 2

labels定義函數。所以

(labels ((square (x) (* x x))) (square 2)) 

相同

(let ((square (lambda (x) (* x x)))) (funcall square 2)) 

和x（在你的榜樣，obj）是參數爲square（at-loc-p）函數的只是名字。

編寫功能objects-at的另一種方式是

(defun objects-at (loc objs obj-locs) 
    (defun at-loc-p (obj) 
    (eq (cadr (assoc obj obj-locs)) loc)) 
    (remove-if-not #'at-loc-p objs))) 

除了這個全球性定義函數at-loc-p。