我正在破解 javac 以添加功能,我目前正在测试这段代码:
public class HelloWorld {
int f = 0;
int g(boolean x){
assert(x);
return 5;
}
int m(boolean x){
return n() - g(x) + p();
}
int n() {
return f == 0 ? f += 1 : 0;
}
int p() {
return f == 2 ? f += 2 : 0;
}
public static void main(String[] args) {
HelloWorld test = new HelloWorld();
int val = test.m(true);
System.out.println(val);
}
}
重要的是 g() 可能会抛出 AssertionError,但是,在生成 m() 时,它甚至会在访问 n() 之前生成断言。
有谁知道编译器为什么或如何做到这一点?
谢谢。