common-lisp - Common Lisp 调用 deftype 方法
问题描述
我无法使这个工作。我正在使用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))
我已经检查了各种在线资源,甚至是这个网站上的相关问题。
解决方案
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
请注意,正如您从上一个示例中看到的那样,仅针对列表的第一级检查类型。
推荐阅读
- sql - MS Access SQL - 删除没有不同/分组的重复项
- java - 如何在 Java 中实现可通过列名和行号访问的可变大小表?
- javascript - 尝试使用数组中的信息进行绘制
- docusignapi - DocuSign API 可以读取历史状态吗?
- css - 有没有办法在 Draw2D 驱动的画布上拥有 iframe 元素?
- python - 如何使用python证明两条线段在autocad中是否相交
- javascript - 我可以用新的 chrome 运行 cypress 吗?
- excel-formula - 确定一个范围内唯一递增值的数量
- javascript - 通过 javascript 从 MySQL 数据库中读取数据并相应地更改收音机的 prop
- c# - 如何使用 C# 驱动程序从现有的索引定义创建 Mongo 索引定义?