More More More

事情就這樣結(jié)束了？Of course not。還有很多上文提到的疑惑沒有解決。首先，Symbol是 如此復(fù)雜，那么Lisp如何決定它在不同環(huán)境下的含義呢？Symbol雖然是個對象，但它并不像 C++中的對象一樣，它出現(xiàn)時并不指代自己！不同應(yīng)用環(huán)境下，它指代的東西也不一樣。這 些指代主要包括變量和函數(shù)，意思是說： Symbol出現(xiàn)時，要么指的是它的Value，要么是 它的Function。 這種背地里干的事情，也算是造成迷惑的一個原因。

當一個Symbol出現(xiàn)在一個List的第一個元素時，它被處理為函數(shù)。這么說有點迷惑人，因為 它帶進了Lisp中代碼和數(shù)據(jù)之間的模糊邊界特性。簡單來說，就是當Symbol出現(xiàn)在一個括號 表達式(s-expression)中第一個位置時，算是個函數(shù)，例如:

(add2 3) ; add2位于第一個位置，被當作函數(shù)處理
(*var* 3) ; 這里*var*被當作函數(shù)調(diào)用，返回3

除此之外，我能想到的其他大部分情況，一個Symbol都被指代為它的Value域，也就是被當 作變量，例如:

(*var* *var*) ; 這是正確的語句，返回1

這看起來是多么古怪的代碼。但是運用我們上面說的結(jié)論，便可輕易解釋：表達式中第一個 *var* 被當作函數(shù)處理，它需要一個參數(shù)；表達式第二部分的 *var* 被當作變量 處理，它的值為1，然后將其作為參數(shù)傳入。

再來說說'(quote)操作符，這個操作符用于防止其操作數(shù)被求值。而當一個Symbol出現(xiàn)時， 它總是會被求值，所以，我們可以分析以下代碼:

(symbol-value *var*) ; wrong

這個代碼并不正確，因為 *var* 總是會被求值，就像 (*var* *var*) 一樣，第二 個 *var* 被求值，得到數(shù)字1。這里也會發(fā)生這種事情，那么最終就等同于:

(symbol-value 1) ; wrong

我們試圖去取數(shù)字1的Value域，而數(shù)字1并不是一個Symbol。所以，我們需要quote運算符:

(symbol-value '*var*) ; right

這句代碼是說，取Symbol *var* 本身的Value域！而不是其他什么地方。至此，我們 便可以分析以下復(fù)雜情況:

(defvar *name* "kevin lynx")
(defvar *ref* '*name*) ; *ref*的Value保存的是另一個Symbol
(symbol-value *ref*) ; 取*ref*的Value，得到*name*，再取*name*的Value

現(xiàn)在，我們甚至能解釋上文留下的一個問題:

;; wrong
(defvar fn #' (lambda (x) (+ x 2)))
(fn 3)

給fn的Value賦值一個函數(shù)， (fn 3) 當一個Symbol作為函數(shù)使用時，也就是取其 Function域來做調(diào)用。但其Function域什么也沒有，我們試圖將一個Symbol的Value域當作 Function來使用。如何解決這個問題？想想，symbol-function可以取到一個Symbol的 Function域:

(setf (symbol-function 'fn) #' (lambda (x) (+ x 2)))
(fn 3)

通過顯示地給fn的Function域賦值，而不是通過defvar隱式地對其Value域賦值，就可以使 (fn 3) 調(diào)用正確。還有另一個問題也能輕易解釋:

(apply-fn add2 2) ; wrong

本意是想傳入add2這個Symbol的function域，但是直接這樣寫的話，傳入的其實是add2的 Value域 [7] ，這當然是不正確的。對比正確的寫法，我們甚至能猜測#'運算符就是一個 取Symbol的Function域的運算符。進一步，我們還可以給出另一種寫法:

(apply-fn (symbol-function 'add2) 2)

深入理解事情的背后，你會發(fā)現(xiàn)你能寫出多么靈活的代碼。