LISP:取一个任意的s表达式，递归地反转每个cons节点(节点的car和cdr)

Question

因此，在lisp中，列表是cons节点的集合，每个节点都有两个部分。该节点的car和该节点的cdr，我该如何反转每个cons节点？

Answer 1

使用reduce:

(defun reverse-conses (list)
  (reduce (lambda (x acc) (cons acc x)) list :initial-value nil :from-end t))

递归：

(defun reverse-conses (list)
  (if (null list) nil
      (cons (reverse-conses (cdr list)) (car list))))

Answer 2

我从一个交换cons单元格的函数开始。

(defun swap-cons (cns)
  (cons (cdr cns)
        (car cns)))

让我们测试一下：

> (swap-cons (cons 1 2))
(2 . 1)
> (swap-cons (cons 1 (cons 2 3)))
((2 . 3) . 1)

所以这是有效的。现在我们只需要将这个函数映射到输入列表上

(defun swap-conses (lst)
  (mapcar #'swap-cons
       lst))
> (swap-conses '((1 . 2)))
((2 . 1))
> (swap-conses '((1 . 2) (3 . 4)))
((2 . 1) (4 . 3))
> (swap-conses '((1 2)))
(((2) . 1))
> (swap-conses '((1 . 2) (3 4) (5 6 7)))
((2 . 1) ((4) . 3) ((6 7) . 5))

Answer 3

要递归地遍历整棵树并交换car和cdr，可以执行以下操作：

(defun reverse-conses (tree)
  (if (consp tree)
      (cons (reverse-conses (cdr tree))
            (reverse-conses (car tree)))
      tree))
(reverse-conses (cons 1 2))   ; ==> (2 . 1)
(reverse-conses '(1 2 3))     ; ==> (((nil . 3) . 2) . 1)
(reverse-conses '(1 (2 3) 4)) ; ==> (((nil . 4) (nil . 3) . 2) . 1)

考虑到这个论点可能由不正确的列表组成，没有更简单的解决方案了。