更通用的lisp代码来生成对的组合

(defun map-cartesian (fn bags)
  (labels ((gn (x y)
             (if y (mapc (lambda (i) (gn (cons i x) (cdr y))) (car y))
                 (funcall fn x))))
    (gn nil (reverse bags))))

CL-USER> (map-cartesian #'print '((1 2) (a b c) (x y)))

(1 A X) 
(2 A X) 
(1 B X) 
(2 B X) 
(1 C X) 
(2 C X) 
(1 A Y) 
(2 A Y) 
(1 B Y) 
(2 B Y) 
(1 C Y) 
(2 C Y) 

如果你喜欢糖,

(defmacro do-cartesian ((item bags) &body body)
  `(map-cartesian (lambda (,item) ,@body) ,bags))

CL-USER> (do-cartesian (x '((1 2) (a b c) (x y)))
           (print x))

编辑:(简要说明)

gn的第一个参数x是到目前为止构造的部分元组;y是剩余的元素包。函数gn通过迭代剩余行李(car y)的每个元素i来扩展部分元组,形成(cons i x)。当没有剩余的包时 if 语句),所以我们调用元组上提供的函数fn。

您不需要显式递归(甚至宏),这也可以通过高阶函数实现:

(defun tuples-from-ranges (range &rest ranges)
  (reduce (lambda (acc range)
            (mapcan (lambda (sublist)
                      (mapcar (lambda (elt)
                                (append sublist (list elt)))
                              (apply #'generate-range range)))
                    acc))
          ranges
          :initial-value (mapcar #'list (apply #'generate-range range))))

mapcan mapcar )执行与示例中的两个嵌套循环相同的函数。外高阶函数 reduce 然后,将首先将前两个范围的值组合到pair中,然后在每次调用其参数函数时,将some进程再次应用于前一次调用和下一个范围的中间结果。