之前写的文章:

关于作用域范围Scope

Scope及相关的子类如下:

同时有些Scope还继承了Scope.ScopeListener类,如下:

1、StarImportScope及ImportScope

在JCCompilationUnit中定义了两个属性,其类型就是这两个类型:

public ImportScope namedImportScope;
public StarImportScope starImportScope;

但在初始化JCCompilationUnit语法节点时并不初始化这两个属性,而是在Enter的如下类中进行初始化,代码如下:

/** Create a fresh environment for toplevels.
 *  @param tree     The toplevel tree.
 */
public Env<AttrContext> topLevelEnv(JCCompilationUnit tree) {

    tree.namedImportScope = new ImportScope(tree.packge);
    tree.starImportScope = new StarImportScope(tree.packge);

    Env<AttrContext> localEnv = new Env<AttrContext>(tree, new AttrContext());
    localEnv.toplevel = tree;
    localEnv.enclClass = predefClassDef;
    // JCCompilationUnit的环境Scope中使用的是namedImportScope
    localEnv.info.scope = tree.namedImportScope;
    localEnv.info.lint = lint;

    return localEnv;
}

Scope最重要的作用就是用来查找特定范围内定义的符号,而这些符号的填充在MemberEnter类中完成的。首先看StarImportScope的填充,代码如下:

/** Import all classes of a class or package on demand.
 *  @param pos           Position to be used for error reporting.
 *  @param tsym          The class or package the members of which are imported.
 *  @param toScope   The (import) scope in which imported classes are entered.
 */
private void importAll(int pos,
                       final TypeSymbol tsym,
                       Env<AttrContext> env) {
    // Check that packages imported from exist (JLS ???).
    // 在调用tsym.members()会调用complete()方法来完成这个符号属性的填充
    if (tsym.kind == PCK01 &&
            tsym.members().elems == null &&
            !tsym.exists()) {

        // If we can't find java.lang, exit immediately.
        if (((PackageSymbol)tsym).fullname.equals(names.java_lang)) {
            // 致命错误: 在类路径或引导类路径中找不到程序包 java.lang
            JCDiagnostic msg = diags.fragment("fatal.err.no.java.lang");
            throw new FatalError(msg);
        } else {
            // 程序包{0}不存在
            log.error(JCDiagnosticFlag.RESOLVE_ERROR, pos, "doesnt.exist", tsym);
        }
    }
    Scope sp = tsym.members();
    env.toplevel.starImportScope.importAll(sp);
}

每个JCCompilationUnit编译单元通过import导入需要的依赖,有一个是默认导入的,就是java.lang.*下面的定义的类,而代码sp中包含的类符号如下:

Scope[
Void,VirtualMachineError,
VerifyError,UnsupportedOperationException,
UnsupportedClassVersionError,UnsatisfiedLinkError,
UnknownError, TypeNotPresentException, Throwable,
Throwable$WrappedPrintWriter,
Throwable$WrappedPrintStream,Throwable$SentinelHolder,
Throwable$PrintStreamOrWriter,ThreadLocal,
ThreadLocal$ThreadLocalMap,ThreadLocal$ThreadLocalMap$Entry,
ThreadGroup,ThreadDeath, Thread,
Thread$WeakClassKey, Thread$UncaughtExceptionHandler,
Thread$State, Thread$Caches, Terminator,
SystemClassLoaderAction, System, SuppressWarnings,
StringIndexOutOfBoundsException, StringCoding,
StringCoding$StringEncoder, StringCoding$StringDecoder,
StringBuilder, StringBuffer, String,
String$CaseInsensitiveComparator, StrictMath,
StackTraceElement, StackOverflowError,
Shutdown,Shutdown$Lock, Short,
Short$ShortCache, SecurityManager,
SecurityException, SafeVarargs, RuntimePermission,
RuntimeException, Runtime, Runnable,
ReflectiveOperationException, Readable,
ProcessImpl, ProcessImpl$LazyPattern,
ProcessEnvironment, ProcessEnvironment$NameComparator,
ProcessEnvironment$EntryComparator,
ProcessEnvironment$CheckedValues,
ProcessEnvironment$CheckedKeySet,
ProcessEnvironment$CheckedEntrySet,
ProcessEnvironment$CheckedEntry, ProcessBuilder,
ProcessBuilder$Redirect,
ProcessBuilder$Redirect$Type,ProcessBuilder$NullOutputStream,
ProcessBuilder$NullInputStream, Process,
Package, Override, OutOfMemoryError,
Object,NumberFormatException, Number,
NullPointerException, NoSuchMethodException,
NoSuchMethodError, NoSuchFieldException,
NoSuchFieldError, NoClassDefFoundError,
NegativeArraySizeException, Math, Long,
Long$LongCache, LinkageError, Iterable,
InterruptedException, InternalError, Integer,
Integer$IntegerCache, InstantiationException,
InstantiationError, InheritableThreadLocal,
IndexOutOfBoundsException,
IncompatibleClassChangeError,IllegalThreadStateException,
IllegalStateException, IllegalMonitorStateException,
IllegalArgumentException, IllegalAccessException,
IllegalAccessError, Float,
ExceptionInInitializerError, Exception, Error,
EnumConstantNotPresentException, Enum, Double,
Deprecated, ConditionalSpecialCasing,
ConditionalSpecialCasing$Entry, Compiler,
Comparable, Cloneable,CloneNotSupportedException,
ClassValue, ClassValue$Version,
ClassValue$Identity, ClassValue$Entry,
ClassValue$ClassValueMap,ClassNotFoundException,
ClassLoaderHelper, ClassLoader,
ClassLoader$ParallelLoaders, ClassLoader$NativeLibrary,
ClassFormatError, ClassCircularityError,
ClassCastException,Class,
Class$SecurityManagerHelper, Class$ReflectionData,
Class$MethodArray, Class$EnclosingMethodInfo,
Class$Atomic, CharacterName,
CharacterDataUndefined, CharacterDataPrivateUse,
CharacterDataLatin1, CharacterData0E,
CharacterData02,CharacterData01, CharacterData00,
CharacterData, Character, Character$UnicodeScript,
Character$UnicodeBlock, Character$Subset,
Character$CharacterCache, CharSequence, Byte,
Byte$ByteCache, BootstrapMethodError, Boolean,
AutoCloseable, AssertionStatusDirectives,
AssertionError, ArrayStoreException,
ArrayIndexOutOfBoundsException, ArithmeticException,
ApplicationShutdownHooks, Appendable,
AbstractStringBuilder, AbstractMethodError ]  

调用了StarImportScope的importAll()方法,传入了sp参数:importAll()方法代码如下:

public class StarImportScope extends ImportScope implements Scope.ScopeListener {

    public StarImportScope(Symbol owner) {
        super(owner);
    }

    public void importAll (Scope fromScope) {
        for (Scope.Entry e = fromScope.elems; e != null; e = e.sibling) {
            if (e.sym.kind == Kinds.TYP02 && !includes(e.sym)) {
                enter(e.sym, fromScope);
            }
        }
        // Register to be notified when imported items are removed
        fromScope.addScopeListener(this);
    }

    public void symbolRemoved(Symbol sym, Scope s) {
        remove(sym);
    }
    public void symbolAdded(Symbol sym, Scope s) { }
}

将sp中的所有符号导入StarImportScope中,并且StarImportScope中的table属性(Entry[]类型)中的元素为ImportEntry,如下部分截图:

说一下静态导入和非静态导入:

import java.io.*;  // 代码1
import java.math.BigDecimal; // 代码2

import static com.test19.TestStatic.*; // 代码3
import static com.test19.TestStatic.method;  // 代码4

public class TestScope{
	public void t(){
		InputStream p;
		BigDecimal d;
		int b = v;
		method();
	}
}

无论静态还是非静态导入,最终都会调用MemberEnter类中的visitImport()方法,这个方法的代码如下:

// process the non-static imports and the static imports of types.
public void visitImport(JCImport tree) {
    JCTree imp = tree.qualid;
    Name name = TreeInfo.name(imp);
    TypeSymbol p;

    // Create a local environment pointing to this tree to disable
    // effects of other imports in Resolve.findGlobalType
    Env<AttrContext> localEnv = env.dup(tree); // todo

    // Attribute qualifying package or class.
    JCFieldAccess s = (JCFieldAccess) imp;
    // 对于staticImport来说s.selected肯定是TYPE。因为import static TypeName . Identifier ;
    // 对于非staticImport来说s.selected可能是Type,也可能是PCK。如
    // 1、import PackageName.TypeName
    // 2、import PackageName.TypeName.TypeName
    p = attr.attribTree(s.selected,
                   localEnv,
                   tree.staticImport ? TYP02 : (TYP02 | PCK01),
                   Type.noType).tsym;
    if (name == names.asterisk) {
        // Import on demand.
        chk.checkCanonical(s.selected);
        if (tree.staticImport) {
            importStaticAll(tree.pos, p, env);
        }else {
            importAll(tree.pos, p, env);
        }
    } else {
        // Named type import.
        if (tree.staticImport) {
            importNamedStatic(tree.pos(), p, name, localEnv);
            chk.checkCanonical(s.selected);
        } else {
            TypeSymbol c = attribImportType(imp, localEnv).tsym;
            chk.checkCanonical(imp);
            importNamed(tree.pos(), c, env);
        }
    }
}

从如上的判断逻辑可以看出:

1、importStaticAll()方法

主要用来处理代码3。由于在导入时可能是静态类(包括TestStatic从父类或者接口中继承的),也可能是静态变量,两个有不同的处理逻辑。

(1)静态类的导入是立马执行导入的。

(2)非静态类的导入是在运行注解之前导入的

package com.test01;
public class MA {
	public static void x(){}
}

package com.test01;
import static com.test01.MA.*;
public class MB{
	public static void t(){}
}

同一个包中定义了MA与MB类,然后测试:

package com.test02;
import static com.test01.MB.*;
public class Test {
	public void test(){
		t();
		x(); // 报错
	}
}  

说明导入MB中的MA的静态方法没有在TestX中导入MB静态方法时一同将MA中的静态方法导入,如果MB继承MA,则如上不会报错。 

2、importAll()方法

主要用来处理代码1,与处理java.lang.*是一样的逻辑

3、importNamedStatic()方法

主要用来处理代码4,代码在执行中还需要调用Check类的checkUniqueStaticImport()方法

4、importNamed()方法

主要用来处理代码2,代码在执行中还需要调用Check类的checkUniqueImport()方法  

其实importNamed()方法与importNamedStatic()方法将符号导入namedImportScope中,而importStaticAll()与importAll()方法将符号导入

starImportScope中。而对于importStaticAll()与importNamedStatic()方法,只导入类,不导入方法与变量。

2、CompoundScope

与方法的检查有关  

3、DelegatedScope

查看MemberEnter类中的initEnv()方法,代码如下:

/** Create a fresh environment for a variable's initializer.
 *  If the variable is a field, the owner of the environment's scope
 *  is be the variable itself, otherwise the owner is the method
 *  enclosing the variable definition.
 *
 *  @param tree     The variable definition.
 *  @param env      The environment current outside of the variable definition.
 */
public Env<AttrContext> initEnv(JCVariableDecl tree, Env<AttrContext> env) {

    AttrContext ac = env.info.dup();
    AttrContextEnv ace = new AttrContextEnv(tree, ac);
    Env<AttrContext> localEnv = env.dupto(ace);

    if (tree.sym.owner.kind == TYP02) { // the variable is a field
        localEnv.info.scope = new DelegatedScope(env.info.scope);
        localEnv.info.scope.owner = tree.sym;
    }
    if (  (tree.mods.flags & STATIC) != 0 ||
           (env.enclClass.sym.flags() & INTERFACE) != 0  ){ // 表示在接口中定义的变量
        localEnv.info.staticLevel++;
    }
    return localEnv;
}

只有当variable是field时才将Scope替换为DelegatedScope,并且这个Scope的owner为这个Field本身。  

  

  

  

Scope及其子类介绍的更多相关文章

  1. Android Drawable的9种子类 介绍

    原文: Android Drawable的9种子类 介绍   Drawable 在android里面 就是代表着图像,注意是图像 而不是图片. 图片是图像的子集.图像除了可以包含图片以外 还可以包含颜 ...

  2. java并发编程(十)----JUC原子类介绍

    今天我们来看一下JUC包中的原子类,所谓原子操作是指不会被线程调度机制打断的操作:这种操作一旦开始,就一直运行到结束,中间不会有任何 context switch (切换到另一个线程),原子操作可以是 ...

  3. AVCaptureInput和AVCaptureOutput子类介绍

    AVCaptureInput AVCaptureDeviceInput:用于从AVCaptureDevice对象捕获数据. AVCaptureScreenInput:从macOS屏幕上录制的一种捕获输 ...

  4. Juc中Atomic原子类总结

    1 Atomic原子类介绍 2 基本类型原子类 3 数组类型原子类 4 引用类型原子类 5 对象的属性修改类型原子类

  5. java高并发系列 - 第23天:JUC中原子类,一篇就够了

    这是java高并发系列第23篇文章,环境:jdk1.8. 本文主要内容 JUC中的原子类介绍 介绍基本类型原子类 介绍数组类型原子类 介绍引用类型原子类 介绍对象属性修改相关原子类 预备知识 JUC中 ...

  6. JUC之原子类

    在分析原子类之前,先来了解CAS操作 CAS CAS,compare and swap的缩写,中文翻译成比较并交换. CAS 操作包含三个操作数 —— 内存位置(V).预期原值(A)和新值(B).如果 ...

  7. angulajs 详解 directive 中 的 scope 概念

    Directive 是 angularjs 中最重要的概念,我的理解就是自定义html tag, 这个自定的tag 浏览器不会解析,会有angularjs 来动态解析. 比如在html 中添加 < ...

  8. JUC 中的 Atomic 原子类总结

    1 Atomic 原子类介绍 Atomic 翻译成中文是原子的意思.在化学上,我们知道原子是构成一般物质的最小单位,在化学反应中是不可分割的.在我们这里 Atomic 是指一个操作是不可中断的.即使是 ...

  9. java核心-多线程(8)- 并发原子类

        使用锁能解决并发时线程安全性,但锁的代价比较大,而且降低性能.有些时候可以使用原子类(juc-atomic包中的原子类).还有一些其他的非加锁式并发处理方式,我写这篇文章来源于Java中有哪些 ...

随机推荐

  1. 9) 依赖查询 & 镜像站

    依赖查询 http://mvnrepository.com/ Maven仓库查询 http://search.maven.org 仓库 加上这两个,如果使用中央仓库 Eclipse 极有可能会卡死 & ...

  2. python实现base64算法加密

    python本身有base64加密的模块,不过是用C写的,封装成了.so文件,无法查看源码,本着学习的心态,自己实现了一遍,算法 原理参考 浅谈Base64编码算法. 代码如下: # coding:u ...

  3. AOT和JIT以及混合编译的区别、优劣

    AOT,JIT是什么? JIT,即Just-in-time,动态(即时)编译,边运行边编译: AOT,Ahead Of Time,指运行前编译,是两种程序的编译方式 区别 这两种编译方式的主要区别在于 ...

  4. android 热更新nuwa

    简介 Nuwa是比较流行的一种Android热补丁方案的开源实现,它的特点是成功率高,实现简单.当然,热补丁的方案目前已经有很多了,AndFix, Dexposed, Tinker等,之所以要分析Nu ...

  5. C++中的关键字用法---typename

    1. typename 关键字 "typename"是一个C++程序设计语言中的关键字.当用于泛型编程时是另一术语"class"的同义词.这个关键字用于指出模板 ...

  6. 基于Verilog HDL的二进制转BCD码实现

    在项目设计中,经常需要显示一些数值,比如温湿度,时间等等.在数字电路中数据都是用二进制的形式存储,要想显示就需要进行转换,对于一个两位的数值,对10取除可以得到其十位的数值,对10取余可以得到个位的数 ...

  7. 使用for in循环遍历json对象的数据

    使用for in遍历json对象数据,如果数据中的名称有为数字的话,只对正整数有效,那么先会输出为正整数的数据,后面其他的会按照原来数据中定义的顺序不变输出. 针对名称为数字的json对象数据进行测试 ...

  8. .NET在IE10下的回传BUG修复

    以前我也没注意到,直到有次公司新配了台机器做测试服务器,在测试过程中意外发现凡是涉及PostBack的操作仅在IE10下都无效,其他版本浏览器都没有问题,本机调试也没有问题. 这也就是说在程序相同的情 ...

  9. Create Index语句的Include作用

    在 SQL Server 2005 中,可以通过将非键列添加到非聚集索引的叶级别来扩展非聚集索引的功能.通过包含非键列,可以创建覆盖更多查询的非聚集索引.这是因为非键列具有下列优点: 它们可以是不允许 ...

  10. asp.net——公共帮助类

    在项目开发中公共帮助类是必不可少的,这里记录一些自己摘录或自己编写的帮助类. 64位编码与解码: #region URL的64位编码 /// <summary> /// URL的64位编码 ...