Java7交集类型:规范到底说了什么?
Java7交集类型:规范到底说了什么?,java,types,java-7,intersection,jls,Java,Types,Java 7,Intersection,Jls,对于每个Ti(1≤ 我≤ n) ,让Ci成为最具体的类或数组类型,这样Ti您似乎会混淆是的,对,我忘了我会认为像A这样的东西不会编译(字符串是最终的,不实现列表),但它仍然在jdk 8上编译。所以我不确定…@assylias我认为这是编译的,因为Object是String和List的超类型,并且总是存在一个类Ck,它是Object的子类型 public interface I1 {} public interface J1 extends I1 {} public interface J2 {}
- 对于每个Ti(1≤ 我≤ n) ,让Ci成为最具体的类或数组类型,这样Ti您似乎会混淆
是的,对,我忘了我会认为像
这样的东西不会编译(字符串是最终的,不实现列表),但它仍然在jdk 8上编译。所以我不确定…@assylias我认为这是编译的,因为Object是String和List的超类型,并且总是存在一个类Ck,它是Object的子类型A
public interface I1 {} public interface J1 extends I1 {} public interface J2 {} public interface J3 extends J2 {} class C implements J1, J3 {} public class A<T extends J1 & J3> { public static void main(String[] args) { A<C> a = new A<>(); } }