为什么lisp里面反转一个列表里面的值？递归实现有问题啊？

Question

这个是我的代码：(defun reverse-list2 (list)   (if (null list) nil     (cons (reverse-list2 (rest list)) (first list))))我想反转，一个字符串列表。比如(reverse-list2 '("tar" "tip" "net"))希望是("net" "tip" "tar") 这样。结果是：(((NIL . "net") . "tip") . "tar")然后我把代码这样：(defun reverse-list2 (list)   (if (null list) nil     (cons (first list) (reverse-list2 (rest list)))))然后就正常输出，顺序的列表了。这个不理解啊。

Answer 1

可以参考我的

(defun my-reverse (lst)
  (labels ((nxt (lst rst)
                (if (null lst)
                  rst
                  (nxt (cdr lst) (cons (car lst) rst)))))
    (nxt lst nil)))

需要注意的是cons是把一个element给cons到一个list前面，你这里的用法是有问题的。

Answer 2

我的解法。首先定義一個 (rcar) 算子，取列表的最後一項。然後定義一個 (rcdr) 算子，取列表除最後一項的其餘項。這兩個算子同 (car) 與 (cdr) 是對稱的。然後使用 (rcar) 與 (rcdr) 定義 (reverse) 算子。(rcar) 和 (rcdr) 兩個算子在其他的地方也可以用到。

(def rcar (lambda [L] (cond
    [(eq (cdr L) []) (car L)]
    [#true (*lambda* (cdr L))]
)))

(def rcdr (lambda [L] (cond
    [(eq (cdr L) []) []]
    [#true (cons (car L) (*lambda* (cdr L)))]
)))

(def reverse (lambda [L] (cond
    [(eq L []) L]
    [#true (cons (rcar L) (*lambda* (rcdr L)))]
)))