arrays - 如何使用 make-array 或 coerce 在 Common Lisp 中将列表转换为具有相同输出的一维数组（向量）？

问题描述

我想从一个简单的列表转换：

'(1 2 3)

到一维数组（向量）：

#(1 2 3)

我发现这个问题很相似，但没有涵盖这个问题。

我也设法找到了实现它的方法。不确定它是否是最好的：

CL-USER> (coerce '(1 2 3) 'vector)
#(1 2 3)
CL-USER> (type-of *)
(SIMPLE-VECTOR 3)

我想知道是否可以使用make-array来达到相同的结果。我试过：


CL-USER> (make-array '() :initial-contents '(1 2 3)) 
#0A(1 2 3)
CL-USER> (type-of *)
(SIMPLE-ARRAY T NIL)

这很接近，但我不明白#0A。#0A(1 2 3)

由于某些我不明白的原因，此输出不适用于进一步的组合，例如aref：

CL-USER> (aref #0A(1 2 3) 0)
; Evaluation aborted on #<SIMPLE-ERROR "Wrong number of subscripts, ~W, for array of rank ~W." {1003C07793}>.

是否可以使用make-array来达到与相同的结果coerce？这两种方法有什么区别？其中一个比另一个更快或更优雅吗？

标签： arrayslistvectorcommon-lisp

解决方案

COERCE很好，您甚至可以根据需要指定元素类型：

USER> (coerce '(1 2 3) '(vector fixnum))
#(1 2 3)
USER> (describe *)
#(1 2 3)
  [simple specialized vector]

Element-type: FIXNUM
Length: 3

你可以对做同样的事情make-array，但你需要给出正确的维度。维度参数表示可能的多维数组有多少行、列等。它应该是一个列表，但是当你只有一个维度时，它可以只是一个数字。这里的两种形式是等价的：

USER> (make-array 3 :initial-contents '(1 2 3))
#(1 2 3)

USER> (make-array '(3) :initial-contents '(1 2 3))
#(1 2 3)

通常你会打电话给(length list). 与之相比的附加价值coerce是您可以指定:fill-pointeror:adjustable参数，这是 type 参数coerce无法传达的内容。

数组的打印表示是#nA()，其中n是数组的维数，A如果是向量 (n = 1)，则省略和。例如：

USER> (make-array '(10 2) :initial-element 0)
#2A((0 0) (0 0) (0 0) (0 0) (0 0) (0 0) (0 0) (0 0) (0 0) (0 0))

对于给定的维度数组，您可以使用与维度一样多的参数n访问元素，以行优先顺序（与您在中指定维度的顺序相同）。arefmake-array

USER> (aref * 5 1)
0 (0 bits, #x0, #o0, #b0)

在您的示例中，您定义了一个维度为 0 的数组，因为您将'()（也就是()或nil）写为维度。如果您需要一个盒子来存储单个元素，则可以使用它：

USER> (defparameter *box* (make-array nil :element-type '(mod 8)))
*BOX*
USER> (describe *box*)
#0A0
  [simple specialized array]

Element-type: (UNSIGNED-BYTE 4)
Dimensions: NIL
Storage vector: #<(SIMPLE-ARRAY (UNSIGNED-BYTE 4) (1)) {101EA0C59F}>
; No values

USER> (setf (aref *box*) 7)
7 (3 bits, #x7, #o7, #b111)

USER> (incf (aref *box*))
8 (4 bits, #x8, #o10, #b1000)

USER> (aref *box*)
8 (4 bits, #x8, #o10, #b1000)

_{（如您所见，可以存储在数组中的值是对应于upgraded-element-type, 这里的值(unsigned-byte 4)；例如，(setf (aref *box*) (expt 2 16))表示错误）}

看起来:initial-contents结果与相同:initial-element，因为在您的示例中，零维数组的内容是列表(1 2 3)

其中一个比另一个更快或更优雅吗？

我尽量使用coerce它，因为它写起来更短，而且看起来更能描述我在做什么。我不认为它更快，除非你事先知道列表的长度。

arrays - 如何使用 make-array 或 coerce 在 Common Lisp 中将列表转换为具有相同输出的一维数组（向量）？

问题描述

解决方案

推荐阅读