一、生成符号表

填充符号表的核心逻辑在com.sun.tools.javac.comp.Enter类。

在讨论填充符号表的逻辑之前,首先要明确一下,什么是符号?

我们在java代码中,可能会声明一个类,类中有属性和方法,这些对于计算机而言,都是一种符号。

在java编译器的实现中,定义了专门的符号类Symbol及相关的子类

 

 

 

符号有名称,就是我们理解的类名、方法名和属性名。

除此之外,符号还有类型,java专门设计了一套符号类型系统来标识它。

我们举个例子

int a=0;

我们知道,a是一个变量,但编译器认为a是一个VarSymbol,它的类型是JCPrimitiveType.

在执行程序的时候,原生类型和引用类型有不同的处理方式。

原生类型可能存放在常量池中,但引用类型必须存在堆中,所以在编译器在编译期间就需要标识起来。

 

 

填充符号表分为两个阶段:

第一:类符号填充Enter

主方法为complete()所有类都进入其作用域,在visit类声明的时候,给相关的JCClassDecl节点的sym类型定义了一个ClassSymbol的值。

类符号填充完成后,进入第二阶段,调用enterMember.complete方法

第二:其他成员符号填充

逻辑在MemberEnter类的complete方法中

MemberEnter.visitMethodDef()给方法声明节点的符号表填充符号。

MemberEnter.visitVarDef()给变量声明节点的符号表填充符号。

第三:其他的符号填充在后续阶段完成

生成符号的同时,符号也被放入相应的Scope中。

Scope又叫作用域,它是符号Symbol的容器,它提供了使用符号名访问符号的方法。

Scope类被实现为具有“开放寻址”和“双重哈希”的哈希表。Scope是可以嵌套的。

二、Symbol及其核心子类

 

 

虽然我们这一步的工作是填充符号表,但我发现并不是JCTree所有的节点都有对应的符号,查看源码发现只有这些节点是有对应符号的。

JCCompilationUnit里持有PackageSymbol属性,

JCClassDecl持有ClassSymbol属性,属性名sym

JCMethodDecl持有MethodSymbol属性

JCVariableDecl持有VarSymbol属性

JCNewClass持有Symbol类型的属性,属性名constructor

JCAssignOp持有Symbol类型的属性,属性名operator

JCUnary持有Symbol类型的属性,属性名operator

JCBinary持有Symbol类型的属性,属性名operator

JCFieldAccess持有Symbol属性

JCIdent持有Symbol属性

三、填充符号表

3.1.访问类定义

那么以我们的理解,当我们在AST上visit到一个类定义的时候,一定会生成一个ClassSymbol对象,然后放到符号表中。

我们看下javac中的源码实现,验证一下我们的想法,下面是Enter.visitClassDef()

我们可以看到在visitClassDef中的第三行声明了一个类符号——ClassSymbol c,经常一系列初始化后c被赋值给tree.sym,就在这个节点对应的符号属性

同时我们还看到了作用域有关的信息,第二行就获取了当前作用域enclScope,经过一系列操作后,把当前符号c放入了作用域enclScope中,实际是将符号放入了Scope中的一些Entry数组中。

public void visitClassDef(JCClassDecl tree) {
        Symbol owner = env.info.scope.owner;
        //获取当前作用域
        Scope enclScope = enterScope(env);
        //类符号的声明
        ClassSymbol c;
        if (owner.kind == PCK) {
            // 顶级类声明
            PackageSymbol packge = (PackageSymbol)owner;
            for (Symbol q = packge; q != null && q.kind == PCK; q = q.owner)
                q.flags_field |= EXISTS;
            //类符号的定义
            c = reader.enterClass(tree.name, packge);
            //将当前类放入当前包的作用域中
            packge.members().enterIfAbsent(c);
            if ((tree.mods.flags & PUBLIC) != 0 && !classNameMatchesFileName(c, env)) {
                log.error(tree.pos(),
                          "class.public.should.be.in.file", tree.name);
            }
        } else {
            if (!tree.name.isEmpty() &&
                !chk.checkUniqueClassName(tree.pos(), tree.name, enclScope)) {
                result = null;
                return;
            }
            if (owner.kind == TYP) {
                // 内部类声明
                c = reader.enterClass(tree.name, (TypeSymbol)owner);
                if ((owner.flags_field & INTERFACE) != 0) {
                    tree.mods.flags |= PUBLIC | STATIC;
                }
            } else {
                // 局部类声明
                c = reader.defineClass(tree.name, owner);
                c.flatname = chk.localClassName(c);
                if (!c.name.isEmpty())
                    chk.checkTransparentClass(tree.pos(), c, env.info.scope);
            }
        }
        //将符号放入当前AST节点的符号表中
        tree.sym = c;
​
        // Enter class into `compiled' table and enclosing scope.
        if (chk.compiled.get(c.flatname) != null) {
            duplicateClass(tree.pos(), c);
            result = types.createErrorType(tree.name, (TypeSymbol)owner, Type.noType);
            tree.sym = (ClassSymbol)result.tsym;
            return;
        }
        chk.compiled.put(c.flatname, c);
        //将类符号c放入当前作用域
        enclScope.enter(c);
​
        ...
    }

 

3.2.访问方法定义

访问定义在MemberEnter.visitMethodDef()中,与访问类定义类似,首先获取了当前作用域,创建方法符号,然后将符号赋值给当前节点的sym属性,并将符号加入当前作用域

public void visitMethodDef(JCMethodDecl tree) {
        //获取当前作用域
        Scope enclScope = enter.enterScope(env);
        //创建方法符号
        MethodSymbol m = new MethodSymbol(0, tree.name, null, enclScope.owner);
        m.flags_field = chk.checkFlags(tree.pos(), tree.mods.flags, m, tree);
        //将方法符号赋值给当前节点
        tree.sym = m;
​
        //if this is a default method, add the DEFAULT flag to the enclosing interface
        if ((tree.mods.flags & DEFAULT) != 0) {
            m.enclClass().flags_field |= DEFAULT;
        }
        //创建当前方法的局部变量作用域
        Env<AttrContext> localEnv = methodEnv(tree, env);
​
        annotate.enterStart();
        try {
            ...
            //将所有参数加入局部变量作用域
            m.type = signature(m, tree.typarams, tree.params,
                                   tree.restype, tree.recvparam,
                                   tree.thrown,
                                   localEnv);
​
            //删除当前局部作用域的所有entry
            localEnv.info.scope.leave();
            if (chk.checkUnique(tree.pos(), m, enclScope)) {
                //将方法符号加入当前作用域中
            enclScope.enter(m);
            }
           ...
        } finally {
            annotate.enterDone();
        }
    }

 

3.3.访问变量定义

MemberEnter.visitVarDef()

public void visitVarDef(JCVariableDecl tree) {
        //获取当前变量所在环境
        Env<AttrContext> localEnv = env;
        if ((tree.mods.flags & STATIC) != 0 ||
            (env.info.scope.owner.flags() & INTERFACE) != 0) {
            localEnv = env.dup(tree, env.info.dup());
            localEnv.info.staticLevel++;
        }
        ...
        //获取当前作用域
            Scope enclScope = enter.enterScope(env);
        //创建变量符号
            VarSymbol v =
                new VarSymbol(0, tree.name, tree.vartype.type, enclScope.owner);
            v.flags_field = chk.checkFlags(tree.pos(), tree.mods.flags, v, tree);
        //将符号赋值给当前节点的sym属性
            tree.sym = v;
           ...
            if (chk.checkUnique(tree.pos(), v, enclScope)) {
                chk.checkTransparentVar(tree.pos(), v, enclScope);
                //将变量符号加入作用域
                enclScope.enter(v);
            }
            annotateLater(tree.mods.annotations, localEnv, v, tree.pos());
            typeAnnotate(tree.vartype, env, v, tree.pos());
            v.pos = tree.pos;
        } finally {
            annotate.enterDone();
        }
    }

 

 
内容来源于网络如有侵权请私信删除

文章来源: 博客园

原文链接: https://www.cnblogs.com/wangbin2188/p/16148121.html

你还没有登录,请先登录注册
  • 还没有人评论,欢迎说说您的想法!

相关课程