提取列表中的每个数字并重建列表？

Question

我需要创建这个函数flat，它应该从输入列表中重新收缩一个新列表（但在这里，输入列表可以有一个嵌套列表）：

例如。 (A (B (C) D) A) 的平面是 (A B C D A)

我的算法如下，不知道对不对：

1. 检查列表是否为空：如果不是，继续；如果是，则完成——返回空列表
2. 如果列表长度为 1，则完成 -- 返回列表
3. 如果列表的长度大于 1，我现在该怎么办？ （我可以使用car 和cdr 来提取列表，但是在任何一种情况下，我怎样才能使它递归地提取列表到最后，我正在考虑使用append 来重新构建列表。）

任何帮助/提示将不胜感激。

Answer 1

提示是，如果列表不是null?，则不应关注传递给flat的列表长度，而是检查列表的car是否为一个列表本身或只是一个原子。如果它是一个列表本身，您想要展平它，以及展平列表的cdr。

编辑：好吧，考虑一下在两种不同情况下会发生什么，一种使用cons，另一种使用append：

(append '(a b c) '(d e f)) => (a b c d e f)

(cons '(a b c) '(d e f)) => '((a b c) d e f)

在第一种情况下，您会得到一个平面列表，而在第二种情况下，您不会得到一个平面列表。你可以试试

(define (bad-flatten lst) 
  (if ((null? lst) 
      '()
      (append (car (flatten lst)) (cdr (flatten lst)))))

但如果lst 中的car 不是 列表，它将不起作用。您需要第三种情况，使用cond，如下所示：

(define (incomplete-flatten lst)
  (cond ((null? lst) 
         '())
        ((list? (car lst)) 
         (append (flatten (car lst)) (flatten (cdr lst))))
        (else 
         ;; you need to do something different here. I can
         ;; think of at least two options.
        )))

Answer 2

可能不是最优化的解决方案。也许您可以进一步改进它：

(define (list-flatten lst)
  (if (not (null? lst))
      (let loop ((args lst) (ret (list)) (c null))
         (if (not (null? args))
           (begin
             (set! c (car args))
             (cond ((list? c) (loop (cdr args) (append ret (list-flatten c)) c))
             (else (loop (cdr args) (append ret (list c)) c))))
           ret))
       #f))