Scheme - 返回2个给定列表中的对列表

3 回答

• 3

  您正在寻找的结果应如下所示：

  ((1 a) (2 b) (3 c))
  

  实际上这个结构类似于：

  (cons
     (cons 1 a)
     (cons
        (cons 2 b)
        (cons
          (cons 3 c)
          '()
        )
      )
   )
  

  所以你要找的是将对添加到列表而不是像你那样将所有项添加到列表中 . 只是你的结果如下：

  (1 (2 (pairs ...)))
  

  您的代码应如下所示：

  (define pairs
    (lambda (x y)
      (if (or (null? x) (null? y))
        '()
        (cons
          (cons (car x) (car y))
          (pairs (cdr x) (cdr y))))))
  

  这段代码可能有效，但并不完美 . 我们可以使代码通过我们创建的列表作为第三个参数来使函数tail递归 .

  你有这样的事情：

  (define pairs
    (lambda (x y)
      (let next ((x x) (y y) (lst '()))
        (if (or (null? x) (null? y))
          (reverse lst)
          (next (cdr x)
                (cdr y)
                (cons
                  (cons (car x) (car y)) 
                  lst))))))
  

  正如您所看到的，这里因为我们在列表的开头添加了下一个元素，所以我们必须在结尾处反转 lst . 这里的区别在于，每次调用 next 时，都不需要将x和y的每个状态保持在内存中 . 当命名的let将返回时，没有必要将所有值弹回到它调用的位置 . 它只会返回反转列表 .

  也就是说，我们可以简单地返回 reverse 而不是使用 reverse 并使用 (append lst (cons (car x) (car y))) ，它会将该对添加到列表的末尾...因为列表是链接列表...以便在列表的末尾添加一些内容，方案必须遍历所有列表项目...这些列表不适合大列表 . 所以解决方案是添加所有内容，最后根据需要重新排序列表 . 反向操作只会发生一次 .

  回复于 2024-04-28T03:10:43+08:00
• 1

  请注意，通过评估 (cons 1 3) ，您可以生成一个打印为 (1 . 3) 的值 . 但是在您的程序中，您正在执行 (cons 1 (cons 3 ...)) ，它将在前面的列表中添加1和3 .

  换句话说：而不是 (cons (car x) (cons (car y) (pairs ...)) 使用 (cons (cons (car x) (car y) (pairs ...)) .

  回复于 2024-04-28T03:10:43+08:00
• 1

  使用 map 简化了很多：

  (define (pairs x y)
    (map (λ (i j) (list i j)) x y))
  

  测试：

  (pairs '(1 2 3) '(a b c))
  

  输出：

  '((1 a) (2 b) (3 c))
  

  回复于 2024-04-28T03:10:43+08:00