为何在SBCL中通过LOAD调用PROCLAIM无持久效果？

核心原因 #

你遇到的问题本质是SBCL中文件编译加载时的声明作用域隔离：

• 在REPL中直接执行(proclaim '(optimize (speed 3)))时，这个声明会直接修改全局编译器策略，所以describe-compiler-policy会显示等级3。
• 当把proclaim语句放入文件并加载时，SBCL默认会先编译文件（compile-file）再加载编译后的二进制文件。编译文件时，编译器会创建一个局部编译环境，文件内的proclaim仅作用于该文件内部代码的编译优化级别，不会修改全局的编译器策略。加载编译后的文件时，不会再执行原文件中的proclaim语句，因此全局策略仍保持你在REPL中预先设置的等级1。

关键细节区分 #

• 若加载文件时禁用编译（执行(load "test.lisp" :compile nil)），文件中的proclaim会被解释执行，此时会修改全局编译器策略，describe-compiler-policy就会显示等级3。
• 若要让编译后的文件加载时修改全局策略，需要用eval-when明确指定加载时执行声明：

  (eval-when (:load-toplevel :execute)
    (proclaim '(optimize (speed 3))))
  

  这样无论编译与否，加载文件时都会执行该proclaim，修改全局策略。

文档说明 #

• CLHS：proclaim的定义指出，它的作用是为后续的编译和求值建立全局声明，但compile-file的文档提到，编译过程会维护一个独立的编译环境，文件内的声明默认仅影响该环境中的代码，不会泄漏到全局。
• SBCL用户手册：在"Compiler Policy"章节明确说明，编译文件时的局部声明不会修改全局编译器策略，若需要全局修改，必须通过eval-when将声明暴露到加载或执行阶段。

内容的提问来源于stack exchange，提问作者massysett