Emacs Lisp：（function（lambda ...））和（lambda ...）之間的區別？

Question

是什麼

(function (lambda ...)) 

和

(lambda ...) 

和

'(lambda ...) 

之間的區別？

在很多情況下，似乎有三種可以互換。

Answer 1

他們是可以互換的。答案是function使得的lambda被字節編譯，而另外兩個不（和等同的）。 注意：這並不意味着function實際上字節編譯lambda。

一個人怎麼可能出來？有點Emacs lisp內省提供了一些線索。啓動：C-H f函數RET：

功能是在 'C 源代碼' 的特殊形式。

（功能ARG）

喜歡 '報價'，但優選用於 對象它們的功能。在編譯的字節 中，'函數'會導致編譯它的參數 。 'quote' 不能這樣做。

好，所以這是(function (lambda ...))和'(lambda ...)之間的區別，第一個告知字節編譯器，它可以安全地編譯表達式。而「版表情未必編譯（因爲他們可能只是數字的列表

什麼只是裸(lambda ...)章˚F拉姆達RET顯示：？

拉姆達是一個Lisp宏`subr.el」。

（拉姆達ARGS [文檔字符串] [互動] 體）

返回lambda表達式。甲調用 的形式（lambda args docstring 互動體）是自引用的;評估λ 表達式的 結果是表達式本身。 Lambda表達式然後可以 視爲功能，即，存儲作爲 符號的函數值，傳遞給 「funcall」或「mapcar」等

因此，(lambda ...)和'(lambda ...)是當量。

此外，還有符號#'(lambda ...)，它是(function (lambda ...))的語法糖。

有關Emacs lisp中功能的更多信息，請閱讀Functions info pages。

只是爲了檢查這一切，你可以鍵入以下到*刮*緩衝區和計算表達式：

(caddr '(lambda (x) (+ x x))) 
(+ x x) 

(caddr (lambda (x) (+ x x))) 
(+ x x) 

(caddr (function (lambda (x) (+ x x)))) 
(+ x x) 

(equal '(lambda (x) (+ x x)) 
     (function (lambda (x) (+ x x)))) 
t 

(equal '(lambda (x) (+ x x)) 
     (lambda (x) (+ x x))) 
t 

所以，使用lambda只是建立了可以用作列出的所有三個變種函數（其中一個可能是字節編譯）。

Answer 2

那麼(quote (lambda...))和(lambda...)是不相等的（當字節編譯時）。引用的lambda表達式不是字節編譯的，而是其他所有內容。

例如：

(defun foo (a) 
    (byte-code-function-p a)) 

(defun bar() 
    (foo '(lambda() (ignore 'me)))) 

(defun bar2() 
    (foo (lambda() (ignore 'me)))) 

(defun bar3() 
    (foo (function (lambda() (ignore 'me))))) 

(defun bar4() 
    (foo #'(lambda() (ignore 'me)))) 

(byte-compile 'bar) 
(byte-compile 'bar2) 
(byte-compile 'bar3) 
(byte-compile 'bar4) 

(bar) ; -> nil 

(bar2) ; -> t 
(bar3) ; -> t 
(bar4) ; -> t 

你通常不希望引用一個lambda，除非功能你要傳遞給正在做與別的東西不僅僅是funcall它的拉姆達。