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)