Javac符号表定义

Javac符号表定义

符号表: 存储符号的容器

Javac 语义分析首先要建立符号表.

Javac 在遇到 声明 或 定义 时会创建符号, 将创建好的符号输入到符号表中, 方便查找.

符号的定义

符号通过 com.sun.tools.javac.code.Symbol 类和相关的子类来表示

Symbol (com.sun.tools.javac.code)
    DelegatedSymbol in Symbol (com.sun.tools.javac.code)
        Method in Pool (com.sun.tools.javac.jvm)
            DynamicMethod in Pool (com.sun.tools.javac.jvm)
        Variable in Pool (com.sun.tools.javac.jvm)
    TypeSymbol in Symbol (com.sun.tools.javac.code)
        PackageSymbol in Symbol (com.sun.tools.javac.code)
            Anonymous in Symtab() in Symtab (com.sun.tools.javac.code)
        ClassSymbol in Symbol (com.sun.tools.javac.code)
        Anonymous in Symtab() in Symtab (com.sun.tools.javac.code)
    MethodSymbol in Symbol (com.sun.tools.javac.code)
        OperatorSymbol in Symbol (com.sun.tools.javac.code)
        DynamicMethodSymbol in Symbol (com.sun.tools.javac.code)
        Anonymous in findPolymorphicSignatureInstance() in Resolve (com.sun.tools.javac.comp)
        Anonymous in findDiamond() in Resolve (com.sun.tools.javac.comp)
        Anonymous in clone() in MethodSymbol in Symbol (com.sun.tools.javac.code)
    ResolveError in Resolve (com.sun.tools.javac.comp)
        InvalidSymbolError in Resolve (com.sun.tools.javac.comp)
        InapplicableSymbolError in Resolve (com.sun.tools.javac.comp)
        SymbolNotFoundError in Resolve (com.sun.tools.javac.comp)
        AmbiguityError in Resolve (com.sun.tools.javac.comp)
    VarSymbol in Symbol (com.sun.tools.javac.code)
        Anonymous in clone() in VarSymbol in Symbol (com.sun.tools.javac.code)

继承 Symbol 类的子类都是定义在 Symbol 类中的静态类.

Symbol 类

Symbol 类 属性

/** The kind of this symbol. 符号的具体类型
*  @see Kinds
*/
public int kind;

/** The flags of this symbol. 符号的修饰符
*/
public long flags_field;

/** The name of this symbol in Utf8 representation. 符号名称
*/
public Name name;

/** The type of this symbol.
*/
public Type type;

/** The owner of this symbol. 当前符号所属的符号
*/
public Symbol owner;

/** The completer of this symbol.
*/
public Completer completer;

/** A cache for the type erasure of this symbol.
*/
public Type erasure_field;

PackageSymbol 类表示定义的包符号
ClassSymbol 类表示定义的类符号
MethodSymbol 类表示定义的方法符号
VarSymbol 类表示定义的变量符号

建立符号表

Env 提供抽象语法树相关的上下文信息

AttrContext 保存一些特殊的信息

Scope 对象表示 Java 的作用域