OpenJDK源码研究笔记(十一):浅析Javac编译过程中的抽象语法树(IfElse,While,Switch等语句的抽象和封装)

浅析OpenJDK源码编译器Javac的语法树包com.sun.source.tree。

抽象语法树，是编译原理中的经典问题，有点难，本文只是随便写写。

0.赋值语句

public interface AssignmentTree extends ExpressionTree {
ExpressionTree getVariable();
ExpressionTree getExpression();
}

一个赋值语句的表达式,variable = expression，例如 a = a+1。

按照AssignmentTree 接口中的抽象，一个赋值语句的抽象语法树可以拆分成2个部分：左边的变量和右边的表达式。

变量和表达式也都是一个语法树。

更多语句

1.块语句

语法：{ }， { statements }， static { statements }

抽象语法树定义

public interface BlockTree extends StatementTree {
/**
* 是否为静态初始化
*/
boolean isStatic();
/**
* 初始化语句集合
*/
List<? extends StatementTree> getStatements();
}

2.类的定义

语法：modifiers class simpleName typeParameters extends extendsClause implements implementsClause {

members

}

抽象语法树定义

public interface ClassTree extends StatementTree {
/**
* 类的修饰符
*/
ModifiersTree getModifiers();
/**
* 类的简单名字
*/
Name getSimpleName();
/**
* 类的参数类型
*/
List<? extends TypeParameterTree> getTypeParameters();
/**
* 类的继承父类的语句
*/
Tree getExtendsClause();
/**
* 类的实现接口的语句
*/
List<? extends Tree> getImplementsClause();
/**
* 类的成员集合
*/
List<? extends Tree> getMembers();
}

3.Do-While循环

语法：do

statement

while ( expression );

抽象语法树定义

public interface DoWhileLoopTree extends StatementTree {
/**
* 条件表达式
*/
ExpressionTree getCondition();

/**
* 条件成立时，执行的语句
*/
StatementTree getStatement();
}

4.For-each循环

语法：for ( variable : expression )

statement

抽象语法树定义

public interface EnhancedForLoopTree extends StatementTree {
/**
* for-each循环中的变量定义
*/
VariableTree getVariable();

/**
* for-each循环中的需要遍历的变量(表达式)
*/
ExpressionTree getExpression();

/**
* for-each一次遍历过程中的语句
*/
StatementTree getStatement();
}

5.传统的for循环

语法：for ( initializer ; condition ; update )

statement

抽象语法树定义

public interface ForLoopTree extends StatementTree {
/**
* for循环中的初始化语句集合
*/
List<? extends StatementTree> getInitializer();

/**
* for循环中的判断条件
*/
ExpressionTree getCondition();

/**
* for循环中的更新条件语句
*/
List<? extends ExpressionStatementTree> getUpdate();

/**
* for循环中一次遍历执行的语句
*/
StatementTree getStatement();
}

6.Switch语句

语法：switch ( expression ) {

cases

}

抽象语法树定义

public interface SwitchTree extends StatementTree {
/**
* switch语句的条件表达式
*/
ExpressionTree getExpression();

/**
* switch语句的case表达式集合
*/
List<? extends CaseTree> getCases();
}

更多语句的语法定义和抽象语法树，与上面的类似，不再赘述。

编译器的编译过程和抽象语法树等概念，是比较难的。

大部分的同学，只需要了解即可。

原文参见：http://FansUnion.cn/articles/3086(小雷网-FansUnion.cn)