如何在LISP中检索哈希表信息及解决输入读取终止问题

我来帮你搞定这两个问题——程序提前终止，以及如何正确查询哈希表的键。先看一下你的代码里的核心问题，再给你修改后的完整方案：

你的代码里的关键问题 #

1. 哈希表键匹配方式错误：你创建哈希表时用了默认的eq比较逻辑，但你的键是列表（比如'(Robot Robbie)），eq只比较对象的内存地址，不比较内容。哪怕输入的列表和键内容完全一致，也会因为是不同对象而匹配失败。
2. 输入读取方式不合适：read-line读取的是纯字符串，但你的哈希表键是LISP列表结构，直接用字符串去查肯定找不到。而且在部分环境里，直接在顶层执行read-line可能出现输入等待异常，导致程序提前终止。
3. 执行流程不清晰：把逻辑散在顶层代码里，容易出现执行顺序混乱，包装成函数会更可控。

修改后的完整代码 #

;; 定义全局知识库哈希表，指定用equal比较键（因为键是列表，需要匹配内容）
(defparameter *KB* (make-hash-table :test #'equal))

;; 填充哈希表数据
(setf (gethash '(Robot Robbie) *KB*) T)
(setf (gethash '(Likes Robbie Samantha) *KB*) T)
(setf (gethash '(Dog Rover) *KB*) T)
(setf (gethash '(Bark Rover) *KB*) T)
(setf (gethash '(Likes Robbie Chocolate) *KB*) T)
(setf (gethash '(Lives Robbie California) *KB*) T)
(setf (gethash '(Likes Robbie ice-cream) *KB*) T)
(setf (gethash '(Eats Robbie petrol) *KB*) T)

(defun query-knowledge-base ()
  ;; 提示用户输入格式
  (format t "Please enter a well-formed function (e.g., (Robot Robbie)):~%")
  ;; 读取输入的LISP对象（直接解析成列表，无需字符串转换）
  (let ((user-input (read)))
    (terpri)
    ;; 用multiple-value-bind捕获gethash的两个返回值：对应的值、键是否存在
    (multiple-value-bind (value exists?) (gethash user-input *KB*)
      (if exists?
          (format t "✅ Found entry: ~a => ~a~%" user-input value)
          (format t "❌ No entry found for: ~a~%" user-input)))))

;; 调用函数启动查询流程
(query-knowledge-base)

关键修改点解释 #

• :test #'equal参数：这个设置告诉LISP用内容相等来判断键是否匹配，而不是默认的对象地址匹配，这样列表类型的键就能正确匹配了。
• 用read代替read-line：read会直接读取并解析用户输入的LISP表达式（比如你输入(Robot Robbie)，它会直接返回对应的列表），完美适配你的哈希表键类型，省去了字符串转列表的麻烦。
• 包装成函数：把输入、查询、输出逻辑封装到query-knowledge-base函数里，执行流程更清晰，在绝大多数LISP环境里都会正确等待用户输入，不会出现提前终止的问题。
• multiple-value-bind处理返回值：gethash会返回两个值：键对应的值，以及键是否存在的布尔值。用这个宏可以同时捕获这两个值，明确区分“键不存在”和“键存在但值为nil”的情况（虽然你的值都是T，但这是LISP的最佳实践）。

使用方法 #

运行这段代码后，程序会提示你输入，比如输入(Likes Robbie Chocolate)回车，就能看到找到对应条目的提示；如果输入(Cat Mimi)，则会提示找不到该条目。

内容的提问来源于stack exchange，提问作者Prinaya Choubey