Common Lisp：如何检查某一对象是否为类型说明符？

哎，这个问题确实戳中了Common Lisp标准里的一个小空白——确实没有专门的内置谓词来直接判断一个对象是不是合法的类型说明符。你提到的typep传入非类型说明符时行为未定义，check-type也不会抛出异常，这点完全没错，标准里确实是这么规定的。

不过我们可以自己实现一个近似的检查函数，利用大多数CL实现对非法类型说明符的报错行为来做判断，比如：

(defun valid-type-specifier-p (obj)
  (handler-case
      ;; 尝试用typep检查任意值（这里用nil）是否属于该类型
      (progn (typep nil obj) t)
    ;; 如果触发错误，说明obj不是合法的类型说明符
    (error () nil)))

注意事项： #

• 这个方法依赖于具体实现的行为：因为标准没规定非法类型说明符必须报错，所以少数极端实现可能不会触发错误，导致误判，但在SBCL、CCL、CLISP这些主流实现里都能正常工作。
• check-type之所以不能用，是因为它的设计目标是类型断言，而非类型说明符合法性检查——即使你传了非法的类型说明符，它的行为也是未定义的，不会可靠地给出反馈。

如果需要更严谨的检查，你还可以尝试解析类型说明符的语法（比如判断是不是符号、列表是否符合类型构造器的格式等），但这种方法需要覆盖所有CL标准支持的类型说明符格式，工作量很大，而且还要考虑实现扩展的类型，实用性不如上面的handler-case方案。

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