递归列出反向

Question

这是一个在 lisp 中递归地反转列表的代码：

( defun rev1( list final )
    ( if ( eq list () )
    final
        ( rev1( cdr list )  ( cons ( car list ) final ) ) ) )

( defun rev( list )
   ( rev list nil ) )

谁能解释一下 cons cell 和变量 final 之间的赋值是如何工作的？它是指向那个 cons 单元的头部（ car ）的指针吗？

Answer 1

final 在开头是 nil ，每次你只需将列表的第一个元素添加到它上面。 例如你有一个列表说'（a b c），第一次运行将使最终成为'（a），递归调用将是（rev1'（b c）'（a））。

然后它是这样的： (rev1 '(c) '(b a))

这样继续，当列表为 nil 时，最终变量是 '(c b a)，这就是你想要的。