java 范式 问号_java泛型--问号？和T或E或K或V的区别

所谓泛型，就是在定义类、接口、方法、参数或成员变量的时候，指定它们操作对象的类型为通用类型。

使用 尖括号 <> 操作符 (The diamond operator )表示泛型, 尖括号内可以放置大写字母 (代表一个未知类型) 或问号 ? (代表若干个类型)作为参数。比如，习惯上选择以下字母代表某种类型：

T 意味某种类型

E 意味 链表、数组里的元素，如List list 表示 list 里的元素。

K意味map(k,v) 里的键值 Key

V 意味 返回或映射的值。

然而，泛型的运用要受到如下限制 ：

不能使用基本类型的类型参数，可以使用其包装类型代替。

不能实例化泛型对象或数组，如：

T t = new T();  T[] a=new T

;

5,. 不能使用泛型数组，如：

import java.util.*;

public class Test{

public static void main(String args[]){ List arr[] = new ArrayList[5]; } }

D:\java\test\OS_China\generic>javac Test.java

Test.java:5: 错误: 创建泛型数组

List arr[] = new ArrayList[5]; ^ 1 个错误

论点：

上限通配符  extends  U> 可以代表这个未知类型 U，或者 通过关键字 extends 所能想象出的 U 类的任何一个子类。同样，下限通配符  super  L> 可以代表这个未知类型 L，或者 通过关键字 super 所能想象出的 L类的任何一个超类。

这里分别以多个接口 interface 和 多个类 class 为基础， 创建 继承关系。

并以通过编译的代码, 证明以上论点成立。

/* super T> 与 extends T> 的区别，

* T 代表一个给定的接口

* */

import java.util.*;

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{} public class UP_Interface { public static void main(String args[]){ /******************************************** * 此处 extends 表示 有上界的统配符 ?，上界为 C2 * 由此定义的引用 listUpper可以作为 * 接下来的 7 种 子泛型类型的 ArrayList 的引用来使用。 **********************************************/ List extends C2> listUpper;//上界统配符 ?， 上界为 C2 listUpper=new ArrayList();//能存储 C2 D1 D2 E1 E2 E3 E4 listUpper=new ArrayList();//能存储 D1 E1 E2 listUpper=new ArrayList();//能存储 D2 E3 E4 listUpper=new ArrayList();//能存储 E1 listUpper=new ArrayList();//能存储 E2 listUpper=new ArrayList();//能存储 E3 listUpper=new ArrayList();//能存储 E4 /************************************************* * super 表示有下界的统配符 ? ，下界为 C2 ， * 由此定义的引用 listLower 可以作为 * 接下来的 7 种 子泛型类型的 ArrayList 的引用来使用。 ***************************************************/ List super C2> listLower; listLower=new ArrayList(); //能存储 A1 B1 B2 C1 C2 D1 D2 E1 E2 E3 E4 listLower=new ArrayList(); //能存储 A2 B2 C1 C2 D1 D2 E1 E2 E3 E4 listLower=new ArrayList(); //能存储 A3 B3 C2 C3 D1 D2 E1 E2 E3 E4 listLower=new ArrayList(); //能存储 A4 B3 B4 C2 C3 D1 D2 E1 E2 E3 E4 listLower=new ArrayList(); //能存储 B2 C1 C2 D1 D2 E1 E2 E3 E4 listLower=new ArrayList(); //能存储 B3 C2 C3 D1 D2 E1 E2 E3 E4 listLower=new ArrayList();// 能存储 C2 D1 D2 E1 E2 E3 E4 } }

/* super T> 与 extends T> 的区别，

* T 代表一个给定的类

* */

import java.util.*;

class A1{} class A2{} class A3{} class A4{} class B1 extends A1{} class B2 extends A1{} class B3 extends A3{} class B4 extends A4{} class C1 extends B2{} class C2 extends B2{} class C3 extends B3{} class D1 extends C1{} class D2 extends C2{} class E1 extends D1{} class E2 extends D1{} class E3 extends D2{} class E4 extends D2{} public class UP_Class{ public static void main(String args[]){ /******************************************** * 此处 extends 表示 有上界的统配符 ?，上界为 C2 * 由此定义的引用 listUpper可以作为 * 接下来的 7 种 子泛型类型的 ArrayList 的引用来使用。 **********************************************/ List extends C2> listUpper;//统配符 ? 的上界为 C2 listUpper=new ArrayList();//能存储 C2 D2 E3 E4 listUpper=new ArrayList();//能存储 D2 E3 E4 listUpper=new ArrayList(); listUpper=new ArrayList(); /************************************************* * super 表示有下界的统配符 ? ，下界为 C2 ， * 由此定义的引用 listLower 可以作为 * 接下来的 7 种 子泛型类型的 ArrayList 的引用来使用。 ***************************************************/ List super C2> listLower; listLower=new ArrayList(); //能存储 A1 B1 B2 C1 C2 D1 D2 E1 E2 E3 E4 listLower=new ArrayList(); //能存储 B2 C1 C2 D1 D2 E1 E2 E3 E4 listLower=new ArrayList();// 能存储 D2 E3 E4 } }