Common Lisp中typecase区分整数与字符串简单向量失败问题求解

问题核心原因：Common Lisp的数组元素类型升级机制 #

Common Lisp标准规定，实现不需要支持所有可能的数组元素类型，对于用户指定的元素类型，实现会自动将其升级（upgrade） 到最接近的、原生支持的存储类型，该机制是你遇到匹配问题的根本原因：

• 对于bit、double-float这类类型，标准要求所有Common Lisp实现必须提供对应的专用数组存储类型，因此你定义的simple-double-float-vector、内置的bit-vector都可以正常被typecase识别。
• 对于integer、string这类类型，绝大多数主流Common Lisp实现（如SBCL、CCL）都没有提供对应的专用数组存储类型，会统一将这两个元素类型升级为t，即可以存储任意类型对象的simple-vector。
  这就导致你代码中(simple-array string (*))和(simple-array integer (*))两个类型声明，实际对应的运行时数组类型完全一致，都是(simple-array t (*))。而typecase匹配是按分支顺序生效的，你把string的分支写在了integer前面，所以不管是装整数还是装字符串的一维简单数组，都会命中第一个匹配的string分支，就出现了#(1 2 3)被识别为字符串数组的问题。
• coerce操作不符合预期也是同一个原因：你指定的integer、string元素类型会被自动升级为t，最终返回的都是simple-vector，类型输出自然完全相同。

如果需要区分存储不同元素的simple-vector，不能依赖typecase直接匹配数组类型，需要额外对数组内的元素类型做校验：比如匹配到simple-vector后，检查所有元素是否都符合integerp或者stringp的判断条件，再执行对应的分支逻辑。

内容的提问来源于stack exchange，提问作者CL-USER