Question

我有两个带有填充指针的向量。我需要merge这些向量，并因此得到一个仍然具有填充指针的新向量。

(defparameter *a* (make-array 3 :fill-pointer 3
                                :initial-contents '(1 3 5)))
(defparameter *b* (make-array 3 :fill-pointer 3
                                :initial-contents '(0 2 4)))
(type-of *a*)
;;=> (VECTOR T 6)

;; Pushing new elements works as intended.
(vector-push-extend 7 *a*)
(vector-push-extend 6 *b*)
;; Now we create a new vector by merging *a* and *b*.
(defparameter *c* (merge 'vector *a* *b* #'<))
;;=> #(0 1 2 3 4 5 6 7)
(type-of *c*)
;;=> (SIMPLE-VECTOR 8)

;; The type of this new vector does not allow pushing elements.
(vector-push-extend 8 *c*)

;; The value
;;   #(0 1 2 3 4 5 6 7)
;; is not of type
;;   (AND VECTOR (NOT SIMPLE-ARRAY))
;;    [Condition of type TYPE-ERROR]

我似乎找不到要指定给merge的类型，以便结果将具有填充指针。我想显而易见的解决方法是：

自己编写一个merge函数，该函数声明一个新向量并按正确顺序执行插入。
将结果复制到带有填充指针的另一个向量中。

当然，如果有一种方法可以使用标准中的merge来实现，那么这两种解决方法都不能令人满意。

Answer 1

实际上，没有简单的方法来获得merge 返回vector和填充指针。

但是，您可以将矢量替换到结果：

(defparameter *c* (merge '(vector t) *a* *b* #'<))
(type-of *c*)
==> (SIMPLE-VECTOR 8)
(defparameter *d* (make-array (length *c*) :displaced-to *c* :fill-pointer t))
(type-of *d*)
==> (VECTOR T 8)
*d*
==> #(0 1 2 3 4 5 6 7)
(array-displacement *d*)
==> #(0 1 2 3 4 5 6 7); 0
(vector-push-extend 17 *d*)
==> 8
*d*
==> #(0 1 2 3 4 5 6 7 17)

到目前为止一切都很好，对吧？

不是，不是那么快：

(array-displacement *d*)
==> NIL; 0

当我们致电vector-push-extend时在*d*上，它已从置换数组转换为普通数组因为底层的simple-vector 无法扩展。

如果您愿意，实际上可以考虑使用列表而不是数组使用merge，因为它在列表上效率更高（重复使用结构）。

将两个向量与填充指针合并到结果向量中

1 个答案: