Bdq's blog

范型

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

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

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

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

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

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

例如，如果你有一个类：

public class Wrapper<T> {
  T value;
  public Wrapper(T t) { value = t; }
}

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

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

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

public Object get() { return value; }

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

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

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

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

可变参数

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

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

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

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:

length(new int[] { 1, 2, 3 });

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

length(1, 2, 3);

包装/解包装

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

Integer i = 3;

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

Integer i = new Integer(3);

Debug

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

例如，

CtClass.debugDump = "./dump";

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

Bdq的IT技术博客

Javassist之其它特性

范型

可变参数

包装/解包装

Debug