lisp - Common Lisp 中 &rest 参数和列表的区别

Question

(defun highest (lat)
    (cond
        ((null lat) nil)
        ((null (cdr lat)) (car lat))
        (T (higher (car lat) (highest (cdr lat))))))

(defun higher (a1 a2)
    (cond
        ((> a1 a2) a1)
        (T a2)))

此函数按预期工作:

> (highest '(3 5 1 2 3))    
3. Trace: (HIGHEST '(3 5 1 2 3))
4. Trace: (HIGHEST '(5 1 2 3))
5. Trace: (HIGHEST '(1 2 3))
6. Trace: (HIGHEST '(2 3))
7. Trace: (HIGHEST '(3))
7. Trace: HIGHEST ==> 3    
6. Trace: HIGHEST ==> 3
5. Trace: HIGHEST ==> 3
4. Trace: HIGHEST ==> 5    
3. Trace: HIGHEST ==> 5

但是如果我将参数更改为&rest:

(defun highest (&rest args)
    (cond
        ((null args) nil)
        ((null (cdr args)) (car args))
        (T (higher (car args) (highest (cdr args))))))

它的行为不一样。

> (highest 3 5 1 2 3)
3. Trace: (HIGHEST '3 '5 '1 '2 '3)
4. Trace: (HIGHEST '(5 1 2 3))
4. Trace: HIGHEST ==> (5 1 2 3)
*** - >: (5 1 2 3) is not a real number

编辑:抱歉，我忘了提到我在第二种情况下将参数传递给原子。我编辑了问题以使其更清楚。

Answer 1

在调用 (highest 3 2 10) 之前尝试评估 (trace highest)。然后你会看到第二个调用看起来像这样:(最高'(2 10))然后 &rest 参数看到一个恰好是列表的对象。

要更正此问题，请使用 APPLY。 APPLY 类似于​​ funcall，但它的最后一个参数必须是一个列表，并且被视为“拼接”到函数调用上。像这样:(应用#'最高(cdr args))