`
xinklabi
  • 浏览: 1587862 次
  • 性别: Icon_minigender_1
  • 来自: 吉林
文章分类
社区版块
存档分类
最新评论

ASM介绍(java字节码操作利器)

 
阅读更多

 

 

转自:http://www.ibm.com/developerworks/cn/java/j-lo-asm30/

 

随着 AOP(Aspect Oriented Programming)的发展,代码动态生成已然成为 Java 世界中不可或缺的一环。本文将介绍一种小巧轻便的 Java 字节码操控框架 ASM,它能方便地生成和改造 Java 代码。著名的框架,如 Hibernate 和 Spring 在底层都用到了 ASM。比起传统的 Java 字节码操控框架,BCEL 或者 SERP,它具有更符合现代软件模式的编程模型和更迅捷的性能。

本文主要分为四个部分:首先将 ASM 和其他 Java 类生成方案作对比,然后大致介绍 Java 类文件的组织,最后针对最新的 ASM 3.0,描述其编程框架,并给出一个使用 ASM 进行 AOP 的例子,介绍调整函数内容,生成派生类,以及静态和动态生成类的方法。

 

 

引言

什么是 ASM ?

ASM 是一个 Java 字节码操控框架。它能被用来动态生成类或者增强既有类的功能。ASM 可以直

接产生二进制 class 文件,也可以在类被加载入 Java 虚拟机之前动态改变类行为。Java class 被存

储在严格格式定义的 .class 文件里,这些类文件拥有足够的元数据来解析类中的所有元素:类名称

、方法、属性以及 Java 字节码(指令)。ASM 从类文件中读入信息后,能够改变类行为,分析类

信息,甚至能够根据用户要求生成新类。

与 BCEL 和 SERL 不同,ASM 提供了更为现代的编程模型。对于 ASM 来说,Java class 被描述为

一棵树;使用 “Visitor” 模式遍历整个二进制结构;事件驱动的处理方式使得用户只需要关注于对其

编程有意义的部分,而不必了解 Java 类文件格式的所有细节:ASM 框架提供了默认的 “response

taker”处理这一切。

为什么要动态生成 Java 类?

动态生成 Java 类与 AOP 密切相关的。AOP 的初衷在于软件设计世界中存在这么一类代码,零散

而又耦合:零散是由于一些公有的功能(诸如著名的 log 例子)分散在所有模块之中;同时改变

log 功能又会影响到所有的模块。出现这样的缺陷,很大程度上是由于传统的 面向对象编程注重以

继承关系为代表的“纵向”关系,而对于拥有相同功能或者说方面 (Aspect)的模块之间的“横向”关

系不能很好地表达。例如,目前有一个既有的银行管理系统,包括 Bank、Customer、Account、

Invoice 等对象,现在要加入一个安全检查模块, 对已有类的所有操作之前都必须进行一次安全检

查。

图 1. ASM – AOP

然而 Bank、Customer、Account、Invoice 是代表不同的事务,派生自不同的父类,很难在高层上

加入关于 Security Checker 的共有功能。对于没有多继承的 Java 来说,更是如此。传统的解决方

案是使用 Decorator 模式,它可以在一定程度上改善耦合,而功能仍旧是分散的 —— 每个需要

Security Checker 的类都必须要派生一个 Decorator,每个需要 Security Checker 的方法都要被包

装(wrap)。下面我们以 Account类为例看一下 Decorator:

首先,我们有一个 SecurityChecker类,其静态方法 checkSecurity执行安全检查功能:

 

 public class SecurityChecker { 

 public static void checkSecurity() { 

 System.out.println("SecurityChecker.checkSecurity ..."); 

 //TODO real security check 

 } 

 }

 

另一个是 Account类:

 

 public class Account { 

 public void operation() { 

 System.out.println("operation..."); 

 //TODO real operation 

 } 

 }

 

若想对 operation加入对 SecurityCheck.checkSecurity()调用,标准的 Decorator 需要

先定义一个 Account类的接口:

 

 public interface Account { 

 void operation(); 

 }

 

然后把原来的 Account类定义为一个实现类:

 

 public class AccountImpl extends Account{ 

 public void operation() { 

 System.out.println("operation..."); 

 //TODO real operation 

 } 

 }

 

定义一个 Account类的 Decorator,并包装 operation方法:

 

 public class AccountWithSecurityCheck implements Account { 

 private  Account account; 

 public AccountWithSecurityCheck (Account account) { 

 this.account = account; 

 } 

 public void operation() { 

 SecurityChecker.checkSecurity(); 

 account.operation(); 

 } 

 }

 

在这个简单的例子里,改造一个类的一个方法还好,如果是变动整个模块,Decorator 很快就会演

化成另一个噩梦。动态改变 Java 类就是要解决 AOP 的问题,提供一种得到系统支持的可编程的

方法,自动化地生成或者增强 Java 代码。这种技术已经广泛应用于最新的 Java 框架内,如

Hibernate,Spring 等。

为什么选择 ASM ?

最直接的改造 Java 类的方法莫过于直接改写 class 文件。Java 规范详细说明了 class 文件的格式,

直接编辑字节码确实可以改变 Java 类的行为。直到今天,还有一些 Java 高手们使用最原始的工具

,如 UltraEdit 这样的编辑器对 class 文件动手术。是的,这是最直接的方法,但是要求使用者对

Java class 文件的格式了熟于心:小心地推算出想改造的函数相对文件首部的偏移量,同时重新计

算 class 文件的校验码以通过 Java 虚拟机的安全机制。

Java 5 中提供的 Instrument 包也可以提供类似的功能:启动时往 Java 虚拟机中挂上一个用户定义

的 hook 程序,可以在装入特定类的时候改变特定类的字节码,从而改变该类的行为。但是其缺点

也是明显的:

Instrument 包是在整个虚拟机上挂了一个钩子程序,每次装入一个新类的时候,都必须执行一遍

这段程序,即使这个类不需要改变。

直接改变字节码事实上类似于直接改写 class 文件,无论是调用 ClassFileTransformer. 

 

transform(ClassLoader loader, String className, Class 

classBeingRedefined, ProtectionDomain protectionDomain, 

 

byte[] classfileBuffer),还是 Instrument.redefineClasses(ClassDefinition

 

 

[] definitions),都必须提供新 Java 类的字节码。也就是说,同直接改写 class 文件一样,

使用 Instrument 也必须了解想改造的方法相对类首部的偏移量,才能在适当的位置上插入新的代

码。

尽管 Instrument 可以改造类,但事实上,Instrument 更适用于监控和控制虚拟机的行为。

一种比较理想且流行的方法是使用 java.lang.ref.proxy。我们仍旧使用上面的例子,给 

Account类加上 checkSecurity 功能 :

首先,Proxy 编程是面向接口的。下面我们会看到,Proxy 并不负责实例化对象,和 Decorator 模

式一样,要把 Account定义成一个接口,然后在 AccountImpl里实现 Account接口,接着实现

一个 InvocationHandlerAccount方法被调用的时候,虚拟机都会实际调用这个Invocation

Handler的 invoke方法:

 

 class SecurityProxyInvocationHandler implements InvocationHandler { 

 private Object proxyedObject; 

 public SecurityProxyInvocationHandler(Object o) { 

 proxyedObject = o; 

 } 

 

 public Object invoke(Object object, Method method, Object[] arguments) 

 throws Throwable { 

 if (object instanceof Account && method.getName().equals("opertaion")) { 

 SecurityChecker.checkSecurity(); 

 } 

 return method.invoke(proxyedObject, arguments); 

 } 

 }

 

最后,在应用程序中指定 InvocationHandler生成代理对象:

 

 public static void main(String[] args) { 

 Account account = (Account) Proxy.newProxyInstance( 

 Account.class.getClassLoader(), 

 new Class[] { Account.class }, 

 new SecurityProxyInvocationHandler(new AccountImpl()) 

 ); 

 account.function(); 

 }

 

其不足之处在于:

Proxy 是面向接口的,所有使用 Proxy 的对象都必须定义一个接口,而且用这些对象的代码也必

须是对接口编程的:Proxy 生成的对象是接口一致的而不是对象一致的:例子中 Proxy.newPr

 

 

oxyInstance生成的是实现 Account接口的对象而不是 AccountImpl的子类。这对于软件架

构设计,尤其对于既有软件系统是有一定掣肘的。

Proxy 毕竟是通过反射实现的,必须在效率上付出代价:有实验数据表明,调用反射比一般的函

数开销至少要大 10 倍。而且,从程序实现上可以看出,对 proxy class 的所有方法调用都要通过

使用反射的 invoke 方法。因此,对于性能关键的应用,使用 proxy class 是需要精心考虑的,以

避免反射成为整个应用的瓶颈。

ASM 能够通过改造既有类,直接生成需要的代码。增强的代码是硬编码在新生成的类文件内部的

,没有反射带来性能上的付出。同时,ASM 与 Proxy 编程不同,不需要为增强代码而新定义一个

接口,生成的代码可以覆盖原来的类,或者是原始类的子类。它是一个普通的 Java 类而不是 proxy

类,甚至可以在应用程序的类框架中拥有自己的位置,派生自己的子类。

相比于其他流行的 Java 字节码操纵工具,ASM 更小更快。ASM 具有类似于 BCEL 或者 SERP 的

功能,而只有 33k 大小,而后者分别有 350k 和 150k。同时,同样类转换的负载,如果 ASM 是

60% 的话,BCEL 需要 700%,而 SERP 需要 1100% 或者更多。

ASM 已经被广泛应用于一系列 Java 项目:AspectWerkz、AspectJ、BEA WebLogic、IBM AUS、

OracleBerkleyDB、Oracle TopLink、Terracotta、RIFE、EclipseME、Proactive、Speedo、Fractal

、EasyBeans、BeanShell、Groovy、Jamaica、CGLIB、dynaop、Cobertura、JDBCPersistence、

JiP、SonarJ、Substance L&F、Retrotranslator 等。Hibernate 和 Spring 也通过 cglib,另一个更高

层一些的自动代码生成工具使用了 ASM。

 

回页首

Java 类文件概述

所谓 Java 类文件,就是通常用 javac 编译器产生的 .class 文件。这些文件具有严格定义的格式。

为了更好的理解 ASM,首先对 Java 类文件格式作一点简单的介绍。Java 源文件经过 javac 编译器

编译之后,将会生成对应的二进制文件(如下图所示)。每个合法的 Java 类文件都具备精确的定

义,而正是这种精确的定义,才使得 Java 虚拟机得以正确读取和解释所有的 Java 类文件。

图 2. ASM – Javac 流程

Java 类文件是 8 位字节的二进制流。数据项按顺序存储在 class 文件中,相邻的项之间没有间隔,

这使得 class 文件变得紧凑,减少存储空间。在 Java 类文件中包含了许多大小不同的项,由于每一

项的结构都有严格规定,这使得 class 文件能够从头到尾被顺利地解析。下面让我们来看一下 Java

类文件的内部结构,以便对此有个大致的认识。

例如,一个最简单的 Hello World 程序:

 

 public class HelloWorld { 

 public static void main(String[] args) { 

 System.out.println("Hello world"); 

 } 

 }

 

经过 javac 编译后,得到的类文件大致是:

图 3. ASM – Java 类文件

从上图中可以看到,一个 Java 类文件大致可以归为 10 个项:

 

Magic:该项存放了一个 Java 类文件的魔数(magic number)和版本信息。一个 Java 类文件的

前 4 个字节被称为它的魔数。每个正确的 Java 类文件都是以 0xCAFEBABE 开头的,这样保证了

Java 虚拟机能很轻松的分辨出 Java 文件和非 Java 文件。

 

Version:该项存放了 Java 类文件的版本信息,它对于一个 Java 文件具有重要的意义。因为

Java 技术一直在发展,所以类文件的格式也处在不断变化之中。类文件的版本信息让虚拟机知道

如何去读取并处理该类文件。

 

Constant Pool:该项存放了类中各种文字字符串、类名、方法名和接口名称、final 变量以及对

外部类的引用信息等常量。虚拟机必须为每一个被装载的类维护一个常量池,常量池中存储了相

应类型所用到的所有类型、字段和方法的符号引用,因此它在 Java 的动态链接中起到了核心的

作用。常量池的大小大概占到了整个类大小的 60% 左右。

 

Access_flag:该项指明了该文件中定义的是类还是接口(一个 class 文件中只能有一个类或接

口),同时还指名了类或接口的访问标志,如 public,private, abstract 等信息。

 

This Class:指向表示该类全限定名称的字符串常量的指针。

 

Super Class:指向表示父类全限定名称的字符串常量的指针。

 

Interfaces:一个指针数组,存放了该类或父类实现的所有接口名称的字符串常量的指针。以上

三项所指向的常量,特别是前两项,在我们用 ASM 从已有类派生新类时一般需要修改:将类名

称改为子类名称;将父类改为派生前的类名称;如果有必要,增加新的实现接口。

 

Fields:该项对类或接口中声明的字段进行了细致的描述。需要注意的是,fields 列表中仅列出

了本类或接口中的字段,并不包括从超类和父接口继承而来的字段。

 

Methods:该项对类或接口中声明的方法进行了细致的描述。例如方法的名称、参数和返回值类

型等。需要注意的是,methods 列表里仅存放了本类或本接口中的方法,并不包括从超类和父接

口继承而来的方法。使用 ASM 进行 AOP 编程,通常是通过调整 Method 中的指令来实现的。

 

Class attributes:该项存放了在该文件中类或接口所定义的属性的基本信息。

事实上,使用 ASM 动态生成类,不需要像早年的 class hacker 一样,熟知 class 文件的每一段,

以及它们的功能、长度、偏移量以及编码方式。ASM 会给我们照顾好这一切的,我们只要告诉

ASM 要改动什么就可以了 —— 当然,我们首先得知道要改什么:对类文件格式了解的越多,我

们就能更好地使用 ASM 这个利器。

 

回页首

ASM 3.0 编程框架

ASM 通过树这种数据结构来表示复杂的字节码结构,并利用 Push 模型来对树进行遍历,在遍历

过程中对字节码进行修改。所谓的 Push 模型类似于简单的 Visitor 设计模式,因为需要处理字节

码结构是固定的,所以不需要专门抽象出一种 Vistable 接口,而只需要提供 Visitor 接口。所谓

Visitor 模式和 Iterator 模式有点类似,它们都被用来遍历一些复杂的数据结构。Visitor 相当于用户

派出的代表,深入到算法内部,由算法安排访问行程。Visitor 代表可以更换,但对算法流程无法干

涉,因此是被动的,这也是它和 Iterator 模式由用户主动调遣算法方式的最大的区别。

在 ASM 中,提供了一个 ClassReader类,这个类可以直接由字节数组或由 class 文件间接的获

得字节码数据,它能正确的分析字节码,构建出抽象的树在内存中表示字节码。它会调用 accept

方法,这个方法接受一个实现了 ClassVisitor接口的对象实例作为参数,然后依次调用Class

Visitor接口的各个方法。字节码空间上的偏移被转换成 visit 事件时间上调用的先后,所谓 visit

事件是指对各种不同 visit 函数的调用,ClassReader知道如何调用各种 visit 函数。在这个过程中

用户无法对操作进行干涉,所以遍历的算法是确定的,用户可以做的是提供不同的 Visitor 来对字节

码树进行不同的修改。ClassVisitor会产生一些子过程,比如 visitMethod会返回一个实现 

MethordVisitor接口的实例,visitField会返回一个实现 FieldVisitor接口的实例,完

成子过程后控制返回到父过程,继续访问下一节点。因此对于ClassReader来说,其内部顺序访

问是有一定要求的。实际上用户还可以不通过 ClassReader类,自行手工控制这个流程,只要按

照一定的顺序,各个 visit 事件被先后正确的调用,最后就能生成可以被正确加载的字节码。当然获

得更大灵活性的同时也加大了调整字节码的复杂度。

各个 ClassVisitor通过职责链 (Chain-of-responsibility) 模式,可以非常简单的封装对字节码

的各种修改,而无须关注字节码的字节偏移,因为这些实现细节对于用户都被隐藏了,用户要做

的只是覆写相应的 visit 函数。

ClassAdaptor类实现了 ClassVisitor接口所定义的所有函数,当新建一个 ClassAdaptor

对象的时候,需要传入一个实现了ClassVisitor接口的对象,作为职责链中的下一个访问者

(Visitor),这些函数的默认实现就是简单的把调用委派给这个对象,然后依次传递下去形成职

责链。当用户需要对字节码进行调整时,只需从 ClassAdaptor类派生出一个子类,覆写需要修

改的方法,完成相应功能后再把调用传递下去。这样,用户无需考虑字节偏移,就可以很方便的控

制字节码。

每个 ClassAdaptor类的派生类可以仅封装单一功能,比如删除某函数、修改字段可见性等等,

然后再加入到职责链中,这样耦合更小,重用的概率也更大,但代价是产生很多小对象,而且职责

链的层次太长的话也会加大系统调用的开销,用户需要在低耦合和高效率之间作出权衡。用户可以

通过控制职责链中 visit 事件的过程,对类文件进行如下操作:

 

删除类的字段、方法、指令:只需在职责链传递过程中中断委派,不访问相应的 visit 方法即可

 

 

,比如删除方法时只需直接返回 null,而不是返回由 visitMethod方法返回的 MethodVis

 

 

itor对象。

 

 class DelLoginClassAdapter extends ClassAdapter { 

 public DelLoginClassAdapter(ClassVisitor cv) { 

 super(cv); 

 } 

 

 public MethodVisitor visitMethod(final int access, final String name, 

 final String desc, final String signature, final String[] exceptions) { 

 if (name.equals("login")) { 

 return null; 

 } 

 return cv.visitMethod(access, name, desc, signature, exceptions); 

 } 

 }

 

 

 

修改类、字段、方法的名字或修饰符:在职责链传递过程中替换调用参数。

 

 class AccessClassAdapter extends ClassAdapter { 

 public AccessClassAdapter(ClassVisitor cv) { 

 super(cv); 

 } 

 

 public FieldVisitor visitField(final int access, final String name, 

        final String desc, final String signature, final Object value) { 

        int privateAccess = Opcodes.ACC_PRIVATE; 

        return cv.visitField(privateAccess, name, desc, signature, value); 

    } 

 }

 

 

 

增加新的类、方法、字段

 

ASM 的最终的目的是生成可以被正常装载的 class 文件,因此其框架结构为客户提供了一个生成

字节码的工具类 —— ClassWriter。它实现了 ClassVisitor接口,而且含有一个 toByteAr

ray()函数,返回生成的字节码的字节流,将字节流写回文件即可生产调整后的 class 文件。一般

它都作为职责链的终点,把所有 visit 事件的先后调用(时间上的先后),最终转换成字节码的位

置的调整(空间上的前后),如下例:

 

 ClassWriter  classWriter = new ClassWriter(ClassWriter.COMPUTE_MAXS); 

 ClassAdaptor delLoginClassAdaptor = new DelLoginClassAdapter(classWriter); 

 ClassAdaptor accessClassAdaptor = new AccessClassAdaptor(delLoginClassAdaptor); 

 

 ClassReader classReader = new ClassReader(strFileName); 

 classReader.accept(classAdapter, ClassReader.SKIP_DEBUG);

 

综上所述,ASM 的时序图如下:

图 4. ASM – 时序图

点击查看大图

 

回页首

使用 ASM3.0 进行 AOP 编程

我们还是用上面的例子,给 Account类加上 security check 的功能。与 proxy 编程不同,ASM 不

需要将 Account声明成接口,Account可以仍旧是一个实现类。ASM 将直接在 Account类上动

手术,给 Account类的 operation方法首部加上对SecurityChecker.checkSecurity的调

用。

首先,我们将从 ClassAdapter继承一个类。ClassAdapter是 ASM 框架提供的一个默认类,

负责沟通 ClassReader和 ClassWriter。如果想要改变 ClassReader处读入的类,然后从 

ClassWriter处输出,可以重写相应的 ClassAdapter函数。这里,为了改变 Account类的 

operation 方法,我们将重写 visitMethdod方法。

 

class AddSecurityCheckClassAdapter extends ClassAdapter {

 

    public AddSecurityCheckClassAdapter(ClassVisitor cv) {

        //Responsechain 的下一个 ClassVisitor,这里我们将传入 ClassWriter,

        // 负责改写后代码的输出

        super(cv); 

    } 

    

    // 重写 visitMethod,访问到 "operation" 方法时,

    // 给出自定义 MethodVisitor,实际改写方法内容

    public MethodVisitor visitMethod(final int access, final String name, 

        final String desc, final String signature, final String[] exceptions) { 

        MethodVisitor mv = cv.visitMethod(access, name, desc, signature,exceptions);

        MethodVisitor wrappedMv = mv; 

        if (mv != null) { 

            // 对于 "operation" 方法

            if (name.equals("operation")) { 

                // 使用自定义 MethodVisitor,实际改写方法内容

                wrappedMv = new AddSecurityCheckMethodAdapter(mv); 

            } 

        } 

        return wrappedMv; 

    } 

}

 

下一步就是定义一个继承自 MethodAdapter的 AddSecurityCheckMethodAdapter,在“op

eration”方法首部插入对SecurityChecker.checkSecurity()的调用。

 

 class AddSecurityCheckMethodAdapter extends MethodAdapter { 

 public AddSecurityCheckMethodAdapter(MethodVisitor mv) { 

 super(mv); 

 } 

 

 public void visitCode() { 

 visitMethodInsn(Opcodes.INVOKESTATIC, "SecurityChecker", 

 "checkSecurity", "()V"); 

 } 

 }

 

其中,ClassReader读到每个方法的首部时调用 visitCode(),在这个重写方法里,我们用vi

sitMethodInsn(Opcodes.INVOKESTATIC, "SecurityChecker","checkSecurity", 

"()V");插入了安全检查功能。

最后,我们将集成上面定义的 ClassAdapter,ClassReader和 ClassWriter产生修改后的 

Account类文件 :

 

 import java.io.File; 

 import java.io.FileOutputStream; 

 import org.objectweb.asm.*; 

    

 public class Generator{ 

 public static void main() throws Exception { 

 ClassReader cr = new ClassReader("Account"); 

 ClassWriter cw = new ClassWriter(ClassWriter.COMPUTE_MAXS); 

 ClassAdapter classAdapter = new AddSecurityCheckClassAdapter(cw); 

 cr.accept(classAdapter, ClassReader.SKIP_DEBUG); 

 byte[] data = cw.toByteArray(); 

 File file = new File("Account.class"); 

 FileOutputStream fout = new FileOutputStream(file); 

 fout.write(data); 

 fout.close(); 

 } 

 }

 

执行完这段程序后,我们会得到一个新的 Account.class 文件,如果我们使用下面代码:

 

 public class Main { 

 public static void main(String[] args) { 

 Account account = new Account(); 

 account.operation(); 

 } 

 }

 

使用这个 Account,我们会得到下面的输出:

 

 SecurityChecker.checkSecurity ... 

 operation...

 

也就是说,在 Account原来的 operation内容执行之前,进行了 SecurityChecker.checkS

ecurity()检查。

将动态生成类改造成原始类 Account 的子类

上面给出的例子是直接改造 Account类本身的,从此 Account类的 operation方法必须进行

checkSecurity 检查。但事实上,我们有时仍希望保留原来的 Account类,因此把生成类定义为原

始类的子类是更符合 AOP 原则的做法。下面介绍如何将改造后的类定义为 Account的子类Acco

unt$EnhancedByASM。其中主要有两项工作 :

改变 Class Description, 将其命名为 Account$EnhancedByASM,将其父类指定为 Account。

改变构造函数,将其中对父类构造函数的调用转换为对 Account构造函数的调用。

在 AddSecurityCheckClassAdapter类中,将重写 visit方法:

 

 public void visit(final int version, final int access, final String name, 

 final String signature, final String superName, 

 final String[] interfaces) { 

 String enhancedName = name + "$EnhancedByASM";  // 改变类命名

 enhancedSuperName = name; // 改变父类,这里是”Account”

 super.visit(version, access, enhancedName, signature, 

 enhancedSuperName, interfaces); 

 }

 

改进 visitMethod方法,增加对构造函数的处理:

 

 public MethodVisitor visitMethod(final int access, final String name, 

 final String desc, final String signature, final String[] exceptions) { 

 MethodVisitor mv = cv.visitMethod(access, name, desc, signature, exceptions); 

 MethodVisitor wrappedMv = mv; 

 if (mv != null) { 

 if (name.equals("operation")) { 

 wrappedMv = new AddSecurityCheckMethodAdapter(mv); 

 } else if (name.equals("<init>")) { 

 wrappedMv = new ChangeToChildConstructorMethodAdapter(mv, 

 enhancedSuperName); 

 } 

 } 

 return wrappedMv; 

 }

 

这里 ChangeToChildConstructorMethodAdapter将负责把 Account的构造函数改造成其子

类 Account$EnhancedByASM的构造函数:

 

 class ChangeToChildConstructorMethodAdapter extends MethodAdapter { 

 private String superClassName; 

 

 public ChangeToChildConstructorMethodAdapter(MethodVisitor mv, 

 String superClassName) { 

 super(mv); 

 this.superClassName = superClassName; 

 } 

 

 public void visitMethodInsn(int opcode, String owner, String name, 

 String desc) { 

 // 调用父类的构造函数时

 if (opcode == Opcodes.INVOKESPECIAL && name.equals("<init>")) { 

 owner = superClassName; 

 } 

 super.visitMethodInsn(opcode, owner, name, desc);// 改写父类为 superClassNa

me 

 } 

 }

 

最后演示一下如何在运行时产生并装入产生的 Account$EnhancedByASM。 我们定义一个 Util

 类,作为一个类工厂负责产生有安全检查的Account类:

 

public class SecureAccountGenerator { 

 

    private static AccountGeneratorClassLoader classLoader = 

        new AccountGeneratorClassLoade(); 

    

    private static Class secureAccountClass; 

    

    public Account generateSecureAccount() throws ClassFormatError, 

        InstantiationException, IllegalAccessException { 

        if (null == secureAccountClass) {            

            ClassReader cr = new ClassReader("Account"); 

            ClassWriter cw = new ClassWriter(ClassWriter.COMPUTE_MAXS); 

            ClassAdapter classAdapter = new AddSecurityCheckClassAdapter(cw);

            cr.accept(classAdapter, ClassReader.SKIP_DEBUG); 

            byte[] data = cw.toByteArray(); 

            secureAccountClass = classLoader.defineClassFromClassFile( 

               "Account$EnhancedByASM",data); 

        } 

        return (Account) secureAccountClass.newInstance(); 

    } 

    

    private static class AccountGeneratorClassLoader extends ClassLoader {

        public Class defineClassFromClassFile(String className, 

            byte[] classFile) throws ClassFormatError { 

            return defineClass("Account$EnhancedByASM", classFile, 0, 

         classFile.length());

        } 

    } 

}

 

静态方法 SecureAccountGenerator.generateSecureAccount()在运行时动态生成一个加上了安全检查的 Account子类。著名的 Hibernate 和 Spring 框架,就是使用这种技术实现了 AOP 的“无损注入”。

 

回页首

小结

最后,我们比较一下 ASM 和其他实现 AOP 的底层技术:

表 1. AOP 底层技术比较

AOP 底层技术

功能

性能

面向接口编程

编程难度

直接改写 class 文件

完全控制类

无明显性能代价

不要求

 

高,要求对 cla

ss 文件结构和

Java 字节码有

深刻了解

 

JDK Instrument

完全控制类

无论是否改写,每个类装入时都要执行 hook 程序

不要求

 

高,要求对 cl

ass 文件结构和

Java 字节码有

深刻了解

 

JDK Proxy

只能改写 method

反射引入性能代价

要求

ASM

几乎能完全控制类

无明显性能代价

不要求

 

中,能操纵需要

改写部分的

Java 字节码

 

参考资料

Download ASM 3.0.

Tutorial for ASM 2.0 ,the latest document version for How to use ASM.

In Java VM Spec, get detailed information of the Java Class File format.

官网:http://asm.ow2.org/

 

分享到:
评论

相关推荐

    Java虚拟机字节码.zip

    1. **ASM框架**: ASM是一个Java字节码操控和分析框架,常用于动态代理、AOP(面向切面编程)和代码生成。通过ASM,程序员可以直接操作字节码,生成和转换Java类。ASM提供了一套详细的API,允许开发人员在字节码级别...

    asm-3.2-bin.zip

    总的来说,ASM-3.2-bin.zip是开发者进行深度字节码操作的利器,适用于那些需要对Java字节码有精细控制的场合,比如动态代理框架、代码生成工具、性能监控以及安全防护等场景。了解并熟练掌握ASM,将极大地扩展Java...

    asm 3.3.1 jar

    ASM是一个流行的Java字节码操作和分析框架,主要用于动态生成类或者增强已有类的功能。ASM 3.3.1 版本是这个框架的一个特定发行版,它在2009年发布,提供了对Java字节码的低级别操作能力。在本文中,我们将深入探讨...

    AOP 的利器 ASM 3.0

    本文将详细介绍一种轻量级的Java字节码操控框架——ASM 3.0,并探讨其如何帮助实现AOP。 #### 什么是ASM? ASM是一个用于动态生成或增强现有Java类的字节码操控框架。它可以被用来直接修改`.class`文件,也可以在...

    ASM3.0指南翻译

    ASM3.0作为Java字节码操作领域的佼佼者,凭借其精巧的设计、卓越的性能和开放的生态,为Java开发者提供了前所未有的灵活性和效率。无论是代码优化、安全审计、性能监控,还是面向切面编程等场景,ASM都能发挥关键...

    asm-bo-0.3.5.zip

    ASM BYTECODE OUTLINE插件是针对Android Studio的一款实用工具,主要功能是帮助开发者直观地查看和理解Java字节码。ASM是一个轻量级的Java字节码操控和分析框架,它可以直接用来动态生成和修改类或者作为其他代码...

    asm-commons-3.3.jar

    ASM Commons 3.3.jar 是一个专门用于处理Java字节码的库,它在Java开发领域扮演着重要角色,尤其对于那些需要对运行时的类进行深度操作的开发者来说。ASM Commons是ASM框架的一个扩展模块,其主要功能是提供一些通用...

    cglib.jar和cglib代理必备的asm所有jar

    Cglib的核心是ASM库,ASM是一个Java字节码操控和分析框架,它可以直接生成和解析Java类的字节码。ASM提供了一种方式,让我们可以在运行时动态创建类或者增强已有类的功能,这对于很多框架和库来说是必不可少的工具。...

    cglib和asm jar包

    CGLIB和ASM是Java开发中两个非常重要的库,主要用于字节码操作和动态代理技术。在Java中,字节码操作允许开发者在运行时...在学习和使用这两个库时,需要理解Java字节码的基础知识,以及如何利用它们实现特定的需求。

    xbean-asm-util-3.18.zip

    XBean Asm Util是一个基于ASM库的Java工具集,它为处理和操作Java字节码提供了强大的功能。ASM是一个Java字节码操控和分析框架,可以用来动态生成类或者增强已有类的功能。XBean Asm Util则在此基础上进行了封装,...

    基于Java Agent实现的自测,联调Mock利器.zip

    ASM是一个底层的字节码库,可以直接操作和生成Java类的字节码,而ByteBuddy则提供了一个更高级的API,使得字节码操作变得更加简单。 总的来说,这个项目为开发者提供了一种创新的方式,利用Java Agent技术在自测和...

    asmtools.zip

    asmtools包是ASM库的一个组成部分,ASM是一个广泛使用的Java字节码操纵和分析框架。ASM库主要被用于动态代理、字节码生成以及对Java类进行静态或动态分析等领域。asmtools则是面向开发者的实用工具,它提供了一些...

    MyPerf4J-ASM-3.2.0.zip

    该工具利用ASM库,一个Java字节码操控和分析框架,对应用程序进行动态字节码注入,从而实现对方法执行时间的精确统计。ASM库允许MyPerf4J在运行时修改类的字节码,进而获取到方法级别的调用频率和耗时数据,这对于...

    java程序运行跟踪利器Btrace分享

    Btrace利用Java的代理技术(JDK Proxy)和Java字节码操作库(ASM)来实现其功能,因此无需修改或重新编译源代码,极大地提高了问题诊断的效率。 **安装Btrace** 1. 首先,你需要从官方网站...

    hibernate3-jar

    其次,`asm.jar`和`asm-attr.jar`是ASM库的两个组成部分,ASM是一个轻量级的Java字节码操控和分析框架。在Hibernate中,ASM被用于动态生成代理类和CGLIB的底层支持,以实现对Java对象的透明持久化。 `antlr-2.7.6....

    Arthas - Java 诊断利器.docx

    - `asm`命令:查看类的ASM字节码表示,便于理解类结构。 - `console`命令:打开一个交互式的脚本执行环境,可以直接运行Java代码。 - ` watch`, `update`, `execute`等命令:用于动态修改运行中的类或者方法。 ...

    CGLIB解析

    CGLIB通过ASM库来操作字节码,ASM是一个Java字节码操控和分析框架,可以直接生成和分析Java字节码,为动态代理、AOP等场景提供底层支持。 **2. 动态代理** CGLIB通常用于为Java对象创建代理,这种代理可以拦截方法...

    Minecraft coremod Java Agent旨在修补在许多不同mod中发现的严重安全漏洞.zip

    2. **字节码操作**:一旦识别出潜在的安全问题,Java Agent会使用ASM、ByteBuddy等字节码库,对有问题的类的字节码进行修改。这一步可以插入额外的验证逻辑、替换危险方法、添加安全边界等,以防止恶意行为。 3. **...

    Java 反射-动态代理

    CGLIB是基于ASM库,通过字节码技术动态生成子类来实现代理。Spring框架默认使用CGLIB作为AOP(面向切面编程)的底层实现。 动态代理的应用场景广泛,包括: - AOP:在不修改源代码的情况下,为方法添加预处理和后...

    Java 诊断工具.zip

    6. **类和方法分析**:`class`和`jad`命令可以查看类信息,包括类的加载路径、方法签名、字段信息等,`asm`则能查看字节码。 7. **诊断线程问题**:`thread`命令可以查看和操作线程,包括堆栈跟踪、线程死锁检测等...

Global site tag (gtag.js) - Google Analytics