Common Lisp多结果计算性能优化：消除列表开销

嘿，你这在Common Lisp里抠纳秒级性能的劲儿太到位了——毕竟科学计算库要追C的性能，每一点冗余都得揪出来。我来给你把这里的门道说透：

先搞懂为什么list返回开销大 #

你看到的SBCL提示note: doing float to pointer coercion (cost 13)，本质是因为列表是指针结构：要把三个double-float打包成list，每个浮点数都得从CPU寄存器转成内存指针，还要分配三个列表单元格的内存——这在纳秒级计算里绝对是重量级开销，完全不符合你要的零冗余目标。

declaim (inline foo)到底干了啥？ #

Inline的核心作用就是让编译器把foo的代码直接插入到调用它的位置，而不是生成函数调用的指令。这带来两个关键好处：

1. 消除了函数调用的栈帧创建、跳转开销；
2. 更重要的是——当foo用values返回多值时，inline之后编译器能直接把三个计算结果留在寄存器里，直接传递给后续代码，根本不需要把它们转成指针或者分配任何内存！这就是为什么你inline之后性能和手写展开代码完全一致的原因。

为什么单独用values还有提示？ #

如果foo是作为普通函数调用的，Common Lisp的多值返回机制在底层还是需要把值放到栈上的临时存储区，调用者再去取——这时候还是会有一点点指针转换的开销（虽然比list小很多）。但一旦inline之后，编译器完全知晓foo的内部逻辑，能把计算结果直接绑定到你后续要用的变量上，彻底绕开了多值返回的底层机制，自然就没了内存分配和coercion。

你的“magic-abstraction-I-want”最优实现 #

你想要的直接把结果传入后续计算的零开销写法，用multiple-value-setq或者multiple-value-bind就能实现，结合inline之后完全没有冗余：

;; 先声明inline，让编译器知道要展开代码
(declaim (inline foo))
(defun foo (a1 a2 a3 b1 b2 b3)
  (declare (optimize (speed 3))
           (type double-float a1 a2 a3 b1 b2 b3))
  (values (+ a1 b1) (+ a2 b2) (+ a3 b3)))

;; 调用示例：直接把结果绑定到变量，零开销
(let ((res1 0d0) (res2 0d0) (res3 0d0))
  (declare (type double-float res1 res2 res3))
  ;; 直接把foo的多值结果赋值给res1/res2/res3
  (multiple-value-setq (res1 res2 res3) (foo 1d0 1d0 1d0 1d0 1d0 1d0))
  ;; 这里直接用res1/res2/res3做后续计算即可，完全没有额外开销
  (format t "~a ~a ~a" res1 res2 res3))

如果你在循环里调用foo（比如你用dotimes测试的场景），SBCL的优化器甚至能把res1/res2/res3直接优化成寄存器变量，连变量赋值的开销都能消除。

验证性能的终极方式 #

你可以用(disassemble #'your-test-function)查看汇编代码，确认里面没有内存分配（比如ALLOC指令）和指针转换的操作——这才是确认零开销的最直接证据，SBCL的提示有时候只是针对非inline场景的“预警”，inline之后这些提示就不适用了。

总结一下你的最优路径：

• 彻底抛弃list返回，用values作为多值返回的标准方式；
• 必须配合declaim (inline foo)让编译器展开代码，消除所有调用和返回的冗余；
• 用multiple-value-bind/multiple-value-setq接收多值，实现结果的直接传递。

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