泛型

staticABVget(ABVstring,Alibabaalibaba) {

string.toString();

returnstring;

}

public static voidmain(String[] args) {

String first ="222";

Long second =333L;

String result =get(first,second);

System.out.println(result);

}

一个泛型使用场景的例子,最后get方法中的两个参数与返回值都变成了Object类型,这也就是所谓的类型擦除。 返回值的Object根据传入的first类型强转成了String(传入的是什么类型,返回的就是什么类型,不用担心会抛出ClassCastException异常)

泛型的好处包括:

类型安全。放置的是什么,取出来的自然是什么,不用担心会抛出ClassCastException异常。

提升可读性。从编码阶段就显式地知道泛型集合、泛型方法等处理的对象类型是什么。

代码重用。泛型合并了同类型的处理代码,使代码重用度变高。

集合与泛型

List<T>最大的问题是只能放置一种类型。如果需要放置多种受泛型约束的类型要怎么办呢?<? extends T>与<? super T>应运而生,简单来说,<? extends T>是Get first适用于消费集合元素为主的场景,<? super T>则是put first,适用于生产集合元素为主的场景,如何理解呢,请看下面的例子:




当使用<? extends T>这种语法时,系统无法得知具体的类型究竟是什么,比如说我add了一个Apple对象,那么当这个List是Orange的集合时就不对了,因为fruit的子类可以有很多,当没有指定具体类型时你没法add,当然,null可以代表任何类型,add(null)没问题。

再来看看get的情况,因为List的上限是Fruit,所以不管取什么值出来都能赋值给父类Fruit。




当使用<? super T>时,系统虽然也不知道具体是什么,但是知道有个下限,就是Apple,所以只要是Apple后者它的子类都可以添加到集合中,Fruit已经超过了下限Apple,所以无法加入,当然,null可以是任何类的子类,所以add(null)依然没问题,取出的时候呢?因为没有规定上限,所以

你不知道取出来的元素应该赋值给谁,所以无法get,

这也就应对了上文所说的“<? extends T>是Get first适用于消费集合元素为主的场景,<? super T>则是put first,适用于生产集合元素为主的场景”

《Effective Java》给出精炼的描述:producer-extends, consumer-super(PECS)

频繁往外读取内容的,适合用上界Extends。

经常往里插入的,适合用下界Super。

源码中也有不少这样的设计:


copy方法限制了拷贝源src必须是T或者是它的子类,而拷贝目的地dest必须是T或者是它的父类,也就是说src是dest的子类才行,这样就保证了类型的合法性。



协变逆变与不变

逆变与协变用来描述类型转换(type transformation)后的继承关系,其定义:如果A、B表示类型,f(⋅)表示类型转换,≤表示继承关系(比如,A≤B表示A是由B派生出来的子类)

f(⋅)是逆变(contravariant)的,当A≤B时有f(B)≤f(A)成立;

f(⋅)是协变(covariant)的,当A≤B时有f(A)≤f(B)成立;

f(⋅)是不变(invariant)的,当A≤B时上述两个式子均不成立,即f(A)与f(B)相互之间没有继承关系。

概念太抽象,下面分别举例说明:

泛型

令f(A)=ArrayList,那么f(⋅)是逆变、协变还是不变的呢?如果是逆变,则ArrayList是ArrayList的父类型;如果是协变,则ArrayList是ArrayList的子类型;如果是不变,二者没有相互继承关系。ArrayList<Number> list =new ArrayList<Integer>();这句话在编译期间就报错了,这说明A B没有继承关系,则说明泛型是不变的。 (泛型没有内建的协变类型。在使用泛型时,类型信息在编译期被擦除了,也就是Integer是Number的子类这个关系在编译的时候没了,运行时也就无从检查。因此,泛型将这种错误检测移入到编译期。)

数组

令f(A)=[]A,容易证明数组是协变的:

Number[] numbers = new Integer[3];

这是因为数组在语言中是完全定义的,因此内建了编译期和运行时的检查,这点跟上面的集合是有本质区别的。

方法

用一句大白话解释就是:方法的形参是协变的、返回值是逆变的,看下面的例子:

static Number method(Number num) {

    return 1;

}

Object result = method(new Integer(2)); //correct 形参是子类ok所以是协变的,返回值是父类ok,所以是逆变的。

Number result = method(new Object()); //error

Integer result = method(new Integer(2)); //error

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

推荐阅读更多精彩内容

  • 本文大量参考Thinking in java(解析,填充)。 定义:多态算是一种泛化机制,解决了一部分可以应用于多...
    谷歌清洁工阅读 462评论 0 2
  • 泛型 泛型(Generic Type)简介 通常情况的类和函数,我们只需要使用具体的类型即可:要么是基本类型,要么...
    Tenderness4阅读 1,419评论 4 2
  • 第8章 泛型 通常情况的类和函数,我们只需要使用具体的类型即可:要么是基本类型,要么是自定义的类。但是在集合类的场...
    光剑书架上的书阅读 2,150评论 6 10
  • 乳房作为女性的第二特征,是女性美的象征。为此,很多年轻妈妈担心给宝宝喂奶后,乳房变小或变型而不愿给宝宝喂母乳,直接...
    骆长珊阅读 2,671评论 0 1
  • isTranslucent 设置navigationBar是否半透明,默认为True。当isTranslucent...
    Paxton_阅读 791评论 0 0