defparameter的使用

Question

我不知道是不是因为我对 defparameter 宏的核心部分不了解。

所以，这给出了一个奇怪的错误。我开始：

(defparameter *x* #(1 4 7))
(defparameter *y* #(2 3 55))

一切都很好，但是这样：

(defparameter *res* (make-array * :adjustable t :fill-pointer 0))

给出了一个错误，我根本没有得到：

 The value                                                                       
 *Y*                                                                           
 is not of type                                                                  
 (OR (MOD 4611686018427387901) CONS NULL)                                      
 when binding SB-VM::DIMENSIONS
    [Condition of type TYPE-ERROR]

Answer 1

* 计算为最后一个计算值，也就是 that of 符号 *Y*，它是一个数组 #(2 3 55)。

但是make-array 期望它的第一个参数指定 它 创建的数组的“维度”：

制作数组 尺寸和关键元素类型初始元素初始内容
可调整的填充指针位移到位移索引偏移量

=> 新数组

参数和值：

dimensions---一个designator，用于有效数组维度的列表。

...一个列表。

（强调我的）。有些列表是nulls，有些是conses。但不是 arrays 符号。

因为它需要一个列表designator，即

一个非零原子（表示一个单例列表，其元素是那个非零原子）或一个正确的列表（表示它自己），

另一种可能性是整数。

Answer 2

关于错误消息中的mod，这是一个类型说明符：(mod 4611686018427387901) 表示“0 到 4611 之间的整数...”，大数字是array-dimension-limit。

Answer 3

CL-USER 28 > (defparameter *y* #(2 3 55))
*Y*

CL-USER 29 > *
*Y*

*的值是最后一个顶级评估结果的第一个值。

在您的情况下，该值为*y* - 一个符号。然后您调用MAKE-ARRAY 并使用该符号作为第一个参数。 MAKE-ARRAY 不需要符号 - 因此错误：

The value                                                                       
 *Y*                                                                           
 is not of type                                                                  
 (OR (MOD 4611686018427387901) CONS NULL)                                      
 when binding SB-VM::DIMENSIONS
    [Condition of type TYPE-ERROR]

错误的意思是：符号*y* 既不是数字（具有一定的最大大小）也不是列表。记住*y* 是评估* 的结果。