Thinking In Java 第15章 泛型


date: 2016-09-04 23:00
status: public
tags:[Thinking In Java]
title: 'Thinking In Java 第15章 泛型'


本文发表于KuTear's Blog,转载请注明

元组

public class TwoTuple<A,B> {
    public final A first;
    public final B second;
    public TwoTuple(A a, B b){first = a; second = b;}
}

泛型接口

public interface Generator<T>{
    T next();
}

泛型方法

public <T> void function(T i){ //将泛型参数列表置于返回类型之前
} 

泛型类

public class Generator<T>{
    private T mVar;
    public void set(T var){
      this.mVar = var;
    }
    public T get(){
      return mVar;
    }
}

擦除

java中泛型擦除的原因

假设某个应用程序具有两个类库 X/Y,并且 Y 还要使用类库 Z。随着 Java SE5的出现,这个应用程序和这些类库的创建者最终可能希望迁移到泛型上。但是,迁移是个大工程,不能为了迁移而迁移。所以,为了实现迁移兼容性,每个类库和应用程序都必须与其他所有的部分是否使用了泛型无关。这样,它们不能拥有探测其他类库是否使用了泛型的能信。因此,某个特定的类库使用了泛型这样的证据必须被“擦除”。试想,如果没有某种类型的迁移途径,所有已经构建了很长时间的类库就需要与希望迁移到 Java 泛型的开发者们说再见了。正因为类库对于编程语言极其重要,所以这不是一种可以接受的代价。擦除是否是最佳的或者唯一的迁移途径,还需要时间来检验。

在泛型代码内部,无法获得任何有关泛型参数类型的信息。
Java泛型是使用擦除来实现的,这意味着当你在使用泛型时,任何具体的类型信息都被擦除了,你唯一知道的就是你在使用一个对象。因此List< String >和List< Integer >在运行时事实上是相同的类型。

List<Integer> intList = new ArrayList<>();
List<String> stringList = new ArrayList<>();
System.out.println(intList.getClass() == stringList.getClass()); //true

既然泛型类的内部持有类型被抹掉,那么为什么我们在调用Generator#get()的时候还能够得到它所持有的具体类型呢?下面就看看是如何实现的。

擦除的补偿

Java泛型在instanceof、创建类型实例,创建数组、转型时都会有问题。有时必须通过引入类型标签(即你的类型的Class对象)进行补偿。使用动态的isInstance()方法,而不是instanceof。

public class _15_GenericHolder<T> {
    private T obj;

    public void set(T obj) {
        this.obj = obj;
    }

    public T get() {
        return obj;
    }

    public static void main(String[] args) {
        _15_GenericHolder<String> holder = new _15_GenericHolder<String>();
        holder.set("Item");
        // 这里没有转型了,但是我们知道传递给 set()的值在编译期还是会接受检查
        String s = holder.get();
    }
}

// 反编译:
public class Chapter15._15_GenericHolder<T> {
  public Chapter15._15_GenericHolder();
    Code:
       0: aload_0
       1: invokespecial #12                 // Method java/lang/Object."<init>":()V
       4: return

  public void set(T);
    Code:
       0: aload_0
       1: aload_1
       2: putfield      #23                 // Field obj:Ljava/lang/Object;
       5: return

  public T get();
    Code:
       0: aload_0
       1: getfield      #23                 // Field obj:Ljava/lang/Object;
       4: areturn

  public static void main(java.lang.String[]);
    Code:
       0: new           #1                  // class Chapter15/_15_GenericHolder
       3: dup
       4: invokespecial #30                 // Method "<init>":()V
       7: astore_1
       8: aload_1
       9: ldc           #31                 // String Item
      11: invokevirtual #33                 // Method set:(Ljava/lang/Object;)V
      14: aload_1
      15: invokevirtual #35                 // Method get:()Ljava/lang/Object;
      18: checkcast     #37                 // class java/lang/String
      21: astore_2
      22: return
}

上面的代码中可以在main的18行看见,有一次类型的强转,这是通过编译器实现的,也就是说当我们编译的时候代码其实就已经对它指定了返回类型,而不是在运行时判断返回类型。
我们知道,实际的持有对象已经向上转型成为Object,也就是说我们的泛型只能使用Object的方法,而不能获取到真正的持有类的方法,于是,擦除边界就诞生了。

public class Base{
  public void func(){
     System.out.println(“This is Base”);
  }
}

public class Holder<T extends Base>{
  T mVar;
  public void set(T var){
    this.mVar = var;
  }
  public func(){
    this.mVar.func();
  }
}

通过这样,我们的持有类型其实就由原本的Object变为了Base,这样我们就可以调用Base中的方法。同时还可以extends多个接口。

interface Animal{
    public void speek();
}
interface Fish{
    public void bubble();
}
class GoldenFish implements Animal, Fish{
    @Override
    public void bubble() {
        System.out.println("O。.");
    }
    @Override
    public void speek() {
        System.out.println("wow~");
    }
}
class HoldItem<T>{
    T item;
    HoldItem(T item){ this.item = item; }
    T getItem() { return item; }
}
class Item1<T extends Animal & Fish> extends HoldItem<T>{
    Item1(T item){ super(item); }
    public void doSomething(){
        item.speek();
        item.bubble();
    }
}

这里的Item的持有对象必须是AnimalFish
为了在泛型类中能够判断类型,可以引入类型标签.

class ClassTypeCapture<T> {
    Class<T> kind;
    public ClassTypeCapture(Class<T> kind){
        this.kind = kind;
    }
    public boolean f(Object arg){
        return kind.isInstance(arg);
    }
    public static void main(String[] args){
        ClassTypeCapture<String> ctc = new ClassTypeCapture<String>(String.class);
        System.out.println(ctc.f("art")); // true
        System.out.println(ctc.f(1));  // false
    }
}

泛型数组

public class ArrayItem<T>{};
public class Demo{
  private ArrayItem<Integer> array;
  public Demo(int size){
    //this.array = (ArrayItem<Integer>[])new Object[size];//运行时错误:ClassCastException
    this.array = (ArrayItem<Integer>[])new ArrayItem[size];
  }
}

成功创建泛型数组的唯一方式就是创建一个被擦除类型的新数组,然后对其转型。

参考

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

推荐阅读更多精彩内容