Java 反射机制
摘要
Reflection 是 Java 被视为动态(或准动态)语言的一个关键性质。这个机制允许程序在运行时透过 Reflection APIs 取得任何一个已知名称的 class 的内部信息,包括其 modifiers (诸如 public, static 等等)、 superclass (例如 Object )、实现之 interfaces (例如 Cloneable ),也包括 fields 和 methods 的所有信息,并可于运行时改变 fields 内容或唤起 methods 。本文借由实例,大面积示范 Reflection APIs 。
关于本文:
读者基础:具备 Java 语言基础。
本文适用工具: JDK1.5
关键词:
Introspection (内省、内观)
Reflection (反射)
有时候我们说某个语言具有很强的动态性,有时候我们会区分动态和静态的不同技术与作法。我们朗朗上口动态绑定( dynamic binding )、动态链接( dynamic linking )、动态加载( dynamic loading )等。然而 “ 动态 ” 一词其实没有绝对而普遍适用的严格定义,有时候甚至像对象导向当初被导入编程领域一样,一人一把号,各吹各的调。
一般而言,开发者社群说到动态语言,大致认同的一个定义是: “ 程序运行时,允许改变程序结构或变量类型,这种语言称为动态语言 ” 。从这个观点看, Perl , Python , Ruby 是动态语言, C++ , Java , C# 不是动态语言。
尽管在这样的定义与分类下 Java 不是动态语言,它却有着一个非常突出的动态相关机制: Reflection 。这个字的意思是 “ 反射、映象、倒影 ” ,用在 Java 身上指的是我们可以于运行时加载、探知、使用编译期间完全未知的 classes 。换句话说, Java 程序可以加载一个运行时才得知名称的 class ,获悉其完整构造(但不包括 methods 定义),并生成其对象实体、或对其 fields 设值、或唤起其 methods 1 。这种 “ 看透 class ” 的能力( the ability of the program to examine itself )被称为 introspection ( 内省、内观、反省 )。 Reflection 和 introspection 是常被并提的两个术语。
Java 如何能够做出上述的动态特性呢?这是一个深远话题,本文对此只简单介绍一些概念。整个篇幅最主要还是介绍 Reflection APIs ,也就是让读者知道如何探索 class 的结构、如何对某个 “ 运行时才获知名称的 class ” 生成一份实体、为其 fields 设值、调用其 methods 。本文将谈到 java.lang.Class ,以及 java.lang.reflect 中的 Method 、 Field 、 Constructor 等等 classes 。
“ Class ” class
众所周知 Java 有个 Object class ,是所有 Java classes 的继承根源,其内声明了数个应该在所有 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 )以及关键词 void 。当一个 class 被加载,或当加载器( class loader )的 defineClass() 被 JVM 调用, JVM 便自动产生一个 Class object 。如果您想借由 “ 修改 Java 标准库源码 ” 来观察 Class object 的实际生成时机(例如在 Class 的 constructor 内添加一个 println() ),不能够!因为 Class 并没有 public constructor (见 图 1 )。本文最后我会拨一小块篇幅顺带谈谈 Java 标准库源码的改动办法。
Class 是 Reflection 故事起源。针对任何您想探勘的 class ,唯有先为它产生一个 Class object ,接下来才能经由后者唤起为数十多个的 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 ,意指不允许任何人经由编程方式产生 Class object 。是的,其 object 只能由 JVM 产生。
“ Class ” object 的取得途径
Java 允许我们从多种管道为一个 class 生成对应的 Class object 。 图 2 是一份整理。
Class object 诞生管道
|
示例
|
运用 getClass()
注:每个 class 都有此函数
|
String str = "abc";
Class c1 = str.getClass();
|
运用
Class.getSuperclass() 2
|
Button b = new Button();
Class c1 = b.getClass();
Class c2 = c1.getSuperclass();
|
运用 static method
Class.forName()
(最常被使用)
|
Class c1 = Class.forName ("java.lang.String");
Class c2 = Class.forName ("java.awt.Button");
Class c3 = Class.forName ("java.util.LinkedList$Entry");
Class c4 = Class.forName ("I");
Class c5 = Class.forName ("[I");
|
运用
.class 语法
|
Class c1 = String.class;
Class c2 = java.awt.Button.class;
Class c3 = Main.InnerClass.class;
Class c4 = int.class;
Class c5 = int[].class;
|
运用
primitive wrapper classes
的 TYPE 语法
|
Class c1 = Boolean.TYPE;
Class c2 = Byte.TYPE;
Class c3 = Character.TYPE;
Class c4 = Short.TYPE;
Class c5 = Integer.TYPE;
Class c6 = Long.TYPE;
Class c7 = Float.TYPE;
Class c8 = Double.TYPE;
Class c9 = Void.TYPE;
|
图 2 : Java 允许多种管道生成 Class object 。
Java classes 组成分析
首先容我以 图 3 的 java.util.LinkedList 为例,将 Java class 的定义大卸八块,每一块分别对应 图 4 所示的 Reflection API 。 图 5 则是“获得 class 各区块信息”的程序示例及执行结果,它们都取自本文示例程序的对应片段。
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 大卸八块,每块相应于一个或一组 Reflection APIs (图 4 )。
Java classes 各成份所对应的 Reflection APIs
图 3 的各个 Java class 成份,分别对应于 图 4 的 Reflection API ,其中出现的 Package 、 Method 、 Constructor 、Field 等等 classes ,都定义于 java.lang.reflect 。
Java class 内部模块(参见 图 3 )
|
Java class 内部模块说明
|
相应之 Reflection API ,多半为 Class methods 。
|
返回值类型 (return type)
|
(1) package
|
class 隶属哪个 package
|
getPackage()
|
Package
|
(2) import
|
class 导入哪些 classes
|
无直接对应之 API 。
解决办法见 图 5-2 。
|
|
(3) modifier
|
class (或 methods, fields )的属性
|
int getModifiers()
Modifier.toString(int)
Modifier.isInterface(int)
|
int
String
bool
|
(4) class name or interface name
|
class/interface
|
名称 getName()
|
String
|
(5) type parameters
|
参数化类型的名称
|
getTypeParameters()
|
TypeVariable <Class>[]
|
(6) base class
|
base class (只可能一个)
|
getSuperClass()
|
Class
|
(7) implemented interfaces
|
实现有哪些 interfaces
|
getInterfaces()
|
Class[]
|
(8) inner classes
|
内部 classes
|
getDeclaredClasses()
|
Class[]
|
(8') outer class
|
如果我们观察的 class 本身是 inner classes ,那么相对它就会有个 outer class 。
|
getDeclaringClass()
|
Class
|
(9) constructors
|
构造函数 getDeclaredConstructors()
|
不论 public 或 private 或其它 access level ,皆可获得。另有功能近似之取得函数。
|
Constructor[]
|
(10) methods
|
操作函数 getDeclaredMethods()
|
不论 public 或 private 或其它 access level ,皆可获得。另有功能近似之取得函数。
|
Method[]
|
(11) fields
|
字段(成员变量)
|
getDeclaredFields() 不论 public 或 private 或其它 access level ,皆可获得。另有功能近似之取得函数。
|
Field[]
|
图 4 : Java class 大卸八块后(如图 3 ),每一块所对应的 Reflection API 。本表并非
Reflection APIs 的全部。
Java Reflection API 运用示例
图 5 示范 图 4 提过的每一个 Reflection API ,及其执行结果。程序中出现的 tName() 是个辅助函数,可将其第一自变量所代表的 “ Java class 完整路径字符串 ” 剥除路径部分,留下 class 名称,储存到第二自变量所代表的一个 hashtable 去并返回(如果第二自变量为 null ,就不储存而只是返回)。
#001 Class c = null;
#002 c = Class.forName (args[0]);
#003
#004 Package p;
#005 p = c. getPackage ();
#006
#007 if (p != null)
#008 System.out.println("package "+p. getName ()+";");
执行结果(例):
package java.util;
图 5-1 :找出 class 隶属的 package 。其中的 c 将继续沿用于以下各程序片段。
#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
#012 mm = c. getDeclaredMethods ();
#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 自己)
执行结果(例):
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 :找出导入的 classes ,动作细节详见内文说明。
#001 int mod = c. getModifiers ();
#002 System.out.print( Modifier.toString (mod)); // 整个 modifier
#003
#004 if ( Modifier.isInterface (mod))
#005 System.out.print(" "); // 关键词 "interface" 已含于 modifier
#006 else
#007 System.out.print(" class "); // 关键词 "class"
#008 System.out.print(tName(c. getName (), null)); // class 名称
执行结果(例):
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 }
执行结果(例):
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));
执行结果(例):
public class LinkedList<E>
extends AbstractSequentialList,
图 5-5 :找出 base class 。执行结果多出一个不该有的逗号于尾端。此非本处重点,为简化计,不多做处理。
#001 Class cc[];
#002 Class ctmp;
#003 // 找出所有被实现的 interfaces
#004 cc = c. getInterfaces ();
#005 if (cc.length != 0)
#006 System.out.print(", /r/n" + " implements "); // 关键词
#007 for (Class cite : cc) //JDK1.5 新式循环写法
#008 System.out.print(tName(cite. getName (), null)+", ");
执行结果(例):
public class LinkedList<E>
extends AbstractSequentialList,
implements List, Queue, Cloneable, Serializable,
图 5-6 :找出 implemented interfaces 。执行结果多出一个不该有的逗号于尾端。此非本处重点,为简化计,不多做处理。
#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 ());
执行结果(例):
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 }
执行结果(例):
public java.util.LinkedList(Collection)
public java.util.LinkedList()
图 5-8a :找出所有 constructors
#004 System.out.println(cn[i]. toGenericString ());
执行结果(例):
public java.util.LinkedList(java.util.Collection<? extends E>)
public java.util.LinkedList()
图 5-8b :找出所有 constructors 。本例在 for 循环内使用 toGenericString() ,省事。
#001 Method mm[];
#002 mm = c. getDeclaredMethods ();
#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)+" "+
#007 mm[i].getName());
#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 }
执行结果(例):
public Object get(int)
public int size()
图 5-9a :找出所有 methods
#004 System.out.println(mm[i]. toGenericString ());
public E java.util.LinkedList.get(int)
public int java.util.LinkedList.size()
图 5-9b :找出所有 methods 。本例在 for 循环内使用 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 }
执行结果(例):
private transient LinkedList$Entry header;
private transient int size;
图 5-10a :找出所有 fields
#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 循环内使用 toGenericString() ,省事。
找出 class 参用 (导入) 的所有 classes
没有直接可用的 Reflection API 可以为我们找出某个 class 参用的所有其它 classes 。要获得这项信息,必须做苦工,一步一脚印逐一记录。我们必须观察所有 fields 的类型、所有 methods (包括 constructors )的参数类型和回返类型,剔除重复,留下唯一。这正是为什么 图 5-2 程序代码要为 tName() 指定一个 hashtable (而非一个 null )做为第二自变量的缘故: hashtable 可为我们储存元素(本例为字符串),又保证不重复。
本文讨论至此,几乎可以还原一个 class 的原貌(唯有 methods 和 ctors 的定义无法取得)。接下来讨论 Reflection 的另三个动态性质: (1) 运行时生成 instances , (2) 执
行期唤起 methods , (3) 运行时改动 fields 。
运行时生成 instances
欲生成对象实体,在 Reflection 动态机制中有两种作法,一个针对“无自变量 ctor ”,
一个针对“带参数 ctor ” 。 图 6 是面对“无自变量 ctor ”的例子。如果欲调用的是“带参数 ctor “就比较麻烦些, 图 7 是个例子,其中不再调用 Class 的 newInstance() ,而是调用 Constructor 的 newInstance() 。 图 7 首先准备一个 Class[] 做为 ctor 的参数类型(本例指定为一个 double 和一个 int ),然后以此为自变量调用 getConstructor() ,获得一个专属 ctor 。接下来再准备一个 Object[] 做为 ctor 实参值(本例指定 3.14159 和 125 ),调用上述专属 ctor 的 newInstance() 。
#001 Class c = Class.forName("DynTest");
#002 Object obj = null;
#003 obj = c.newInstance (); // 不带自变量
#004 System.out.println(obj);
图 6 :动态生成“ Class object 所对应之 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 :动态生成“ Class object 对应之 class ”的对象实体;自变量以 Object[] 表示。
运行时 调用 methods
这个动作和上述调用“带参数之 ctor ”相当类似。首先准备一个 Class[] 做为 ctor 的参数类型(本例指定其中一个是 String ,另一个是 Hashtable ),然后以此为自变量调用 getMethod() ,获得特定的 Method object 。接下来准备一个 Object[] 放置自变量,然后调用上述所得之特定 Method object 的 invoke() ,如 图 8 。知道为什么索取 Method object 时不需指定回返类型吗?因为 method overloading 机制要求 signature (署名式)必须唯一,而回返类型并非 signature 的一个成份。换句话说,只要指定了 method 名称和参数列,就一定指出了一个独一无二的 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 :动态唤起 method
运行时变更 fields 内 容
与先前两个动作相比,“变更 field 内容”轻松多了,因为它不需要参数和自变量。首先调用 Class 的 getField() 并指定 field 名称。获得特定的 Field object 之后便可直接调用 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));
#010 f .set (obj, 12.34);
#011 System.out.println("d= " + obj. d );
#012 }
#013 }
图 9 :动态变更 field 内容
Java 源码改动办法
先前我曾提到,原本想借由“改动 Java 标准库源码”来测知 Class object 的生成,但由于其 ctor 原始设计为 private ,也就是说不可能透过这个管道生成 Class object (而是由 class loader 负责生成),因此“在 ctor 中 打印出某种信息”的企图也就失去了意义。
这里我要谈点题外话:如何修改 Java 标准库源码并让它反应到我们的应用程序来。假设我想修改 java.lang.Class ,让它在某些情况下打印某种信息。首先必须找出标准源码!当你下载 JDK 套件并安装妥当,你会发现 jdk150/src/java/lang 目录(见 图 10 )之中有 Class.java ,这就是我们此次行动的标准源码。备份后加以修改,编译获得 Class.class 。接下来准备将 .class 搬移到 jdk150/jre/lib/endorsed (见 图 10 )。
这是一个十分特别的目录, class loader 将优先从该处读取内含 classes 的 .jar 文件 —— 成功的条件是 .jar 内的 classes 压缩路径必须和 Java 标准库的路径完全相同。为此,我们可以将刚才做出的 Class.class 先搬到一个为此目的而刻意做出来的 /java/lang 目录中,压缩为 foo.zip (任意命名,唯需夹带路径 java/lang ),再将这个 foo.zip 搬到 jdk150/jre/lib/endorsed 并改名为 foo.jar 。此后你的应用程序便会优先用上这里的 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 // 执行测试程序
图 11 :一个可在 DOS Box 中使用的批处理文件( batch file ),用以自动化 java.lang.Class
的修改动作。 Pkzipc(.exe) 是个命令列压缩工具, add 和 path 都是其命令。
更多信息
以下是视野所及与本文主题相关的更多讨论。这些信息可以弥补因文章篇幅限制而带来的不足,或带给您更多视野。
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 。此篇文章所附程序代码是本文示例程序的主要依据(本文示例程序示范了更多 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 的动态加载或动态辨识;所有能够在 MFC 程序中起作用的 classes ,都必须先在编译期被编译器 “ 看见 ” 。
注 2 如果操作对象是 Object , Class.getSuperClass() 会返回 null 。
转自:http://www.j2medev.com/Article/Class3/Class7/200604/1995.html