|
Java反射機制
摘要 Reflection 是Java被視為動態(tài)(或準動態(tài))語言的一個關(guān)鍵性質(zhì)。這個機制允許程序在運行時透過Reflection APIs取得任何一個已知名稱的class的內(nèi)部信息,包括其modifiers(諸如public, static 等等)、superclass(例如Object)、實現(xiàn)之interfaces(例如Cloneable),也包括fields和methods的所有信息,并可于運行時改變fields內(nèi)容或喚起methods。本文借由實例,大面積示范Reflection APIs。
關(guān)于本文: 讀者基礎(chǔ):具備Java 語言基礎(chǔ)。 本文適用工具:JDK1.5
關(guān)鍵詞: Introspection(內(nèi)省、內(nèi)觀) Reflection(反射)
有時候我們說某個語言具有很強的動態(tài)性,有時候我們會區(qū)分動態(tài)和靜態(tài)的不同技術(shù)與作法。我們朗朗上口動態(tài)綁定(dynamic binding)、動態(tài)鏈接(dynamic linking)、動態(tài)加載(dynamic loading)等。然而“動態(tài)”一詞其實沒有絕對而普遍適用的嚴格定義,有時候甚至像對象導(dǎo)向當初被導(dǎo)入編程領(lǐng)域一樣,一人一把號,各吹各的調(diào)。
一般而言,開發(fā)者社群說到動態(tài)語言,大致認同的一個定義是:“程序運行時,允許改變程序結(jié)構(gòu)或變量類型,這種語言稱為動態(tài)語言”。從這個觀點看,Perl,Python,Ruby是動態(tài)語言,C++,Java,C#不是動態(tài)語言。
盡管在這樣的定義與分類下Java不是動態(tài)語言,它卻有著一個非常突出的動態(tài)相關(guān)機制:Reflection。這個字的意思是“反射、映象、倒影”,用在Java身上指的是我們可以于運行時加載、探知、使用編譯期間完全未知的classes。換句話說,Java程序可以加載一個運行時才得知名稱的class,獲悉其完整構(gòu)造(但不包括methods定義),并生成其對象實體、或?qū)ζ?/span>fields設(shè)值、或喚起其methods1。這種“看透class”的能力(the ability of the program to examine itself)被稱為introspection(內(nèi)省、內(nèi)觀、反省)。Reflection和introspection是常被并提的兩個術(shù)語。
Java如何能夠做出上述的動態(tài)特性呢?這是一個深遠話題,本文對此只簡單介紹一些概念。整個篇幅最主要還是介紹Reflection APIs,也就是讓讀者知道如何探索class的結(jié)構(gòu)、如何對某個“運行時才獲知名稱的class”生成一份實體、為其fields設(shè)值、調(diào)用其methods。本文將談到java.lang.Class,以及java.lang.reflect中的Method、Field、Constructor等等classes。
“Class”class 眾所周知Java有個Object class,是所有Java classes的繼承根源,其內(nèi)聲明了數(shù)個應(yīng)該在所有Java class中被改寫的methods:hashCode()、equals()、clone()、toString()、getClass()等。其中getClass()返回一個Class object。
Class class十分特殊。它和一般classes一樣繼承自Object,其實體用以表達Java程序運行時的classes和interfaces,也用來表達enum、array、primitive Java types(boolean, byte, char, short, int, long, float, double)以及關(guān)鍵詞void。當一個class被加載,或當加載器(class loader)的defineClass()被JVM調(diào)用,JVM 便自動產(chǎn)生一個Class object。如果您想借由“修改Java標準庫源碼”來觀察Class object的實際生成時機(例如在Class的constructor內(nèi)添加一個println()),不能夠!因為Class并沒有public constructor(見圖1)。本文最后我會撥一小塊篇幅順帶談?wù)?/span>Java標準庫源碼的改動辦法。
Class是Reflection故事起源。針對任何您想探勘的class,唯有先為它產(chǎn)生一個Class object,接下來才能經(jīng)由后者喚起為數(shù)十多個的Reflection APIs。這些APIs將在稍后的探險活動中一一亮相。
#001 public final #002 class Class<T> implements java.io.Serializable, #003 java.lang.reflect.GenericDeclaration, #004 java.lang.reflect.Type, #005 java.lang.reflect.AnnotatedElement { #006 private Class() {} #007 public String toString() { #008 return ( isInterface() ? "interface " : #009 (isPrimitive() ? "" : "class ")) #010 + getName(); #011 } ... 圖1:Class class片段。注意它的private empty ctor,意指不允許任何人經(jīng)由編程方式產(chǎn)生Class object。是的,其object 只能由JVM 產(chǎn)生。
“Class” object的取得途徑 Java允許我們從多種管道為一個class生成對應(yīng)的Class object。圖2是一份整理。
圖2:Java 允許多種管道生成Class object。
Java classes 組成分析 首先容我以圖3的java.util.LinkedList為例,將Java class的定義大卸八塊,每一塊分別對應(yīng)圖4所示的Reflection API。圖5則是“獲得class各區(qū)塊信息”的程序示例及執(zhí)行結(jié)果,它們都取自本文示例程序的對應(yīng)片段。
package java.util; //(1) import java.lang.*; //(2) public class LinkedList<E> //(3)(4)(5) extends AbstractSequentialList<E> //(6) implements List<E>, Queue<E>, Cloneable, java.io.Serializable //(7) { private static class Entry<E> { … }//(8) public LinkedList() { … } //(9) public LinkedList(Collection<? extends E> c) { … } public E getFirst() { … } //(10) public E getLast() { … } private transient Entry<E> header = …; //(11) private transient int size = 0; } 圖3:將一個Java class 大卸八塊,每塊相應(yīng)于一個或一組Reflection APIs(圖4)。
Java classes 各成份所對應(yīng)的Reflection APIs 圖3的各個Java class成份,分別對應(yīng)于圖4的Reflection API,其中出現(xiàn)的Package、Method、Constructor、Field等等classes,都定義于java.lang.reflect。
圖4:Java class大卸八塊后(如圖3),每一塊所對應(yīng)的Reflection API。本表并非 Reflection APIs 的全部。
Java Reflection API 運用示例 圖5示范圖4提過的每一個Reflection API,及其執(zhí)行結(jié)果。程序中出現(xiàn)的tName()是個輔助函數(shù),可將其第一自變量所代表的“Java class完整路徑字符串”剝除路徑部分,留下class名稱,儲存到第二自變量所代表的一個hashtable去并返回(如果第二自變量為null,就不儲存而只是返回)。
#001 Class c = null; # #003 #004 Package p; #005 p = c.getPackage(); #006 #007 if (p != null) #008 System.out.println("package "+p.getName()+";");
執(zhí)行結(jié)果(例): package java.util; 圖5-1:找出class 隸屬的package。其中的c將繼續(xù)沿用于以下各程序片段。
#001 ff = c.getDeclaredFields(); #002 for (int i = 0; i < ff.length; i++) #003 x = tName(ff[i].getType().getName(), classRef); #004 #005 cn = c.getDeclaredConstructors(); #006 for (int i = 0; i < cn.length; i++) { #007 Class cx[] = cn[i].getParameterTypes(); #008 for (int j = 0; j < cx.length; j++) #009 x = tName(cx[j].getName(), classRef); #010 } #011 # #013 for (int i = 0; i < mm.length; i++) { #014 x = tName(mm[i].getReturnType().getName(), classRef); #015 Class cx[] = mm[i].getParameterTypes(); #016 for (int j = 0; j < cx.length; j++) #017 x = tName(cx[j].getName(), classRef); #018 } #019 classRef.remove(c.getName()); //不必記錄自己(不需import 自己)
執(zhí)行結(jié)果(例): import java.util.ListIterator; import java.lang.Object; import java.util.LinkedList$Entry; import java.util.Collection; import java.io.ObjectOutputStream; import java.io.ObjectInputStream; 圖5-2:找出導(dǎo)入的classes,動作細節(jié)詳見內(nèi)文說明。
#001 int mod = c.getModifiers(); #002 System.out.print(Modifier.toString(mod)); //整個modifier #003 #004 if (Modifier.isInterface(mod)) #005 System.out.print(" "); //關(guān)鍵詞 "interface" 已含于modifier #006 else #007 System.out.print(" class "); //關(guān)鍵詞 "class" #008 System.out.print(tName(c.getName(), null)); //class 名稱
執(zhí)行結(jié)果(例): public class LinkedList 圖5-3:找出class或interface 的名稱,及其屬性(modifiers)。
#001 TypeVariable<Class>[] tv; #002 tv = c.getTypeParameters(); //warning: unchecked conversion #003 for (int i = 0; i < tv.length; i++) { #004 x = tName(tv[i].getName(), null); //例如 E,K,V... #005 if (i == 0) //第一個 #006 System.out.print("<" + x); #007 else //非第一個 #008 System.out.print("," + x); #009 if (i == tv.length-1) //最后一個 #010 System.out.println(">"); #011 }
執(zhí)行結(jié)果(例): public abstract interface Map<K,V> 或 public class LinkedList<E> 圖5-4:找出parameterized types 的名稱
#001 Class supClass; #002 supClass = c.getSuperclass(); #003 if (supClass != null) //如果有super class #004 System.out.print(" extends" + #005 tName(supClass.getName(),classRef));
執(zhí)行結(jié)果(例): public class LinkedList<E> extends AbstractSequentialList, 圖5-5:找出base class。執(zhí)行結(jié)果多出一個不該有的逗號于尾端。此非本處重點,為簡化計,不多做處理。
#001 Class cc[]; #002 Class ctmp; #003 //找出所有被實現(xiàn)的interfaces #004 cc = c.getInterfaces(); #005 if (cc.length != 0) #006 System.out.print(", \r\n" + " implements "); //關(guān)鍵詞 #007 for (Class cite : cc) //JDK1.5 新式循環(huán)寫法 #008 System.out.print(tName(cite.getName(), null)+", ");
執(zhí)行結(jié)果(例): public class LinkedList<E> extends AbstractSequentialList, implements List, Queue, Cloneable, Serializable, 圖5-6:找出implemented interfaces。執(zhí)行結(jié)果多出一個不該有的逗號于尾端。此非本處重點,為簡化計,不多做處理。
#001 cc = c.getDeclaredClasses(); //找出inner classes #002 for (Class cite : cc) #003 System.out.println(tName(cite.getName(), null)); #004 #005 ctmp = c.getDeclaringClass(); //找出outer classes #006 if (ctmp != null) #007 System.out.println(ctmp.getName());
執(zhí)行結(jié)果(例): LinkedList$Entry LinkedList$ListItr 圖5-7:找出inner classes 和outer class
#001 Constructor cn[]; #002 cn = c.getDeclaredConstructors(); #003 for (int i = 0; i < cn.length; i++) { #004 int md = cn[i].getModifiers(); #005 System.out.print(" " + Modifier.toString(md) + " " + #006 cn[i].getName()); #007 Class cx[] = cn[i].getParameterTypes(); #008 System.out.print("("); #009 for (int j = 0; j < cx.length; j++) { #010 System.out.print(tName(cx[j].getName(), null)); #011 if (j < (cx.length - 1)) System.out.print(", "); #012 } #013 System.out.print(")"); #014 }
執(zhí)行結(jié)果(例): public java.util.LinkedList(Collection) public java.util.LinkedList() 圖5
#004 System.out.println(cn[i].toGenericString());
執(zhí)行結(jié)果(例): public java.util.LinkedList(java.util.Collection<? extends E>) public java.util.LinkedList() 圖5-8b:找出所有constructors。本例在for 循環(huán)內(nèi)使用toGenericString(),省事。
#001 Method mm[]; # #003 for (int i = 0; i < mm.length; i++) { #004 int md = mm[i].getModifiers(); #005 System.out.print(" "+Modifier.toString(md)+" "+ #006 tName(mm[i].getReturnType().getName(), null)+" "+ # #008 Class cx[] = mm[i].getParameterTypes(); #009 System.out.print("("); #010 for (int j = 0; j < cx.length; j++) { #011 System.out.print(tName(cx[j].getName(), null)); #012 if (j < (cx.length - 1)) System.out.print(", "); #013 } #014 System.out.print(")"); #015 }
執(zhí)行結(jié)果(例): public Object get(int) public int size() 圖5
#004 System.out.println(mm[i].toGenericString());
public E java.util.LinkedList.get(int) public int java.util.LinkedList.size() 圖5-9b:找出所有methods。本例在for 循環(huán)內(nèi)使用toGenericString(),省事。
#001 Field ff[]; #002 ff = c.getDeclaredFields(); #003 for (int i = 0; i < ff.length; i++) { #004 int md = ff[i].getModifiers(); #005 System.out.println(" "+Modifier.toString(md)+" "+ #006 tName(ff[i].getType().getName(), null) +" "+ #007 ff[i].getName()+";"); #008 }
執(zhí)行結(jié)果(例): private transient LinkedList$Entry header; private transient int size; 圖5
#004 System.out.println("G: " + ff[i].toGenericString());
private transient java.util.LinkedList.java.util.LinkedList$Entry<E> ?? java.util.LinkedList.header private transient int java.util.LinkedList.size 圖5-10b:找出所有fields。本例在for 循環(huán)內(nèi)使用toGenericString(),省事。
找出class參用(導(dǎo)入)的所有classes 沒有直接可用的Reflection API可以為我們找出某個class參用的所有其它classes。要獲得這項信息,必須做苦工,一步一腳印逐一記錄。我們必須觀察所有fields的類型、所有methods(包括constructors)的參數(shù)類型和回返類型,剔除重復(fù),留下唯一。這正是為什么圖5-2程序代碼要為tName()指定一個hashtable(而非一個null)做為第二自變量的緣故:hashtable可為我們儲存元素(本例為字符串),又保證不重復(fù)。
本文討論至此,幾乎可以還原一個class的原貌(唯有methods 和ctors的定義無法取得)。接下來討論Reflection 的另三個動態(tài)性質(zhì):(1) 運行時生成instances,(2) 執(zhí) 行期喚起methods,(3) 運行時改動fields。
運行時生成instances 欲生成對象實體,在Reflection 動態(tài)機制中有兩種作法,一個針對“無自變量ctor”, 一個針對“帶參數(shù)ctor”。圖6是面對“無自變量ctor”的例子。如果欲調(diào)用的是“帶參數(shù)ctor“就比較麻煩些,圖7是個例子,其中不再調(diào)用Class的newInstance(),而是調(diào)用Constructor 的newInstance()。圖7首先準備一個Class[]做為ctor的參數(shù)類型(本例指定為一個double和一個int),然后以此為自變量調(diào)用getConstructor(),獲得一個專屬ctor。接下來再準備一個Object[] 做為ctor實參值(本例指定3.14159和125),調(diào)用上述專屬ctor的newInstance()。
#001 Class c = Class.forName("DynTest"); #002 Object obj = null; #003 obj = c.newInstance(); //不帶自變量 #004 System.out.println(obj); 圖6:動態(tài)生成“Class object 所對應(yīng)之class”的對象實體;無自變量。
#001 Class c = Class.forName("DynTest"); #002 Class[] pTypes = new Class[] { double.class, int.class }; #003 Constructor ctor = c.getConstructor(pTypes); #004 //指定parameter list,便可獲得特定之ctor #005 #006 Object obj = null; #007 Object[] arg = new Object[] {3.14159, 125}; //自變量 #008 obj = ctor.newInstance(arg); #009 System.out.println(obj); 圖7:動態(tài)生成“Class object 對應(yīng)之class”的對象實體;自變量以Object[]表示。
運行時調(diào)用methods 這個動作和上述調(diào)用“帶參數(shù)之ctor”相當類似。首先準備一個Class[]做為ctor的參數(shù)類型(本例指定其中一個是String,另一個是Hashtable),然后以此為自變量調(diào)用getMethod(),獲得特定的Method object。接下來準備一個Object[]放置自變量,然后調(diào)用上述所得之特定Method object的invoke(),如圖8。知道為什么索取Method object時不需指定回返類型嗎?因為method overloading機制要求signature(署名式)必須唯一,而回返類型并非signature的一個成份。換句話說,只要指定了method名稱和參數(shù)列,就一定指出了一個獨一無二的method。
#001 public String func(String s, Hashtable ht) #002 { #003 …System.out.println("func invoked"); return s; #004 } #005 public static void main(String args[]) #006 { #007 Class c = Class.forName("Test"); #008 Class ptypes[] = new Class[2]; #009 ptypes[0] = Class.forName("java.lang.String"); #010 ptypes[1] = Class.forName("java.util.Hashtable"); #011 Method m = c.getMethod("func",ptypes); #012 Test obj = new Test(); #013 Object args[] = new Object[2]; #014 arg[0] = new String("Hello,world"); #015 arg[1] = null; #016 Object r = m.invoke(obj, arg); #017 Integer rval = (String)r; #018 System.out.println(rval); #019 } 圖8:動態(tài)喚起method
運行時變更fields內(nèi)容 與先前兩個動作相比,“變更field內(nèi)容”輕松多了,因為它不需要參數(shù)和自變量。首先調(diào)用Class的getField()并指定field名稱。獲得特定的Field object之后便可直接調(diào)用Field的get()和set(),如圖9。
#001 public class Test { #002 public double d; #003 #004 public static void main(String args[]) #005 { #006 Class c = Class.forName("Test"); #007 Field f = c.getField("d"); //指定field 名稱 #008 Test obj = new Test(); #009 System.out.println("d= " + (Double)f.get(obj)); # #011 System.out.println("d= " + obj.d); #012 } #013 } 圖9:動態(tài)變更field 內(nèi)容
Java 源碼改動辦法 先前我曾提到,原本想借由“改動Java標準庫源碼”來測知Class object的生成,但由于其ctor原始設(shè)計為private,也就是說不可能透過這個管道生成Class object(而是由class loader負責生成),因此“在ctor中打印出某種信息”的企圖也就失去了意義。
這里我要談點題外話:如何修改Java標準庫源碼并讓它反應(yīng)到我們的應(yīng)用程序來。假設(shè)我想修改java.lang.Class,讓它在某些情況下打印某種信息。首先必須找出標準源碼!當你下載JDK 套件并安裝妥當,你會發(fā)現(xiàn)jdk150\src\java\lang 目錄(見圖10)之中有Class.java,這就是我們此次行動的標準源碼。備份后加以修改,編譯獲得Class.class。接下來準備將.class 搬移到jdk150\jre\lib\endorsed(見圖10)。
這是一個十分特別的目錄,class loader將優(yōu)先從該處讀取內(nèi)含classes的.jar文件——成功的條件是.jar內(nèi)的classes壓縮路徑必須和Java標準庫的路徑完全相同。為此,我們可以將剛才做出的Class.class先搬到一個為此目的而刻意做出來的\java\lang目錄中,壓縮為foo.zip(任意命名,唯需夾帶路徑java\lang),再將這個foo.zip搬到jdk150\jre\lib\endorsed并改名為foo.jar。此后你的應(yīng)用程序便會優(yōu)先用上這里的java.lang.Class。整個過程可寫成一個批處理文件(batch file),如圖11,在DOS Box中使用。
圖10:JDK1.5 安裝后的目錄組織。其中的endorsed 是我新建。
del e:\java\lang\*.class //清理干凈 del c:\jdk150\jre\lib\endorsed\foo.jar //清理干凈 c: cd c:\jdk150\src\java\lang javac -Xlint:unchecked Class.java //編譯源碼 javac -Xlint:unchecked ClassLoader.java //編譯另一個源碼(如有必要) move *.class e:\java\lang //搬移至刻意制造的目錄中 e: cd e:\java\lang //以下壓縮至適當目錄 pkzipc -add -path=root c:\jdk150\jre\lib\endorsed\foo.jar *.class cd e:\test //進入測試目錄 javac -Xlint:unchecked Test.java //編譯測試程序 java Test //執(zhí)行測試程序 圖11:一個可在DOS Box中使用的批處理文件(batch file),用以自動化java.lang.Class 的修改動作。Pkzipc(.exe)是個命令列壓縮工具,add和path都是其命令。
更多信息 以下是視野所及與本文主題相關(guān)的更多討論。這些信息可以彌補因文章篇幅限制而帶來的不足,或帶給您更多視野。
l "Take an in-depth look at the Java Reflection API -- Learn about the new Java 1.1 tools forfinding out information about classes", by Chuck McManis。此篇文章所附程序代碼是本文示例程序的主要依據(jù)(本文示例程序示范了更多Reflection APIs,并采用JDK1.5 新式的for-loop 寫法)。 l "Take a look inside Java classes -- Learn to deduce properties of a Java class from inside aJava program", by Chuck McManis。 l "The basics of Java class loaders -- The fundamentals of this key component of the Javaarchitecture", by Chuck McManis。 l 《The Java Tutorial Continued》, Sun microsystems. Lesson58-61, "Reflection".
注1用過諸如MFC這類所謂 Application Framework的程序員也許知道,MFC有所謂的dynamic creation。但它并不等同于Java的動態(tài)加載或動態(tài)辨識;所有能夠在MFC程序中起作用的classes,都必須先在編譯期被編譯器“看見”。
|
|
|