我正在构建其他人编写的一些旧的Common Lisp代码，其中包括几个函数开头的以下行：
(declare (ftype (function (&rest float) float) + - * min max))
我的理解是，这样做的目的是告诉编译器表单末尾列出的五个函数只会传递浮点数。编译器可以使用此信息来创建更高效的代码。
有些Lisps不会抱怨此声明（ABCL，CCL，ECL，LispWorks，CLISP），但SBCL不会在默认配置中接受此声明。可以通过放置
使SBCL接受它(unlock-package 'common-lisp)
我的问题是：可以声明内置函数的函数类型如+和min对SBCL中的编译代码有什么好处吗？ （如果可以，那么为什么SBCL默认会抱怨这些声明？）我最好除去这些ftype声明，然后摆脱.sbclrc中的unlock-package行吗？
感谢。
答案 0 :(得分：8)
我的理解是，这样做的目的是告诉编译器表单末尾列出的五个函数只会传递浮点数。编译器可以使用此信息来创建更高效的代码。
此外，他们只会返回花车。对于某些优化设置，Common Lisp编译器不会生成运行时检查，并且可能只生成浮点计算的代码。此外，SBCL可能会在某些情况下显示编译时警告，它会检测到代码违反了类型声明。
它也是错误的来源，因为从现在开始（在声明的范围内），+和-等基本函数被声明不适用于其他数字类型（整数，复数， ...）。
那么，这些声明的目的是什么？由于它是可移植代码（并且大多数实现不实现编译时类型检查），因此它只能用于优化目的。其中一些可能在SBCL中不是必需的，因为它使用类型推断。
为什么SBCL默认不允许更改内置功能？这是为了防止你的脚射击：你正在改变基本语言。现在基本的数字操作可能会导致错误。
如何处理：
仅使用本地声明，不要全局更改语言。你表明这些只是在当地宣布 - 这很好。
声明变量的值
为float case编写特殊函数并将它们内联声明。
仅在编译这些函数时解锁包CL。保持锁定。
我的问题是：可以声明内置函数的函数类型如+和min对SBCL中的编译代码有什么好处吗？
您可以通过查看反汇编代码和分析来检查。确保使用正确的优化设置编译函数。在Common Lisp中，函数“DISASSEMBLE”应该以可读的方式显示机器代码。 SBCL编译器还应该告诉您它是否无法优化已编译的代码。