Java源碼解析之TypeVariable詳解

更新時(shí)間：2017年10月26日 10:40:03 作者：青樓有罪

這篇文章主要介紹了Java源碼解析之TypeVariable詳解，具有一定參考價(jià)值，需要的朋友可以了解下。

TypeVariable，類型變量，描述類型，表示泛指任意或相關(guān)一類類型，也可以說狹義上的泛型（泛指某一類類型），一般用大寫字母作為變量，比如K、V、E等。

源碼

public interface TypeVariable<D extends GenericDeclaration> extends Type {
  //獲得泛型的上限，若未明確聲明上邊界則默認(rèn)為Object
  Type[] getBounds();
  //獲取聲明該類型變量實(shí)體(即獲得類、方法或構(gòu)造器名)
  D getGenericDeclaration();
  //獲得名稱，即K、V、E之類名稱
  String getName();
}

概述

　　說到TypeVariable<D>就不得不提起java泛型中另一個(gè)比較重要的接口對象，GenericDeclaration接口對象。該接口用來定義哪些對象上是可以聲明（定義）范型變量，所謂范型變量就是<E extends List>或者<E>, 也就是TypeVariable<D>這個(gè)接口的對應(yīng)的對象，TypeVariable<D>中的D是extends GenericDeclaration的，用來通過范型變量反向獲取擁有這個(gè)變量的GenericDeclaration。

　　目前實(shí)現(xiàn)GenericDeclaration接口的類包括Class, Method, Constructor,也就是說只能在這幾種對象上進(jìn)行范型變量的聲明（定義）。GenericDeclaration的接口方法getTypeParameters用來逐個(gè)獲取該GenericDeclaration的范型變量聲明。詳情可查看：Java源碼解析之GenericDeclaration詳解

　　類型變量的聲明（定義）：<E>，前后需加上尖括號

//1.在類（Class）上聲明（定義）類型變量
class A<T>{
  T a;
}//之后這里可用任意類型替換T，例如
A<String> as = new A<String>();
//是否看著有點(diǎn)像集合？不錯(cuò)，集合就是泛型的一個(gè)典型運(yùn)用
//2.在方法上聲明（定義）
public <E> void test(E e){}
//方法上，類型變量聲明（定義）不是在參數(shù)里邊，而且必須在返回值之前,static等修飾后
//3.聲明（定義）在構(gòu)造器上
public <K> A(K k){}

【注意】類型變量聲明（定義）的時(shí)候不能有下限（既不能有super），否則編譯報(bào)錯(cuò)。為什么？T extends classA表示泛型有上限classA，當(dāng)然可以，因?yàn)檫@樣，每一個(gè)傳進(jìn)來的類型必定是classA（具有classA的一切屬性和方法），但若是T super classA，傳進(jìn)來的類型不一定具有classA的屬性和方法，當(dāng)然就不適用于泛型，說的具體點(diǎn)：

//假設(shè)
class A<T super classA>{
  T t;
  public void test(){
    //這個(gè)時(shí)候你不能用t干任何事，因?yàn)槟悴淮_定t具有哪些屬性和方法
    //當(dāng)然，t肯定是有Object方法的，但沒意義
  }
}

源碼詳解

1.getBounds

　　獲得該類型變量的上限（上邊界），若無顯式定義（extends），默認(rèn)為Object，類型變量的上限可能不止一個(gè)，因?yàn)榭梢杂?amp;符號限定多個(gè)（這其中有且只能有一個(gè)為類或抽象類，且必須放在extends后的第一個(gè)，即若有多個(gè)上邊界，則第一個(gè)&后必為接口）。

class A<K extends classA & interfaceB, V>{
  K key;
  V value;
  public static void main(String[] args) throws Exception
  {
    Type[] types = Main.class.getTypeParameters();
    for(Type type : types){
      TypeVariable t = (TypeVariable)type;
      System.out.println(t.getGenericDeclaration());
      int size = t.getBounds().length;
      System.out.println(t.getBounds()[size - 1]);
      System.out.println(t.getName() + "\n-------------分割線-------------");
    }
  }
}
//輸出結(jié)果
class com.fcc.test.Main
interface com.fcc.test.interfaceB
K
-------------分割線-------------
class com.fcc.test.Main
class java.lang.Object
V
-------------分割線-------------

2.getGenericDeclaration

　　獲得聲明（定義）這個(gè)類型變量的類型及名稱，即如：

class com.xxx.xxx.classA 或
public void com.fcc.test.Main.test(java.util.List) 或
public com.fcc.test.Main()

Constructor constructor = Main.class.getConstructor();
TypeVariable typeVariable = constructor.getTypeParameters()[0];
System.out.println(typeVariable.getGenericDeclaration());
//獲得方法中聲明（定義）的類型變量與上面類似

3.getName

　　獲得這個(gè)類型變量在聲明（定義）時(shí)候的名稱

總結(jié)

以上就是本文關(guān)于Java源碼解析之TypeVariable詳解的全部內(nèi)容，希望對大家有所幫助。感興趣的朋友可以繼續(xù)參閱本站：Java源碼解析之object類、java.lang.Void類源碼解析等，如有不足之處，歡迎留言指出。感謝朋友們對本站的支持！

您可能感興趣的文章: