自定义哈希表读写宏报错：从文件读取哈希表失败

核心问题根源 #

当*print-circle*设为t时，Common Lisp会为循环引用的对象生成#n=（定义标记）和#n#（引用标记）来避免无限打印。但你的自定义print-object和reader宏大概率没兼容这套循环标记机制，导致序列化内容格式混乱，读取时触发解析错误。

具体排查方向与修复方案 #

1. print-object未适配循环标记生成

如果你的print-object直接输出哈希表的键值对，没有配合系统的循环标记逻辑，生成的#H格式文本里会混入#n=/#n#标记，且这些标记没有被正确嵌入到#H的结构中，导致reader宏无法识别。

修复示例：
使用print-unreadable-object的:circle参数，或在可读打印模式下主动处理循环标记：

(defmethod print-object ((obj hash-table) stream)
  (if *print-readably*
      ;; 可读模式下，让系统处理循环标记，再包裹#H格式
      (progn
        (write-char #\# stream)
        (write-char #\H stream)
        (write-char #\( stream)
        (loop for key being the hash-keys of obj
              using (hash-value value)
              do (progn
                   (print key stream)
                   (write-char #\Space stream)
                   (print value stream)
                   (write-char #\Space stream)))
        (write-char #\) stream))
      ;; 非可读模式下，用系统自带的循环标记支持
      (print-unreadable-object (obj stream :type t :identity t :circle t))))

2. reader宏未处理循环标记解析

即使print-object生成了带正确循环标记的#H内容，自定义reader宏如果直接手动解析原子（比如用read-char逐字符处理），会把#n=/#n#当成哈希表的键或值，导致解析逻辑混乱触发错误。

修复示例：
用Lisp默认的read函数读取键值对，让系统自动处理循环标记：

(set-dispatch-macro-character #\# #\H
                              (lambda (stream char1 char2)
                                (let ((table (make-hash-table :test 'equal)))
                                  ;; 跳过#H后的左括号
                                  (read-char stream)
                                  (loop for key = (read stream nil nil t)
                                        until (eq key #\))
                                        for value = (read stream nil nil t)
                                        do (setf (gethash key table) value))
                                  table)))

这里依赖read函数原生的循环标记解析能力，避免手动处理复杂的标记格式。

3. 文件保存时的参数配置缺失

保存文件时如果只设置*print-circle*=t，但未开启*print-readably*=t，生成的内容可能包含非可读的打印格式，进一步导致读取失败。

修复示例：
保存文件时同时启用两个参数：

(with-open-file (out "hash-tree.lisp" :direction :output :if-exists :supersede)
  (let ((*print-circle* t)
        (*print-readably* t))
    (print *your-tree-with-hash-tables* out)))

总结 #

问题本质是自定义序列化逻辑没有兼容Common Lisp内置的循环引用标记机制。需要同时在print-object中正确嵌入循环标记，在reader宏中借助系统原生的read处理标记解析，再配合正确的打印参数配置，即可解决读取时的SIMPLE-ERROR。

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