为何directSupertypes处理Object[]时返回仅含两个边界的交集类型？

1. 为什么Object出现在toString输出中却不在交集类型边界里？ #

编译器内部对数组的直接超类型做了优化表示：当交集类型包含Object和多个接口时，Object会被作为交集的隐式顶层类型，不会显式加入到交集的边界列表中。但toString()方法为了贴合开发者对数组类型的认知（数组确实继承自Object），会主动把Object补充到输出字符串里，这只是展示层面的友好处理，不代表实际的类型边界结构。

2. 为什么没有返回三个直接超类型？ #

Types.directSupertypes的实现采用了合并表示的策略：数组类型同时是Object的子类、Cloneable和Serializable的实现类，这种“单类父类+多接口”的直接超类型集合，被编译器封装成一个交集类型返回，而非拆分成三个独立的TypeMirror。这种优化是合理的，因为数组的这三个直接超类型是同时生效的，用交集类型能准确表达“数组类型同时属于这三个类型”的语义。

3. 为什么看起来不符合JLS规则？ #

其实完全符合JLS的定义。JLS第4.10.3节规定的是数组类型在语义上的直接超类型关系（Object、Cloneable、Serializable都是它的直接超类型），而Types.directSupertypes的返回是编译器对这种语义的具体实现形式——用交集类型统一封装这三个超类型的集合，语义上和JLS规则完全一致，只是表现形式不同。JLS是语言的逻辑规范，API返回是实现层面的优化，二者并不冲突。

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