lisp-在访问控制模型中销毁obj时，“car: contract violation expected: pair? given：()”
在Lisp中，当你尝试对一个空列表（()）执行car操作时，会出现“contract violation expected: pair? given: ()”的错误。这是因为car函数期望其参数是一个非空列表（即一个pair），而空列表不是一个pair。
以下是一些可能导致这个错误的常见情况和解决方法：
情况1：尝试对空列表使用car
(car ()) ; 错误：contract violation expected: pair? given: ()解决方法：
确保在调用car之前检查列表是否为空。
(if (not (null list))
(car list)
nil) ; 或者其他适当的默认值情况2：在销毁对象时访问其属性
假设你有一个对象表示为一个列表，其中第一个元素是对象的类型，后续元素是属性。
(defstruct my-object type data)
(defvar *obj* (make-my-object :type 'example :data (list 1 2 3)))如果你在销毁对象时尝试访问其属性，但没有正确检查对象是否存在，可能会导致这个错误。
(defun destroy-object (obj)
(when obj
(setf *obj* nil)
(car (my-object-data obj)))) ; 错误：如果*obj*已经被设置为nil，这里会出错解决方法： 确保在访问对象属性之前检查对象是否存在。
(defun destroy-object (obj)
(when obj
(let ((data (my-object-data obj)))
(setf *obj* nil)
data)))情况3：递归函数中的空列表处理
如果你在递归函数中处理列表，并且在某个点上列表变为空，但没有正确处理这种情况，也会导致这个错误。
(defun process-list (lst)
(if (null lst)
nil
(cons (car lst) (process-list (cdr lst))))) ; 如果lst在某个点是()，这里会出错解决方法： 确保在递归调用之前检查列表是否为空。
(defun process-list (lst)
(if (null lst)
nil
(cons (car lst) (process-list (cdr lst)))))总结
关键是要始终检查列表是否为空，特别是在进行car操作之前。通过添加适当的检查和默认值，可以避免“contract violation expected: pair? given: ()”错误。
相关·内容
编写一个过程来销毁我的访问控制模型中的一个对象，并模拟每种情况。这是我的代码。o1 Obj) destroy-Obj Obj (cdr matrix)]
[else (cons (car matrix) (destroy-Obj Obj (cdr matrix)))])][else (cons (car matrix) (destroy-Obj Ob
浏览 6提问于2017-08-27得票数 0
3回答
树深度:违反car/cdr合同
、、、、
max (depth (cadr tree))不过，我无法对其进行测试，因为我总是收到一个运行时错误，说明违反了car具体地说，当我尝试它应该返回1，我遇到了： expected: list?given: 2
无论我做什么，问题都会一直存在，并且不允许我更改测试用例来修复问题。我相信这很简单，但是有人能帮我理解一下吗
浏览 2提问于2018-02-13得票数 1
1回答
我正在尝试传递一个列表输入到对话中，并让函数检查另一个列表(关键字)中的第一个元素是否与用户传入的列表中的第一个元素匹配。如果两者匹配，则输出零，否则递归地将输入列表的尾部传递回其自身。(car keyword) (car input)) 0)我得到的错误是：
car: contract violationexpected: pair</em
浏览 0提问于2017-04-30得票数 0
2回答
(pair?item] ;; if nth = 1 and there is no more list to add after, return item结果应该是：相反，我得到了一个错误，关于在第一个条件中传入不是对的东西，即使我在开始时有一个and语句来检查它是否是对的cdr: contract <e
浏览 0提问于2016-02-21得票数 0
1回答
我在Scheme中练习递归。attrs_derv) '(wasDerivedFrom der e1 e2 (prov:type "Revision")))car: contract violationexpected: pair?given: '()((?der . der)(?e2 . e2)
(?attrs_derv (
浏览 0提问于2013-11-28得票数 1
回答已采纳
我第一次在球拍中使用向量。通常，我使用列表。 下面的现象引起了我的兴趣。如果我使用'#‘符号调用REPL中的表达式，我会得到： > (vector?(define (aux val vec counter) [(not (pair(vector-ref vec counter))) (aux val vec (+ 1 counter))]
[(= val (car (
浏览 13提问于2021-03-24得票数 0
回答已采纳
1回答
声明：
(car new)))))(put (list 'a 'b 'c) 'hello)
(put (list 'a 'b) 'hi) ; Or (put (list 'a
浏览 1提问于2015-09-20得票数 1
回答已采纳
3回答
球拍-建立内置的会员功能
、、、
在球拍中，有一个名为“成员”的bult-in函数，它检查某个元素是否在列表中。(car lista) num) (cdr lista))>(member-mine '(6 7 8) 8)>(member-mine '(8) 8)问题是当我调用一个不在列表中的元素时: contract<
浏览 5提问于2016-10-12得票数 1
回答已采纳
1回答
(5 . (6 . 2)) (5 . (5 . 1))))问题是，我做了一个递归函数，它在递归的第一次迭代中爆炸。(+ B (car (car scores))))输出：
浏览 3提问于2016-11-22得票数 0
回答已采纳
我尝试将列表中的第一个原子与列表中的其他原子进行比较，因此如果第一个原子为3，第三个原子为3，我会将其求值为false。(car a_list) (car (cdr a_list)))) (doubles(cdr a_list)))
我有一种感觉，这只会检查彼此相邻的原子，而不是一个原子和其他原子。
浏览 1提问于2014-11-21得票数 0
3回答
我正在尝试创建一个函数，该函数模仿car和cdr的"adda“行为，可以传递'a's和'd's的任何字符串。其思想是返回一个函数，然后在下面的列表上执行该函数。对该函数的调用可能如下所示：我已经逐步建立了我认为它应该工作的地方，首先通过创建一个letrec来返回正确的car和cdr字符串。然后在定义中将letrec的身体移动到lambda的身体上。#\a (string-ref cmdString 0)) (list (quote
浏览 3提问于2016-05-11得票数 1
回答已采纳
3回答
我试图编写一个函数，该函数创建fibonacci序列的列表，但当在列表中找到某个值时停止，然后返回该列表(我希望这是有意义的)。n (car fs)) fs)我的主要问题是找出列表中是否有一个元素，因为目前我在试图编写错误说：
mcar:
浏览 1提问于2018-08-24得票数 1
回答已采纳
public Base Parent { get; set; }我正在尝试创建一个CustomCreationConverter，以便使用Parent将每个对象的Parent属性设置为JSON输入中的父节点我宁愿不必在创建之后遍历对象来设置Parent属性。{ "Children": [
{ "Name": "Sam", "FavouriteToy"
浏览 30提问于2015-06-11得票数 3
我可以使用ASP.NET 3.5中的任何可用内容，也可以使用流行的Json.NET (我已经使用它来将序列化为客户机)。
浏览 20提问于2009-07-30得票数 817
回答已采纳
云服务器
ICP备案
云直播
对象存储
实时音视频
腾讯云开发者
