Javassist之其它特性

范型

Javassist的低级API支持完全的Java5引入的范型。另一方面,高级API例如CtClass无法直接支持范型。然而,这对字节码修改来说不是个紧要的问题。

Java的范型技术是通过擦除技术实现的。编译后,所有参数类型都被删除。例如,假设你的源代码声明参数类型Vector<String>

1
2
3
Vector<String> v = new Vector<String&gt();
:
String s = v.get(0);

编译的字节码与下面这段代码等同:

1
2
3
Vector v = new Vector();
:
String s = (String)v.get(0);

所以当你写字节码的转换,你可以删除所有类型参数。由于Javassist内置的编译器不支持范型,所以如果源代码要被Javassist编译,你必须在调用处插入明确的类型转换,例如,通过CtMethod.make()。如果源代码是由Javac之类的普通Java编译器编译的,则不需要类型转换。

例如,如果你有一个类:

1
2
3
4
public class Wrapper<T> {
T value;
public Wrapper(T t) { value = t; }
}

同时想要添加一个接口Getter<T>到类Wrapper<T>

1
2
3
public interface Getter<T> {
T get();
}

那么你真正要添加的接口是Getter(类型参数<T>被删除)同时添加到Wrapper类的方法是如下:

1
public Object get() { return value; }

注意,没有类型参数是必须的。由于get返回一个Object,所以如果源代码被Javassist编译在调用方需要明确的类型转换。例如,如果类型参数T是String,那么(String)必须被插入:

1
2
Wrapper w = ...
String s = (String)w.get();

如果源代码是被普通的Java编译器编译,类型转换是不需要的,因为它会自动的插入类型转换。

如果你需要通过反射在运行时访问类型参数,你必须添加范型签名到类文件中。更详细的说明,请查看CtClass的setGenericSignature方法的API文档。

可变参数

目前,Javassist无法直接支持可变参数。所以为了创建一个可变参数的方法,你必须明确的设置方法修改器。但是这很简单。假设现在你想要创建下面的方法:

1
public int length(int... args) { return args.length; }

下面的代码使用Javassist生成上述方法:

1
2
3
4
5
6
7
8
9
CtClass cc = /* target class */;
CtMethod m = CtMethod.make("public int length(int[] args) { return args.length; }", cc);
m.setModifiers(m.getModifiers() | Modifier.VARARGS);
cc.addMethod(m);
The parameter type int... is changed into int[]
and Modifier.VARARGS is added to the method modifiers.

To call this method in the source code compiled by the compiler embedded in Javassist,
you must write:
1
length(new int[] { 1, 2, 3 });

可以使用可变参数的机制代替:

1
length(1, 2, 3);

包装/解包装

包装和解包装是Java的语法糖。没有相关的字节码。所以Javassist的编译器不支持这些。例如,下面的语句在Java中是合法的:

1
Integer i = 3;

因为包装是隐式进行的。然而,对于Javassist,你必须明确将值的类型从int转换成Integer:

1
Integer i = new Integer(3);

Debug

设置CtClass.debugDump到指定目录。然后所有的类文件修改和生成都被存储到这个目录。设置CtClass.debugDump为null时停止。默认值是null。

例如,

1
CtClass.debugDump = "./dump";

所有类文件的修改被存储到./dump。

坚持原创技术分享,您的支持将鼓励我继续创作!