Mapcar和assoc

Question

我想这样做：

(mapcar #'assoc '(a s) '((a . b) (c . d) (s . f)))

并让它返回

((A . B) (S . F))

考虑到(assoc 'a '((a . b) (c . d) (s . f)))返回(A . B)而(assoc 's '((a . b) (c . d) (s . f)))返回(S . F)，这似乎很合理。但唉它不起作用：

*** - ASSOC: A is not a list
The following restarts are available:
ABORT          :R1      Abort main loop

有什么想法吗？

Answer 1

当与两个列表一起使用时，mapcar将该功能成对应用于列表（并且三个列表将它们应用于三个列表等）。所以

(mapcar #'assoc '(a s) '((a . b) (c . d) (s . f)))

与

相同

( (assoc 'a (a . b)) (assoc 's (c . d)) )

（当与不同长度的列表一起使用时，mapcar使用最小列表的大小）。为了得到你想要的东西，你应该这样做：

(mapcar (lambda (x) (assoc x '((a . b) (c . d) (s . f)))) '(a s))

Answer 2

我们需要另一个列表级别。第二个参数应该是一个关联列表列表。

CL-USER >  (mapcar #'assoc '(a s) '(((a . b) (c . d) (s . f))))

((A . B))

但第二个论点只有一个元素。现在我们可以使用一个技巧并使其成为循环列表：

CL-USER > (mapcar #'assoc '(a s) '#1=(((A . B) (C . D) (S . F)) . #1#))

((A . B) (S . F))

如果我们为第二个参数构造循环列表，那么它可以工作。

作为一项功能：

(defun circular (list)
  (if (null list)
      list
    (setf (cdr (last list)) list)))

CL-USER > (mapcar #'assoc '(a s) (circular '(((a . b) (c . d) (s . f)))))

((A . B) (S . F))