More More More

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

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

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

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

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

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

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

(symbol-value *var*) ; wrong

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

(symbol-value 1) ; wrong

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

(symbol-value '*var*) ; right

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

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

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

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

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

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

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

(apply-fn add2 2) ; wrong

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

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

深入理解事情的背后，你會發現你能寫出多么靈活的代碼。