我对JLS第3版和推理机制有疑问.第15.12.2.7节规定:
如果F = U [],其中类型U涉及Tj,那么如果A是数组类型V [],或者类型变量的上限是数组类型V []
我尝试创建一个数组类型上限的类型变量,但编译器似乎不接受这一点.就像是:
public class MyClass<T extends String []> {
}
我的问题是:这个片段中的JLS是错误的,还是我错过了什么？句子的最后一部分似乎对我不满意.
谢谢