泛型

出自阿里java编程规范

1.定义:

JDK5.0后,Java提供了泛型。

泛型是一种在编译时提供类型安全的方式,允许程序员在定义类、接口和方法时使用类型参数。这样,可以在不损失类型安全的情况下,创建可重用的代码。

泛型有两种主要的使用形式:类型参数(如 T)和通配符(如 ?)。

T通常用作类型参数的占位符。比如:泛型方法的语法包括一个包含在尖括号内的类型参数列表,并将它置于方法的返回类型之前。

?通配符主要用于泛型方法的参数和泛型类的字段,以及泛型集合的声明中。

通配符分为3种,分别为:

1)上界通配符:List<? extends Number>

可以读取容器内的元素。由于容器的具体类型未知,如果往容器添加元素,无法确保添加进去的具体数据是该容器具体类型的子类还是父类,因此存在类型不安全问题,所以是不允许往容器里添加数据的。

2)无界通配符:List<?>

3)下界通配符:List<? super Number>

可以读取也可以写入元素。

2.使用范围:

1)T 用作声明类的类型参数、方法(包括静态泛型方法、非静态泛型方法、泛型构造函数,但类型参数仅限于方法内使用)的类型参数。

2)? 通配符用作 参数类型、字段类型、局部变量类型及返回类型。

通配符在PECS(Producer Extends Consumer Super)原则中非常有用,该原则指出当你从一个泛型集合中获取对象时(生产者),应该使用上界通配符,当你向泛型集合中插入对象时(消费者),应该使用下界通配符。

通配符,一般是用于定义一个引用变量,以便实现"多态"调用(非真正意义上的多态)。例如

//以下是正确的代码:

public static void main(String[] args) {

List<String> sList = new ArrayList<String>();

List<Integer> iList = new ArrayList<Integer>();

sList.add("abc");

iList.add(10000);

dump(sList);

dump(iList);

}

public static void dump(List<?> list) {

for (Object o : list) {

System.out.println(o);

}

}

通常我们使用 ? 的时候并不知道也不关心这个时候的类型,只想使用其通用的方法,而且 ? 通配符是无法作用于声明类的类型参数,一般作用于方法和参数上。而 类型变量 T 在类定义时具有更广泛的应用。

在某些程度的使用上 ? 通配符与 T 参数类型是可以等效的,但是 T 参数类型并不支持下界限制, 即 T super AClass 而 通配符支持下界限制 ? super AClass,即:使用super限定父集的时候,T 不可以,? 可以。

T和?两者都可以通过extends来限定一个类型的子集,但是 T 可以 List<T extends Number & AInterface> 限定为多重限定,? 不可以。

使用T时,Java的类型参数支持多重限定,如 <T extends CharSequence & Comparable<T>,但如果类型参数中包含类,则需要将类参数类型写在最前面。

如果你想写一个通用的方法且该方法的逻辑不关心类型那么就用 ? 通配符来进行适配,如果你需要作用域类型(这可能在操作通用数组类型时更有用)或者声明类的类型参数时请使用 T 类型变量。

//以下是错误的用法(编译错误:通配符不能用在创建对象上):

ArrayList<?> list = new ArrayList<?>();

//以下是错误的用法(List<T>在实例化的时候T要替换成具体的类):

List<T> t = new ArrayList<T>();

类型参数T和通配符?可以混合使用,例如以下为一个接受泛型集合并返回其中最大元素的方法:

public static <T extends Comparable<T>> T max(Collection<? extends T> collection) {

T maxElement = null;

for (T element : collection) {

if (maxElement == null || element.compareTo(maxElement) > 0) {

maxElement = element;

}

}

return maxElement;

}

3.总结:

当对通用的对象类型进行操作时,使用 Object的缺点为:无法对 Object 编译时进行检查,因为 Object 是所有类的父类。

? 表示了集合[所有Java类型,包括String,Integer,Character等系统定义的,或者用户定义的类型]这个整体;而 T 表示了集合[所有Java类型,包括String,Integer,Character等系统定义的,或者用户定义的类型]中的一个成员。

当Integer类是Number类的子类时,List<? extends Integer>是List<? extends Number>的子类,而List<Integer>不是List<Number>类的子类。

可以向 List<Object> 中插入 Object 对象或者其子类对象,但只能向 List<?> 中插入 null 值,因为List<?>无法确定插入的元素的类型,而null是所有类型的成员。

类型参数写成全大写的有意义的单词是更具可读性的方式。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 219,110评论 6 508
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 93,443评论 3 395
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 165,474评论 0 356
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,881评论 1 295
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,902评论 6 392
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,698评论 1 305
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,418评论 3 419
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,332评论 0 276
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,796评论 1 316
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,968评论 3 337
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 40,110评论 1 351
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,792评论 5 346
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,455评论 3 331
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 32,003评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 33,130评论 1 272
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 48,348评论 3 373
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 45,047评论 2 355

推荐阅读更多精彩内容