如何在Common Lisp中替换正在运行的函数？

Question

假设我们使用SBCL的#save-lisp-and-die来创建服务器应用程序App1,它运行良好.现在我们想要在不停止App1的情况下用新版本替换函数#'func1.我们怎么能在Common Lisp中做到这一点？

任何建议表示赞赏!

Answer 1

我个人确保SWANK(SLIME的服务器部分)正在运行,这样我就可以随时使用Emacs + SLIME连接到图像并重新定义我想要的任何内容.

(ql:quickload "swank")
(swank:start-server :port 1234) ;; listen for SLIME connections on port 1234

然后在Emacs中,您可以M-x slime-connect按照提示操作.

如果您因任何原因不想这样做,那么您的实现可能会提供特定的内容.

Answer 2

您需要加载新的函数定义。那么新功能将立即可用；代码将调用新加载的函数。

可以通过多种方式加载新的函数定义：

• (load (compile-file "file.lisp"))file.lisp函数的源代码在哪里
• (load "file.fasl")file.fasl编译源代码在哪里
• (eval (defun ...))

当然，也有例外和并发症：

• 这不会替换先前函数的已经运行的调用；例如，无法以这种方式更改无限事件循环 - 它必须支持某种停止和调用新函数。但是，这种长时间运行的函数很少见。它可以通过使用递归而不是循环来解决（但并非所有编译器都进行尾调用优化）。
• 如果您在某处抓取了指向函数的指针（例如，通过(function FOO)whereFOO是函数的名称），它将保留其旧值。为了避免这种情况，请使用符号而不是函数指针（符号是funcall可以的）。
• 函数的代码是垃圾收集的主题。您应该小心不要留下对旧版本函数的引用。此外，如果不需要某些功能，您不应该忘记fmakunbound它们的符号。
• 如果在编译时使用了该函数，则还应重新加载所有受影响的代码
• 如果您进行了高级别的优化（默认情况下不是这样），编译器可能会将函数内联到其他函数中。CLHS 区分重新定义函数成为“未定义行为”的情况。

但在实践中，代码重载在大多数 Common Lisp 实现中都能很好地工作。