RRIT(Run-Time Type Identification)运行时类型识别。在《Thinking in Java》一书第十四章中有提到,它的功能是在运行时识别对象的类型和类信息。有两种主要方式:“传统的”RTTI(它假定我们在编译时已经知道所有类型)和“反射”机制(它允许我们在运行时发现和使用类信息)。
类是程序的一部分,每个类都有一个类对象。换句话说,无论何时编写和编译新类,都会生成一个Class对象(更恰当地说,保存在相同名称的A.class文件中)。当第一次使用所有类时,它们都被动态地加载到JVM中。例如,我们编写了一个Test类并编译它来生成Test。班级。此时,Test类的Class对象保存在类文件中。当我们新建一个对象或引用一个静态成员变量时,Java虚拟机(JVM)中的类加载器子系统将相应的类对象加载到JVM中,然后JVM从这个类型的信息中创建我们需要的类对象,或者提供静态变量的参考值。应当注意,无论创建了多少实例对象,手动编写的每个类类类在JVM中都只有一个Class对象,也就是说,每个类在内存中都具有并且只有一个对应的Class对象。
如上所示,实际上JVM内存中只存有一个Test的Class对象。
Class类,类类也是Java中存在的一个真实类。JDK的Lang软件包。类类的实例表示Java应用程序运行时的类枚举或接口和注释(每个Java类运行时被表示为JVM中的类对象),类对象可以通过类名来获得。类,类型。getClass(),Class.forName(“类名”)。数组还映射到一个类对象,该类对象由具有相同元素类型和维度的所有数组共享。基本类型布尔、字节、char、.、int、long、float、double和关键词void也表示为类对象。
到这我们也就可以得出以下几点信息:
-
Class类也是类的一种,与class关键字是不一样的。
-
手动编写的类被编译后会产生一个Class对象,其表示的是创建的类的类型信息,而且这个Class对象保存在同名.class的文件中(字节码文件)
-
每个通过关键字class标识的类,在内存中有且只有一个与之对应的Class对象来描述其类型信息,无论创建多少个实例对象,其依据的都是用一个Class对象。
-
Class类只存私有构造函数,因此对应Class对象只能有JVM创建和加载
-
Class类的对象作用是运行时提供或获得某个对象的类型信息,这点对于反射技术很重要(关于反射稍后分析)。
获取
正如我们前面提到的,类对象是由JVM加载的,所以什么时候加载呢?实际上,所有类在第一次使用时都动态地加载到JVM中。当程序创建对该类的第一个静态成员引用时,它加载使用的类(实际加载该类的字节码文件)。注意,使用新操作符创建类的新实例对象也被视为对类的静态成员(构造函数也是一个类)的引用。看来Java程序在开始运行之前没有完全加载到内存中,而且它们的所有部分都按需加载。因此,当使用这个类时,类加载器首先检查这个类的Class对象是否已经被加载(类的实例对象是根据Class对象中的类型信息创建的)。如果未加载,则默认的类加载Class对象将以相同的名称保存。编译后的类文件。当该类的字节码文件被加载时,它们必须接受相关的验证,以确保它们不被破坏,并且不包含坏的Java代码(这是Java的安全机制检测)。在没有问题之后,它们将被动态地加载到内存中,这相当于Cl。ass对象被加载到内存中(毕竟,类字节码文件保存Cl ass对象),并且还可以用于创建类的所有实例对象。
类加载的过程 :
1. 加载
在加载阶段,虚拟机需要完成3件事:
(1)通过一个类的全限定名(org/fenixsoft/clazz/TestClass)获取定义此类的二进制字节流(.class文件);
(2)将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构;
(3)在内存中生成一个代表这个类的 java.lang.Class 对象,作为方法区这个类的各种数据的访问入口;
2. 验证
验证阶段是非常重要的,这个阶段是否严谨,直接决定了Java虚拟机是否能承受恶意代码的攻击,从执行性能的角度上讲,验证阶段的工作量在虚拟机的类加载子系统中又占了相当大的一部分。验证阶段大致上完成下面4个阶段的验证动作:
(1)文件格式验证
验证字节流是否符合Class文件格式的规范,并且能被当前版本的虚拟机处理;
这阶段的验证是基于二进制字节流进行的,只有通过了这个阶段的验证,字节流才会进入内存的方法区进行储存,所以后面的3个验证阶段全部是基于方法区的存储结构进行的,不会再直接操作字节流。
(2)元数据验证
对字节码描述的信息进行语义分析,以保证其描述的信息符合Java语言规范的要求,保证不存在不符合Java语言规范的元数据信息;
(3)字节码验证
通过数据流和控制流分析,确定程序是语义是合法的、符合逻辑的,保证被校验的方法在运行时不会做出危害虚拟机安全的事件;
(4)符号引用验证
可以看作是对类自身以外(常量池中各种符号引用)的信息进行匹配性校验,确保解析动作能正常执行;
3. 准备
准备阶段是正式为类变量分配内存并设置类变量初始值阶段,这些变量所使用的内存都将在方法区中进行分配。这里进行内存分配仅仅是类变量(被static修饰的变量),而不包括实例变量,实例变量将在对象实例化时随着对象一起分配在Java堆中;
4. 解析
解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程。解析动作主要针对类或接口、字段、类方法、方法类型、方法句柄和调用点限定符7类符号引用进行;
5. 初始化
初始化阶段才真正开始执行类中定义的Java程序代码(或者说是字节码)。初始化是如何被触发的:
(1)遇到new、getstatic、putstatic或involestatic这4条指令时;(2)使用 java.lang.reflect 包的方法对类进行反射调用的时候;
(3)初始化一个类时,如果父类还没被初始化,则先触发父类的初始化;
(4)虚拟机启动时,用户需要指定一个要执行的主类 (包含main()方法的那个类),虚拟机会先初始化这个主类;
(5)如果一个 java.lang.invoke.MethodHandle 实例最后解析的结果是 REF_getStatic、REF_putStatic、REF_invokeStatic的方法句柄,若句柄所对应的类没有进行过初始化,则将它初始化;
上文源自《深入理解java虚拟机》一书,大家可以去读一下,这本书基本上是java程序猿学习必读之一了。在此就不深入展开了,因为这又是另一个JVM领域了。 以后如果写了该方面的文章,会贴到这里。
获取
Class对象的获取主要有3种:
getClass()是从顶级类Object继承而来的,它将返回表示该对象的实际类型的Class对象引用。
forName方法是Class类的静态成员方法,记住所有Class对象都源自这个Class类,因此Class类中定义的方法适用于所有Class对象。这里,通过forName方法,我们可以获得Test类的相应Class对象引用。注意,当调用forName方法时,您需要捕获一个名为ClassNotFoundException的异常,因为forName方法无法检测编译器中与其传递的字符串(是否有.class文件)对应的类的存在,并且只能在程序的运行时进行检查。如果不存在,将引发ClassNotFoundException异常。
使用forName方式会触发类的初始化,与之相比的是使用类字面常量获取
类字面常量获取
这不仅更简单,而且更安全,因为它是在编译时检查的(因此不需要放在try语句块中)。而且它消除了对forName()方法的调用,因此也更有效。注意,当您使用“.“类”创建对Class对象的引用,Class对象不会自动初始化。注意,当您使用“.“类”创建对Classs对象的引用,Class对象不会自动初始化。使用该类的准备实际上包括三个步骤:
如果一个static final值是编译器常量
,就像Initable.staticFinal那样,那么这个值不需要对Initable类进行初始化就可以被读取。但是,如果只是将一个域设置为static和final的,还不足以确保这种行为,例如,对Initable.staticFinal2的访问将强制进行类的初始化,因为它不是一个编译期常量。
如果静态域不是最终的,则总是需要在读取之前进行链接(为域分配存储空间)和初始化(初始化存储空间),如访问Initable2所示。静态非决赛。从输出结果可以看出,通过文字常数获取获得的Initable类的Class对象不触发Initable类的初始化,这也验证了前面的分析。同时,还发现不可逆的。staticFinal变量不触发初始化,因为staticFinal在编译时属于静态常数,并且在编译阶段通过常数传播优化。公式将Initable类的常量staticFinal存储在一个名为NotInitialization类的常量池中。将来,对常量staticFinal of Initable类的引用实际上被转换成对其自己的常量NotInitialization类池的引用。因此,在编译之后,对编译时间常数的引用将在NotInitialization类的常量池中获得,这也是引用编译时间。静态常数不触发Initable类初始化的一个重要原因。然而,不适宜的。然后调用staticFinal2变量来触发Initable类的初始化。注意,尽管staticFinal2由static和final修改,但它的值在编译时无法确定。因此,staticFinal2不是编译时间常数,在使用此变量之前,必须初始化Initable类。Initable2和Initable3是静态成员变量,而不是编译时常数,引用触发初始化。至于forName方法获取Class对象,初始化被绑定到.,前面已经对此进行了分析。
关于instanceof 关键字,它返回一个boolean类型的值,意在告诉我们对象是不是某个特定的类型实例。如下,在强制转换前利用instanceof检测obj是不是Animal类型的实例对象,如果返回true再进行类型转换,这样可以避免抛出类型转换的异常(ClassCastException)
事实上instanceOf 与isInstance方法产生的结果是相同的。
反射机制是在运行状态下可以知道任何类的所有属性和方法,并且可以调用任何对象的任何方法和属性。获得的动态信息和对象的动态调用方法的功能被称为Java语言的反射机制。反射技术一直是爪哇的一个亮点,它也是大多数框架(如Spring/MybATIS等)要实现的骨干。在Java中,类类和Java。反射类库共同为反射技术提供了充分的支持。在反射包中,我们通常使用构造函数类来构造由类对象表示的类。通过使用Constructor类,我们可以在运行时动态创建对象以及由Class对象表示的Field类。通过使用Constructor类,我们可以在运行时动态修改成员变量(包括私有)和由Class对象表示的方法类的属性值。方法,通过该方法可以动态调用对象的方法(包括私有类),下面将分别解释这些重要的类。
用法
Constructor类存在于反射包(java.lang.reflect)中,反映的是Class 对象所表示的类的构造方法。获取Constructor对象是通过Class类中的方法获取的,Class类与Constructor相关的主要方法如下: