如何在Common Lisp中用make-array和coerce将列表转为一维数组（向量）

1. 用make-array得到和coerce一致结果的方法 #

你之前写法出错的核心原因是make-array的第一个参数是数组维度规范，传入空列表'()代表创建秩为0的0维数组，自然无法用一维下标访问，也不会输出#(...)格式的向量。
正确写法如下：

;; 固定长度写法
CL-USER> (make-array 3 :initial-contents '(1 2 3))
#(1 2 3)
CL-USER> (type-of *)
(SIMPLE-VECTOR 3)

;; 动态适配输入列表长度的写法
CL-USER> (let ((lst '(1 2 3)))
           (make-array (length lst) :initial-contents lst))
#(1 2 3)

2. 两种实现方式的区别 #

• coerce是通用类型转换函数，功能是在Common Lisp的兼容类型之间做转换，将列表转向量只是它的能力之一。调用(coerce lst 'vector)生成的是默认的简单向量（simple-vector），不可调整、没有填充指针、元素类型默认为T。
• make-array是专门的数组构造原语，灵活性更高，除了基础的维度配置外，还可以通过参数自定义元素类型、是否支持动态调整长度、是否带有填充指针等属性，你可以生成各种维度、各种特性的数组，而不仅仅是普通一维向量。

3. 效率与写法优雅性对比 #

• 效率：绝大多数Common Lisp实现中，两者的底层执行逻辑几乎一致，性能差异可以忽略不计。如果提前已知列表长度，直接传长度参数给make-array可以省去coerce内部隐式计算列表长度的微小开销，但对整体性能影响极低。
• 优雅性：如果你的需求只是简单将列表转为普通一维向量，(coerce lst 'vector)写法更简洁、表意更直接，优雅度更高。如果你需要定制数组的特殊属性（比如限定元素类型为整数、需要动态扩容等），make-array是唯一选择，灵活性更高。

内容的提问来源于stack exchange，提问作者Pedro Delfino