慕标5832272
1。延展通过写作 List<? extends C2> list;你是说list将能够引用类型的对象(例如)ArrayList其泛型类型为7之一亚型的C2 (C2包括):C2: new ArrayList<C2>();,(可存储C2或子类型的对象)或D1: new ArrayList<D1>();,(可存储D1或子类型的对象)或D2: new ArrayList<D2>();,(可以存储D2或子类型的对象)或.诸若此类。七个不同的案件: 1) new ArrayList<C2>(): can store C2 D1 D2 E1 E2 E3 E4 2) new ArrayList<D1>(): can store D1 E1 E2 3) new ArrayList<D2>(): can store D2 E3 E4 4) new ArrayList<E1>(): can store E1 5) new ArrayList<E2>(): can store E2 6) new ArrayList<E3>(): can store E3 7) new ArrayList<E4>(): can store E4 对于每一种可能的情况,我们都有一组“可存储的”类型:这里用图形表示的7组(红色)集。enter image description here正如你所看到的,没有一个安全型这在每一种情况下都是常见的:你不能list.add(new C2(){});因为它可能是list = new ArrayList<D1>();你不能list.add(new D1(){});因为它可能是list = new ArrayList<D2>();诸若此类。2。超级通过写作 List<? super C2> list;你是说list将能够引用类型的对象(例如)ArrayList其泛型类型为7之一超型的C2 (C2包括):A1: new ArrayList<A1>();,(可存储A1或子类型的对象)或A2: new ArrayList<A2>();,(可存储A2或子类型的对象)或A3: new ArrayList<A3>();,(可以存储A3或子类型的对象)或.诸若此类。七个不同的案件: 1) new ArrayList<A1>(): can store A1 B1 B2 C1 C2 D1 D2 E1 E2 E3 E4 2) new ArrayList<A2>(): can store A2 B2 C1 C2 D1 D2 E1 E2 E3 E4 3) new ArrayList<A3>(): can store A3 B3 C2 C3 D1 D2 E1 E2 E3 E4 4) new ArrayList<A4>(): can store A4 B3 B4 C2 C3 D1 D2 E1 E2 E3 E4 5) new ArrayList<B2>(): can store B2 C1 C2 D1 D2 E1 E2 E3 E4 6) new ArrayList<B3>(): can store B3 C2 C3 D1 D2 E1 E2 E3 E4 7) new ArrayList<C2>(): can store C2 D1 D2 E1 E2 E3 E4对于每一种可能的情况,我们都有一组“可存储的”类型:这里用图形表示的7组(红色)集。enter image description here如你所见,这里有七个安全类型这在每一种情况下都是常见的:C2, D1, D2, E1, E2, E3, E4.你可以的list.add(new C2(){});因为,不管我们指的是哪种名单,C2被允许你可以的list.add(new D1(){});因为,不管我们指的是哪种名单,D1被允许诸若此类。您可能注意到,这些类型对应于从类型开始的层次结构。C2.注记这里是完整的层次结构,如果您想做一些测试interface A1{}interface A2{}interface A3{}interface A4{}interface B1 extends A1{}interface B2 extends A1,A2{}interface B3 extends A3,A4{}interface B4 extends A4{}interface C1 extends B2{}interface C2 extends B2,B3{}interface C3 extends B3{}interface D1 extends C1,C2{}interface D2 extends C2{}interface E1 extends D1{}interface E2 extends D1{}interface E3 extends D2{}interface E4 extends D2{}