阵列升级答案

【问题标题】：Array upgrading阵列升级
【发布时间】：2008-12-31 02:50:51
【问题描述】：

如果我正确理解 Common Lisp 标准的 Section 15.1.2.1，那么 (upgraded-array-element-type '(unsigned-byte 8)) 是 '(unsigned-byte 16) 甚至是 t 是完全合法的。因此，我的问题是关于实现的实际行为。

今天有没有升级'(unsigned-byte 8) 或'(unsigned-byte 16) 的实现？换句话说，以下是错误的：

(and (subtypep (upgraded-array-element-type '(unsigned-byte 8)) '(unsigned-byte 8))
     (subtypep (upgraded-array-element-type '(unsigned-byte 16)) '(unsigned-byte 16))

（该表达式适用于 SBCL、CLISP、Allegro CL、Clozure CL 和 LispWorks。）

【问题讨论】：

标签： lisp common-lisp

【解决方案1】：

ECL 可能不支持'(unsigned-byte 16)

【讨论】：