分析Item

分析Item例子1：

class Parent {
	/*
	<init>() {
	    super(); // JCES树节点,Item(void)
	    px = 0;  // JCES树节点,AssignItem(lhs = MemberItem(px))
	}
	*/
	int px = 0;
}

public class Test07 extends Parent {
	/*
	public <init>() {
	    super();  // JCES树节点,Item(void)
	    px = 1;   // JCES树节点,AssignItem(lhs = MemberItem(px))
	}
	*/
	int px = 1;

	public void t() {
		String[] a = new String[10];
		a[0] = "str";  // JCES树节点,AssignItem(lhs = IndexedItem(object))
		String b = a[0];

		int subx = this.px;
		int superx = super.px;

		if (b == "str") {
			instanceMethod(); // JCES树节点,Item(void)
		} else {
			staticMethod();   // JCES树节点,StackItem(int)
		}

		// JCES树节点,item=AssignItem(lhs = MemberItem(px))
		px++;
		new String(); // JCES树节点，StackItem(object)
		// (Object)new String(); // 这样的书写形式不被允许
	}

	public void instanceMethod() {}
	public static int staticMethod() {
		return 0;
	}
}

在访问Gen类的visitExec(JCExpressionStatement tree) 方法时，首先知道哪些表达式可能是ExpressionStatement，如下上下文无关方法：

ExpressionStatement:
    StatementExpression ;

StatementExpression:
    Assignment
    PreIncrementExpression
    PreDecrementExpression
    PostIncrementExpression
    PostDecrementExpression
    MethodInvocation
    ClassInstanceCreationExpression

对于StackItem来说，调用drop()后为空实现，不需要将方法的返回值压入栈，也不需要存储到本地变量表。对于AssignItem的drop()方法的实现如下：

public void drop() {
        lhs.store();
}

来说要看lhs，而lhs可能是如下几种情况：

AssignmentExpression:
    ConditionalExpression
    Assignment

Assignment:
    LeftHandSide AssignmentOperator AssignmentExpression

LeftHandSide:
    ExpressionName
    FieldAccess
    ArrayAccess

AssignmentOperator: one of
    = *= /= %= += -= <<= >>= >>>= &= ^= |=

所以只可能是IndexedItem、MemberItem与LocalItem、StaticItem这几项，调用其 store()方法：

（1）IndexedItem项的store()方法实现如下：

public void store() {
        items.code.emitop0(iastore + typecode);
}

（2）MemberItem项的store()方法实现如下。

public void store() {
        int poolIndex = items.pool.put(member);
        items.code.emitop2(putfield, poolIndex);
}

MemberItem代表实例成员或者实例方法，在这里不可能为实例方法。因为方法返回的类型是VAL而并非VAR。

（3）LocalItem项的store()方法实现如下。

如在方法中声明如下

int b;
b = 3;

其LocalItem的store()方法的实现如下：

public void store() {
    if (reg <= 3) {
        int opcode = istore_0 + Code.truncate(typecode) * 4 + reg;
        items.code.emitop0(opcode);
    }else {
        int opcode = istore + Code.truncate(typecode);
        items.code.emitop1w(opcode, reg);
    }
    // 往本地变量表中存储局部变量，关于store指令的压入只在这里有，其它地方没有
    // 这个在本地变量表中存储的变量通过store拿到了赋值，所以生命周期开始了
    items.code.setDefined(reg);
}

（4）StaticItem项的store()方法实现如下。

public void store() {
        int i = items.pool.put(member);
        items.code.emitop2(putstatic, i);
}

对如下的例子进行分析，例子如下：

class Parent{
	int px = 0;
}

public class Test08  extends Parent{

	int px = 1;

	public void t(){
		String[] a = new String[10];
		a[0] = "str";
		String b = a[0];

		int subx = this.px;
		int superx = super.px;

		if(b=="str"){
			instanceMethod();
		}else{
			staticMethod();
		}
	}

	public void instanceMethod(){}
	public static void staticMethod(){}
}

1、super()语句

调用链为visitExec(JCExpressionStatement tree)->visitIdentifier(JCIdentifier tree)，其中tree的参数如下截图。

生成SelfItem后调用load()方法，压入指令aload_0，返回StackItem(object)后放弃，在stack中压入的类型为UninitializedType类型。

生成MemberItem(Parent() nonvirtual)后做为result结果，从visitIdentifier()方法中返回。为的是调用父类的构造函数，这个MemberItem如下截图。

调用MemberItem的invoke()方法，常量池中放入父类构造函数，生成invokespecial调用指令。

返回Item(void)，是因为调用方法后返回的就是void类型，调用这个类型的drop()方法，这个方法无任何操作。

2、px=1语句

调用visitIdentifier(JCIdentifier tree)方法，处理px关键字，其参数如下截图所示。

生成SelfItem(this)并调用其load()方法，压入指令aload_0。返回StackItem(object)。

生成MemberItem，这是由于px是个实例变量。

生成ImmediateItem(1)并调用其load()方法，压入指令iconst_1，返回StackItem(int)。

生成AssignItem，各参数值如下截图。

调用AssignItem的drop()方法，这个方法会调用MemberItem的store()方法，将px变量加入常量池后，压入指令putfield。

最后生成的字节码如下：

public com.test19.Test08();
    flags: ACC_PUBLIC
    Code:
      stack=2, locals=1, args_size=1
         0: aload_0
         1: invokespecial #1                  // Method com/test19/Parent."<init>":()V
         4: aload_0
         5: iconst_1
         6: putfield      #2                  // Field px:I
         9: return

3、String[] a = new String[10]语句

生成ImmediateItem(10)后调用load()方法，压入bipush指令，返回StackItem(int)，舍弃。

将类型String放到常量池中，压入anewarray指令，生成StackItem(object)，调用load()方法，由于本来是栈内的内容，所以方法调用后无任何改变。

生成LocalItem，各参数的值如下截图。

调用store()方法，压入astore_1指令。最终的字节码如下：

0: bipush        10
2: anewarray     #3                  // class java/lang/String
5: astore_1

4、a[0] = "str"语句

语法树结构如下截图。

生成localItem(type=java.lang.String[]; reg=1)，调用load()方法将aload_1指令压入栈。返回stack(object)，舍弃。

生成immediate(0)，调用load()方法，压入iconst_0指令，返回stack(int)，舍弃。

生成indexed(object)，如下截图所示。

生成immediate(str)，调用load()方法，压入ldc1指令，返回stack(object)，舍弃。

生成assign(lhs = indexed(object))，如下截图所示。

调用drop()方法，这个方法会调用MemberItem的store()方法，压入指令aastore。

最终生成的class文件内容如下：

6: aload_1
7: iconst_0
8: ldc           #4                  // String str
10: aastore

5、String b = a[0]语句

生成localItem(type=java.lang.String[]; reg=1)，调用load()方法，压入指令aload_1，返回StackItem(object)，舍弃。

生成immediate(0)，调用load()方法，压入iconst_0指令，返回StackItem(int)，舍弃。

生成indexed(object)，调用load()方法，压入aaload指令，返回StackItem(object)，舍弃。

生成localItem(type=java.lang.String; reg=2)，调用store()方法，压入astore_2指令。

最终生成的class内容如下：

11: aload_1
12: iconst_0
13: aaload
14: astore_2

6、int subx = this.px

生成SelfItem(this)，调用load()方法，压入aload_0指令，生成StackItem(object)，舍弃。

生成member(px)，调用load()方法，将px放入常量池，压入指令getfield，生成StackItem(int)，舍弃。

生成localItem(type=int; reg=3)，调用store()方法，压入指令istore_3。

最终生成的class内容如下：

15: aload_0
16: getfield      #2                  // Field px:I
19: istore_3

7、if(b=="str"){instanceMethod();}else{staticMethod();}

生成的class文件内容如下：

26: aload_2
27: ldc           #4                  // String str
29: if_acmpne     39
32: aload_0
33: invokevirtual #6                  // Method instanceMethod:()V
36: goto          42
39: invokestatic  #7                  // Method staticMethod:()V

7.1、b=="str"

生成localItem(type=java.lang.String; reg=2)，调用load()方法后，压入aload_2指令，返回StackItem(object)，舍弃。

生成immediate(str)，调用load()方法，压入ldc1指令，返回StackItem(object)，舍弃。

生成cond(if_acmpeq)，调用mkCond()方法，无任何操作。

调用jumpFalse()方法，

7.2、instanceMethod()语句

生成SelfItem(this)，调用load()方法，压入aload_0指令，返回StackItem(object)，舍弃。

生成member(instanceMethod())，调用invoke()方法，将instanceMethod()方法存储到常量池中，压入invokevirtual指令。生成Item(void)，调用drop()方法，无任何操作。

压入goto_指令

7.3、staticMethod()语句

生成static(staticMethod())，调用invoke()方法，将staticMethod()方法存储到常量池中，压入invokestatic指令。在压入指令的过程中会处理pendingJumps

生成Item(void)，调用drop()方法，无任何操作。