在带有 sbcl 的 Emacs + Slime 上,一旦我在文件中定义了一个函数(或多个),我有两个选择:
-
评估: 例如与 C-M-x eval-defun
-
汇编: 例如使用 C-c M-k 编译文件
第二个也生成一个 .fasl 文件。
两者有何区别?
当我编译定义/文件时,幕后发生了什么?
每一种的优点和缺点是什么?
首先有一个函数eval
[1 http://www.lispworks.com/documentation/lw50/CLHS/Body/f_eval.htm],允许在语言运行时评估(即执行)任意 CL 形式。 CL 实现可能有 2 种不同的操作模式:编译模式和解释模式。编译模式意味着,在评估之前,首先在内存中编译表单。此外,在 CL 中,评估不是发生在文件级别,而是发生在单个表单级别。所以eval
可以编译和解释表单,具体取决于操作模式。 (例如,SBCL 默认情况下始终编译,除非您通过设置指示它不要编译sb-ext:*evaluator-mode*
to :interpret
,而 CLISP 始终进行解释)。
现在还有一个方便的功能compile-file
[2 http://www.lispworks.com/documentation/lw51/CLHS/Body/f_cmp_fi.htm] 允许编译某个文件中的所有表单并将结果保存在另一个文件中。这不触发评估这些形式。
CL还定义了程序生命周期的3个不同时间:编译时、加载时和执行时。并且有可能控制使用最神秘的 CL 特殊运算符之一时发生的情况eval-when
[3 http://www.lispworks.com/documentation/lw50/CLHS/Body/s_eval_w.htm].
To sum up, C-M-x eval-defun will call eval
on the form under cursor. It will not necessary compile it, but that is possible, depending on implementation. C-c M-k compile-file will compile-file
your buffer, but not evaluate it's contents.
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)