Emacs Lisp: sự khác biệt giữa (hàm (lambda ...)) và (lambda ...)?

Question

sự khác biệt giữa

(function (lambda ...)) 

và

(lambda ...) 

và

'(lambda ...) 

là gì?

Có vẻ như ba có thể hoán đổi cho nhau trong nhiều trường hợp.

Answer 1

Chúng khá hoán đổi cho nhau. Câu trả lời là functioncho phép lambda được biên dịch byte, trong khi hai phần tử kia không (và tương đương). Lưu ý: điều này không có nghĩa là function thực sự byte biên dịch lambda.

Làm cách nào để tìm ra điều đó? Một chút nội dung của Emacs lisp cung cấp một số manh mối. Để bắt đầu: C-h hàm f RET:

chức năng là một hình thức đặc biệt trong 'C mã nguồn.

(chức năng arg)

Giống như 'quote', nhưng ưa thích dành cho đối tượng đó là chức năng. Trong byte biên dịch, 'hàm' gây ra đối số của nó để được biên dịch. 'quote' không thể làm điều đó.

Ok, vì vậy đó là sự khác biệt giữa (function (lambda ...)) và '(lambda ...), là người đầu tiên nói với trình biên dịch byte nó một cách an toàn có thể biên dịch biểu thức. Trong khi ' biểu ed có thể không nhất thiết phải được biên dịch (đối với họ chỉ có thể là một danh sách các số

gì về chỉ là trần (lambda ...)Ch f lambda RET chương trình:.?

lambda là macro Lisp trong `subr.el'.

(args lambda [docstring] [tương tác] cơ thể)

Return một lambda expression. một cuộc gọi của biểu mẫu (lambda args docstring nội dung tương tác) là tự trích dẫn; kết quả của việc đánh giá biểu thức lambda là biểu thức chính nó. Biểu thức lambda có thể sau đó được coi là một chức năng, ví dụ, lưu trữ như giá trị chức năng của một biểu tượng, thông qua để 'funcall' hoặc 'mapcar', vv

Do đó, (lambda ...) và '(lambda ...) là tương đương.

Ngoài ra, có ký hiệu là #'(lambda ...), là đường cú pháp cho (function (lambda ...)).

Để biết thêm thông tin về các chức năng trong Emacs lisp, hãy đọc Functions info pages.

Chỉ cần để kiểm tra tất cả điều này, bạn có thể gõ như sau vào * cào * đệm và đánh giá các biểu thức:

(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 

Vì vậy, cả ba biến thể của việc sử dụng lambda chỉ xây dựng danh sách có thể được sử dụng như chức năng (một trong số đó có thể được biên dịch byte).

Answer 2

Vâng (quote (lambda...)) và (lambda...) không tương đương (khi biên dịch byte). Các lambdas được trích dẫn không phải là byte được biên dịch trong khi mọi thứ khác là byte.

Ví dụ:

(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 

Bạn thường không muốn trích dẫn một lambda trừ khi chức năng bạn sẽ vượt qua lambda để được làm điều gì đó khác với nó hơn là chỉ funcall nó.