types - 通用 Lisp : How to check if something is a type specifier?

Question

我一直无法找到任何内置方法来检查某些内容是否是有效的类型说明符。

这样的谓词存在吗？

(我会自己做一个，但唉，将不是类型说明符的东西传递给 typep 的后果是不确定的。根据 hyperspec，check-type 没有异常情况。)

Answer 1

您可以使用 Tomohiro Matsuyama 的 trivial-types system (LLGPL)，其中定义了一些特定于实现的谓词的包装器:

(defun type-specifier-p (type-specifier)
  "Returns true if TYPE-SPECIFIER is a valid type specfiier."
  (or (documentation type-specifier 'type)
      #+sbcl (sb-ext:valid-type-specifier-p type-specifier)
      #+openmcl (ccl:type-specifier-p type-specifier)
      #+ecl (c::valid-type-specifier type-specifier)))