CLISP中使用eql判断字符串前缀始终返回false的问题

嘿，我一眼就揪出问题所在啦！咱们一步步拆解：

核心问题：类型不匹配导致eql判断彻底失效 #

你代码里的'Is是一个Lisp符号（symbol），而(subseq response 0 2)返回的是字符串（string）。eql这个函数的特性很明确：只有当两个对象是同一类型且内容/身份完全一致时才会返回true。符号和字符串属于完全不同的类型，所以不管你输入什么内容，这个判断都会返回false！

修复步骤 #

1. 统一类型，用正确的字符串比较函数 #

把符号'Is换成字符串字面量"Is"，并且改用字符串专用的比较函数：

• 如果要严格区分大小写（只匹配开头是大写I+小写s的情况），用string=
• 如果想更友好，不区分大小写（比如输入"is"、"IS"也能匹配），用string-equal

2. 处理边界情况（避免输入过短报错） #

如果用户输入的内容不足2个字符（比如只输入"I"或者直接回车），subseq会直接抛出错误。所以我们要先判断输入字符串的长度是否足够。

修正后的完整代码 #

(defvar answer 0)
(defvar response "")
(defun question ()
  (write-line "Enter your question")
  (setq response (read-line))
  ;; 先判断长度足够，再比较开头的字符串（这里用不区分大小写的逻辑）
  (if (and (>= (length response) 2)
           (string-equal (subseq response 0 2) "Is"))
      (print "T")
      (print "nil")))

额外小提示 #

如果你想更简洁地判断字符串前缀，部分Common Lisp实现（比如SBCL）支持starts-with函数（需要加载扩展库或启用内置特性），不过上面的写法是标准Common Lisp，兼容性拉满。

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