注解与反射机制是Spring框架的基石,所以理解反射机制很重要
Java内存分析
graph LR A[Java内存]-->B[栈] B-->D["存放基本变量类型(包含这个类的具体数值)"] B-->E["引用对象的变量(存放这个引用在堆里的物理地址)"] A-->C[堆] C-->存放new的对象和数组 C-->可以被所有的线程共享 A-->F["方法区(特殊的堆)"] F-->可以被所有的线程共享 F-->G["存放了一些常量、静态变量、类的Class类型对象等"]
类的初始化过程
Load阶段
- 将.class文件字节码内容加载到内存中
- 将类的静态变量、静态代码块转换成方法区的运行时数据结构
- 生成java.lang.Class类型的对象
Link阶段
链接:将Java类的二进制代码合并到JVM的运行状态的过程
- 验证:确保加载的类信息符合JVM规范
- 准备:正式为
类变量(static)
分配内存并设置类变量默认初始值,这些内存在方法区中进行分配 - 解析:JVM常量池内的符号引用(常量名)替换为直接引用(地址)的过程
加载到内存,产生类对应的java.lang.Class对象
链接,链接结束后,m=0
初始化
1
2
3
4
5<clinit>(){
System.out.print("A类的静态代码块初始化");
m=300;
m=100;
}
Initialize阶段
初始化
- JVM执行类构造器
<clinit>()
方法:- 类构造器
<clinit>()
由编译期自动收集类中(static)的 所有类变量的赋值动作 和 静态代码块中的语句 合并产生
- 类构造器
- 初始化一个类时,若其父类还未初始化,则先触发父类的初始化
- JVM保证一个类的
<clinit>()
方法在多线程环境中北正确加锁和同步
什么时候发生类的初始化
类的主动引用(一定会发生类的初始化)
JVM启动,先初始化main方法所在的类,即
main()
所在的类一定会被初始化new一个类的对象
调用类的静态成员和静态方法,除了
final
常量使用
java.lang.reflect
包的方法对类进行反射调用1
Class.forName("包名.类名")
初始化一个子类,其父类未被初始化,则先会初始化其父类
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40class Test{
static{
System.out.println("Main类被加载");
}
public static main(String[] args){
//1.主动调用
//Son son = new Son();
/*
Main类被加载
父类被加载
子类被加载
*/
//2.反射也会产生引用
Class.forName("com.kuang.reflection.Son");
/*
Main类被加载
父类被加载
子类被加载
*/
}
}
Class Father{
static int b = 2;
static{
System.out.println("父类被加载");
m = 300
}
}
Class Son extends Father{
static int m = 100;
static final int M = 1;
static{
System.out.println("子类被加载");
}
}
类的被动引用(不会发生类的初始化)
当访问一个静态域,只有真正声明这个域的类才会被初始化(通过子类引用父类的静态变量,不会导致子类初始化,因为这些静态变量在Link阶段就已经存在常量池中)
1
2
3
4
5
6
7//不会触发类的引用方法
System.out.println(Son.b);
/*
Main类被加载
父类被加载
2
*/通过数组定义引用,不会触发此类的初始化
1
2
3
4Son[] sons= new Son[5];//仅仅是声明了一块内存空间
#
Main类被加载引用常量不会触发此类的初始化(在链接阶段已被调入方法区的常量池)
1
2
3
4System.out.println(Son.M);
#
Main类被加载
类加载器
作用
将.class文件字节码内容加载到缓存,并将这些静态数据转换成方法区的运行时数据结构,然后在堆中生成一个代表这个类的 java.lang.Class
对象作为方法区中类数据的访问入口
类缓存:JavaSE类加载器按要求查找类,一旦某个类被加载到类加载器中,将维持加载(缓存)一段时间;可用GC回收
分类
双亲委派机制
双亲委派机制:父加载器中已有的类,不可重写
用户类加载器—>扩展类加载器—>根加载器
根加载器加载的包所在的路径
反射
概述
反射机制的作用
- 允许程序在执行期间借助于反射 API获得任何类的内部信息;
- 能直接操作任意对象的内部属性及方法(类名,属性,接口,方法)
由于反射机制,使Java由 静态语言 变为 动态语言
动态语言:运行时代码根据某些条件改变自身结构——解释型语言为主
C#
JavaScript
1
2
3
4function f(){
var x = "var a=3;var b=5;alert(a+b)";
eval(x);//弹窗输出5,8,本来x是字符串,但是在运行过程中,执行这段字符串,这就是动态语言的特性
}PHP
Python
- 静态语言:运行时结构不可变——编译型语言为主
- Java(准动态语言):通过反射机制获得类似动态语言的特性
- C
- C++
反射机制的流程
- 加载完类后,在 堆内存的方法区 中产生该类的java.lang.Class类型的对象
- 这个对象包含了类的完整结构和信息
- 一个类被加载后,类的整个结构都会被封装在Class类的对象中
- 所以通过这个Class对象,可以得到这个类的结构信息,称为反射
Java通过反射机制提供的功能
- 在运行时判断一个对象所属的类
- 在运行时构造任意一个类的对象
- 在运行时判断任意一个类具有的成员变量和方法
- 在运行时调用任意一个对象的成员变量和方法
- 在运行时处理注解
- 生成动态代理
反射相关的API
- java.lang.Class:类对象的类型
- java.lang.reflect.Method:代表类的方法
- java.lang.reflect.Field:代表类的成员变量
- java.lang.reflect.Constructor:代表类的构造器
Class类
有Class对象的数据类型
- class:外部类,成员(成员内部类,静态内部类),局部内部类,匿名内部类
- interface
- []
- enum
- annotation
- primitive type
- void
1 | Class c1 = Object.class;//对象 |
JRE在一个类被加载后,为每个类保存一个不变的java.lang.Class类型的对象,这个对象包含了类的完整结构和信息
java.lang.Class本身也是类,每个对象都能标识由哪个类生成
Class对象只能由系统建立对象,通过反射得到
一个Class对象是一个加载到JVM中的一个.class文件,一个加载的类在JVM中只会有一个java.lang.Class类型的实例
Class按类创建,同一数据类型、同一维度的数组也是同一个Class对象
Class类的常用方法
1 | //1.返回指定类名name的Class对象 |
获取Class类的方法
继承Object类
1 | class A exitends Object{ |
已知类名
通过类的class属性获取,最安全可靠,程序性能最高
1 | Class clazz = Person.class; |
已知类的实例
调用实例的getClass()方法获取Class对象
1 | Class clazz = person.getClass(); |
已知类的全限定名
通过Class类的静态方法forName()获取
1 | Class clazz = Class.forName("[域名倒置].包名.目标类名") |
基本内置类型的包装类
每个基本数据类型都有Type
1 | Class i = Integer.TYPE; |
获取类的运行时结构
1 | public static void main(String[] args) throws ClassNotFoundException { |
通过反射创建对象
无参
1 | Class c1 = Class.forName("User"); |
- 本质上是调用无参构造器
- 类的构造器访问权限必须足够
有参
- 通过
getDeclaredConstructor(ParamType param)
获得本类的指定构造器 - 向构造器的形参传递一个对象数组,里面包含了构造器所需的各个参数
- 通过Constructor实例化对象
通过反射操作属性
修饰符为private,不能直接访问
需要关闭程序的权限检测 xxx.setAccessible(true)
setAccessible
- Method、Field、Constructor对象都有setAcccessible()方法
- setAccessible()方法的作用是启动和禁用访问权限安全检测的开关
- 参数
- true:取消Java语言的访问检查
- 使原本无法被直接访问的private成员可被访问
- false(默认):进行Java的访问检查
- true:取消Java语言的访问检查
反射多时,关闭安全检测,提高效率
通过反射调用方法
- fun.invoke(instance,args[]):在instance上调用方法fun,参数为args[]
反射操作泛型
Java采用泛型擦除的机制引入泛型,Java中的泛型仅由编译器javac使用,确保数据的安全性和免去起那个会类型转换问题
编译完成,所有和泛型有关的类型全部擦除
- ParameterizedType:表示一种参数化类型,Collection
- GenericArray:表示一种元素类型是参数化类型或者类型变量的数组类型
- method.getGenericParameterTypes():获得泛型参数类型
反射获取参数类型
1 | public class Test { |
运行结果:
反射操作注解
1 |
|
获得类注解
1 | public static void main(){ |
获得属性注解
1 | /* 获得字段的值 */ |
注解
- 可以对程序做出解释 $\iff$ comment
- 可以被其他程序读取
格式
@注解(参数列表),如:@SuppressWarning("all")
附加在package,class,method,field上,可以通过反射机制实现对元数据的访问
4个元注解
元注解:负责注解其他注解的注解
@Target
描述注解的使用范围
@Retention
描述注解的生命周期
SOURCE < CLASS < RUNTIME
@Document
该注解是否被包含在生成的javadoc中
@Inherited
子类可以继承父类中的该注解
内置注解
@Overwrite
java.lang.Override, 只用于修饰方法 表示一个方法声明打算重写或覆盖超类中的方法声明
@Deprecated
java.lang.Deprecated,表示不鼓励使用的元素,通常因为存在危险或有更好的选择
@SuppressWarning
java.lang.SuppressWarnings,抑制编译时的警告信息
@SuppressWarning("all")
:消除全部警告@SuppressWarning("unchecked")
:@SuppressWarning(value={"unchecked","deprecated"})
自定义注解@interface
1 | //MyAnnotation.interface |
接口中声明的每一个方法,都是一个配置参数
- 方法名为参数名
注解中定义的参数,使用时必须设值
- 有默认值则可以不写
- 返回值类型为参数类型(Class,String,enum)
通过default声明参数默认值
经常使用空字符串,0作为默认值
1
2
3
4
5
6
public MyAnnotation{
String name() default "";
int age();
}