时间戳

首页 > 解决方案 > 编译 Lambda 表达式时 SBCL 中的微妙编译器警告

common-lisp - 编译 Lambda 表达式时 SBCL 中的微妙编译器警告

问题描述

我需要一些帮助来理解编译 lambda 表达式时出现的 SBCL 编译器警告消息。lambda 表达式临时存储为用户定义名称的符号值，编译后的函数随后存储在名称的符号函数下。

* (compile nil (symbol-value 'activate-connector-if!))
; in: LAMBDA (STATE ?CONNECTOR)
;     (APPLY #'SOME
;            (LAMBDA (WOULDWORK-PKG::?T1 WOULDWORK-PKG::?T2)
;              (AND
;               (GETHASH (+ 126 # #)
;                        (WOULDWORK-PKG::PROBLEM-STATE.IDB WOULDWORK-PKG::STATE))
;               (GETHASH (+ 126 # #)
;                        (WOULDWORK-PKG::PROBLEM-STATE.IDB WOULDWORK-PKG::STATE))
;               (LET (#)
;                 (WHEN VALUES #))
;               (LET (#)
;                 (WHEN VALUES #))
;               (NOT (EQL WOULDWORK-PKG::$HUE1 WOULDWORK-PKG::$HUE2))))
;            NIL NIL)
; --> MULTIPLE-VALUE-CALL SB-C::%FUNCALL SOME LET BLOCK SB-INT:DX-FLET FLET
; --> #:WRAPPER102 BLOCK LET
; ==>
;   (SB-C::%FUNCALL #:G100 #:G99)
;
; caught WARNING:
;   function called with one argument, but wants exactly two
;   See also:
;     The ANSI Standard, Section 3.2.2.3
;
; compilation unit finished
;   caught 1 WARNING condition
#<FUNCTION (LAMBDA (STATE ?CONNECTOR)) {1002E32AAB}>
T
T

警告对应于两个必需的参数，但没有关于从何处调用函数的信息。但是，只有一个可能的位置可以调用它，并且检查会验证它是用两个参数调用的。

尽管有这个警告，由于程序在所有测试用例上都运行良好，起初我认为这意味着该函数永远不会被调用。但是跟踪会验证它是否被正确调用了多次，并带有正确的参数。

有没有其他方法可以得到产生警告的原因？

标签： common-lispcompiler-warningssbcl

解决方案

(LAMBDA (WOULDWORK-PKG::?T1 WOULDWORK-PKG::?T2) ...)需要 2 个参数，但由SOME. 当您将APPLY调用转换为普通函数调用时，它看起来像：

(some (lambda (?t1 ?t2) ...) '())

序列参数需要与谓词函数的参数一样多，但只有一个序列和两个参数。

也许你的意思是使用FUNCALL而不是APPLY？APPLY将其最后一个参数视为参数列表，因此将其NIL展开为无参数。

推荐阅读