在SBCL 1.4.6中调用内置函数时无法使用Trace的问题咨询

哈哈，这个问题我之前也碰到过！本质是SBCL的内联优化在搞鬼——当你写test-without-cond这种简单函数时，SBCL的编译器会偷偷把内置的string<直接“嵌”进你的函数体里，相当于把string<的代码直接替换进去，而不是保留正常的函数调用流程。这时候trace自然抓不到了，因为根本没发生真正的函数调用啊！

你说my-string<没这个问题？大概率是那个函数的执行场景不一样——比如你可能是在解释器环境下定义的，或者编译器没触发内联优化（比如函数逻辑更复杂一点，或者优化级别没那么高），所以string<还保持着函数调用的形式，trace就能正常工作。

解决办法有这几个，按需选就行： #

• 给单个函数禁用内联
  在自定义函数里加个声明，明确告诉编译器别把string<内联进去：

  (defun test-without-cond (str)
    (declare (notinline string<))
    (string< "hola" str))
  

  这样再调用test-without-cond，trace就能捕获到string<的调用了。

• 强制Trace时禁用内联
  用SBCLtrace的:notinline参数，直接让被追踪的函数不会被内联，不管在哪调用都能追踪：

  (trace string< :notinline t)
  

  这个方法最省心，调试完记得用untrace恢复就行。

• 降低优化级别（调试用）
  如果只是临时调试，可以给函数设置低优化级别，让编译器别做太激进的优化：

  (defun test-without-cond (str)
    (declare (optimize (speed 0) (safety 3)))
    (string< "hola" str))
  

  不过这个会影响函数运行效率，调试完记得改回去哦。

试一下效果 #

修改后再调用(test-without-cond "pato")，就能看到熟悉的追踪输出了：

0: (STRING< "hola" "pato")
0: STRING< returned 0
0

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