Special Forms是lisp中特殊的存在。Special Forms是特殊的原始函数，他的参数不会总被被求值（普通函数的参数会被求值）。多数的特殊形式用于定义控制结构（分支，循环等），值绑定。这些是普通函数做不了的。

每个特殊形式有他自己的规则，那些参数会被求值，那些参数不会被求值。一个特定的参数是否会被求值，可能受另外一个参数的求值结果影响（比如分支）。

如果一个表达式的第一个标识符是special form，那这个表达式就必须按照这个特殊形式的规则来。否则emacs的行为是为知的（虽然他不会奔溃）。比如((lambda (x) x . 3) 4)包含一个以lambda开头的表达式，但是格式不不对，所以emacs可能触发一个error，或者返回3，或者返回4，或者有其他行为。

elisp中的所有特殊形式有：

  • and
  • catch
  • cond
  • condition-case
  • defconst
  • defvar
  • function
  • if
  • interactive
  • lambda
  • let
  • let*
  • or
  • prog1
  • prog2
  • progn
  • quote
  • save-current-buffer
  • save-excursion
  • save-restriction
  • setq
  • setq-default
  • track-mouse
  • unwind-protect
  • while

common lisp的用户注意，cl和elisp的特殊形式有一些区别。setq,if,catch是两者都有的。save-excursion是elisp特有的，throw在cl中是特殊形式，而在elisp中是函数。

function

function function-object

这个特殊形式直接返回function-object，而不会去求值。这点很像quote，但是与quote不同的是，function还会通知Emacs解释器和byte-compiler，说这个function-object是一个函数。这样在字节编译时，编译器会吧function-object编译为一个函数对象字节码。

#'是function简写。就像'是quote的简写。

总结：使用function会让emacs在执行代码时加上一些特效。

问题：以下的写法执行效果是一样的，那么使用#'是必要的么？

1
2
3
(setq a '("1" "2" "3"))
(mapc #'print a)
(mapc 'print a)

let

参考文章