CDI提及parameterized type时是否错误包含参数化元素类型的数组类型？

CDI文档中频繁提及参数化类型（parameterized type），这里有个疑问：CDI是否错误地将数组类型java.util.List<java.lang.String>[]视为参数化类型？答案显然是否定的——只有该数组的元素类型java.util.List<java.lang.String>才属于参数化类型。

这个疑问源于《非泛型类、原始类型和参数化类型的可分配性》章节中的一段内容（内含对错误术语用法的内嵌修正，修正部分为粗体）：

若参数化bean类型与参数化所需类型具有相同的原始类型，且对于每个对应的类型参数满足以下条件，则该参数化bean类型可分配给参数化所需类型：

• 所需类型类型参数和bean类型类型参数为非变量引用类型，具有相同的原始类型，并且，若该类型为参数化类型，则bean类型类型参数可根据这些规则递归地分配给所需类型类型参数，或者……

这段粗体内容是关键，可从两种角度分析：

1. 若“若该类型为参数化类型”（符合Java规范的正确用法）不指代java.util.List<String>[]这类数组类型，那么规则会得出错误结论：比如bean类型的类型参数java.util.List<Number>[]会被判定为可分配给所需类型的类型参数java.util.List<String>[]

   • 原因是唯一能避免这种不合理情况的数组类型“匹配”处理规则永远不会触发——该规则仅在执行“根据这些规则”的递归步骤时才会生效。

2. 若它（错误地）将java.util.List<String>[]这类数组类型纳入“参数化类型”范畴，则会带来两个问题：

   • 与《Java语言规范》的定义冲突；
   • 导致第2.4.2.4节的其他内容出现冗余。

个人解读：仅在这个特定规则场景下，“参数化类型”被错误地包含了带有参数化元素类型的数组类型，而在该规则集的其他场景中并无此问题。

修正建议：若要准确表述该条款，可改写为：“……并且，若两个类型参数中至少一个是(a)参数化类型，或(b)带有参数化元素类型的数组类型，则bean类型的类型参数可根据这些规则递归地分配给所需类型的类型参数，或者……”

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