Common Lisp 调用 deftype 方法

Question

我无法进行此操作。我正在使用deftype SameType(x y) 方法定义一个谓词，该方法评估列表 x 和列表 y 的元素是否属于同一类型并位于同一位置。当我尝试调用谓词进行测试时，问题就来了。我收到一个错误ERROR: SameType is undefined 这是我的代码：

(deftype SameType (x y)
`(cond 
    ((and (null x) (null y) T))
    (
        (and (numberp (car x)) (numberp (car y)))
        (SameType (cdr x) (cdr y) )
    )
    (
        (and (stringp (car x)) (stringp (car y)))
        (SameType (cdr x) (cdr y) )
    )
    (
        (and (atom (car x)) (atom (car y)))
        (SameType (cdr x) (cdr y) )
    )
    (T nil)
)

)

这就是我的称呼

(SameType '(A B C 1 2 4 A) '('() G 2 5 6 A B))

我已经查看了各种在线资源，甚至是本网站上的相关问题。

Answer 1

deftype 可用于定义类型，而不是谓词。例如，要定义仅使用整数的列表类型，您可以编写如下内容：

(defun intlistp (l)
  "predicate to check if l is a list consisting only of integers"
  (and (listp l)               ; l is a list and
       (every #'integerp l)))  ; every element of l is an integer

(deftype integer-list ()
  "the type of list of integers"
  `(satisfies intlistp))

然后你可以检查一个值是否满足这种类型：

CL-USER> (typep '(1 2 3) 'integer-list)
T
CL-USER> (typep '(1 2.5 3) 'integer-list)
NIL

如果你想根据你的定义检查两个列表是否具有相同的类型，那么你可以定义一个常规函数：

(defun same-type (l1 l2)
  "check if lists l1 and l2 have the same length and corresponding
   elements of the same CL type"
  (cond ((null l1)        ; if l1 is null
         (null l2))       ; returns true only if also l2 is null
        ((and (consp l1)  ; if l1 is a cons
              (consp l2)  ; and l2 is a cons too,
              (typep (car l1) (type-of (car l2)))) ; and their cars have the same CL type
         (same-type (cdr l1) (cdr l2))))) ; go recursively on their cdrs

CL-USER> (same-type '(1 a 3) '(2 b 4))
T
CL-USER> (same-type '(1 "a" 3) '(2 "b" 3))
T
CL-USER> (same-type '(1 a 3) '(2 b 4.5))
NIL
CL-USER> (same-type '(1 a 3) '(2 b 4 3))
NIL
CL-USER> (same-type '(1 2 (3 4)) '(1 6 (4 5)))
T
CL-USER> (same-type '(1 2 (3 4)) '(1 6 (4 5 6)))
T

请注意，正如您从上一个示例中看到的那样，仅针对列表的第一级检查类型。