关于 Common Lisp 中的函数 MERGE

Question

函数merge的逻辑是什么？

如果判断返回 true，则选择 list1 中的第一个元素，或者如果为 false，则选择 list2，这不就是不是吗？

我对以下两句话感到困惑...

（合并 '列表 '（1） '（2）

#'<） ==> （1 2）

（

合并列表 '（1） '（2） #'=） ==> （1 2）

为什么他们得到相同的结果？

Answer 1

merge的结果包含两个序列的所有元素。

如果谓词为 T，则第一个元素放在第一位。

CL-USER 57 > (merge 'list
                    (list 1 2)
                    (list 2 1)
                    #'<)
(1 2 2 1)
CL-USER 58 > (merge 'list
                    (list 1 2)
                    (list 2 1)
                    #'=)
(1 2 2 1)
CL-USER 59 > (merge 'list
                    (list 1 2)
                    (list 2 1)
                    #'>)
(2 1 2 1)

merge的基本用例：合并两个排序序列将导致一个包含所有元素的排序序列。

CL-USER 63 > (merge 'list
                    '(1 2 6)
                    '(3 4 5)
                    #'<)
(1 2 3 4 5 6)

也适用于矢量：

CL-USER 64 > (merge 'vector
                    #(1 2 6)
                    #(3 4 5)
                    #'<)
#(1 2 3 4 5 6)