Javac语法糖之内部类
在Javac中解语法糖主要是Lower类来完成,调用这个类的入口函数translateTopLevelClass即可。这个方法只是JavacCompiler类的desugar方法中进行了调用。
首先来看下local class本地类解语法糖,举个例子,如下:
class Outer { class AOuter{ int temp = 0; } final int count1 = new Integer(1); final int count2 = 1; static final int count3 = new Integer(1); public void method(final int count4) { final int count5 = new Integer(1); final int count6 = 1; class Inner { int a = count1; // 传入Outer实现对象后通过outer.count1获取 int b = count2; // 直接写为1 int c = count3; // 通过Outer.count3获取 int d = count4; // 需要构造函数传入 int e = count5; // 需要构造函数传入 int f = count6; // 直接写为1 AOuter aOuter = new AOuter(); } } }
对于内部类Inner来说,其实在生成class文件时也是一个独立的class文件,在处理时完全看成一个独立的类来处理,生成时的类名规则为:
package com.test15; import com.test15.Outer.AOuter; class Outer$1Inner { int a; int b; int c; int d; int e; int f; AOuter aOuter; Outer$1Inner(Outer var1, int var2, int var3) { this.this$0 = var1; this.val$count4 = var2; this.val$count5 = var3; this.a = this.this$0.count1; this.b = 1; this.c = Outer.count3; this.d = this.val$count4; this.e = this.val$count5; this.f = 1; this.aOuter = new AOuter(this.this$0); } }
Outer的class类反编译后如下:
package com.test15; class Outer { final int count1 = (new Integer(1)).intValue(); final int count2 = 1; static final int count3 = (new Integer(1)).intValue(); Outer() { } public void method(int var1) { int var2 = (new Integer(1)).intValue(); class Inner { int a; int b; int c; int d; int e; int f; Outer.AOuter aOuter; Inner(int var2, int var3) { this.val$count4 = var2; this.val$count5 = var3; this.a = Outer.this.count1; this.b = 1; this.c = Outer.count3; this.d = this.val$count4; this.e = this.val$count5; this.f = 1; this.aOuter = Outer.this.new AOuter(); } } } class AOuter { int temp = 0; AOuter() { } } }
Outer$AOuter的class文件反编译后如下:
package com.test15; class Outer$AOuter { int temp; Outer$AOuter(Outer var1) { this.this$0 = var1; this.temp = 0; } }
可以看到会为Outer$1Inner合成了两个变量val2,val3,由于其它是constant variable,而非free variable。在为内部类合成变量时,需要首先收集free variable,主要是通过freevars()方法来完成,具体代码如下:
/** Return the variables accessed from within a local class, * which are declared in the local class' owner. * (in reverse order of first access). */ List<VarSymbol> freevars(ClassSymbol c) { // 如果类符号c所属的符号为变量或者方法时表明这是一个local class if ((c.owner.kind & (VAR | MTH)) != 0) { List<VarSymbol> fvs = freevarCache.get(c); if (fvs == null) { FreeVarCollector collector = new FreeVarCollector(c); JCClassDecl jcd = classDef(c); collector.scan(jcd); fvs = collector.fvs; freevarCache.put(c, fvs); } return fvs; } else { return List.nil(); } }
在如上的实例中,收集到的自由变量为count4与count5。
主要还是通过FreeVarCollecotr这个继承了TreeScanner类的类来完成对自由变量的收集,这个类的实现代码如下:
/** A navigator class for collecting the free variables accessed from a local class. * There is only one case; all other cases simply traverse down the tree. */ class FreeVarCollector extends TreeScanner { /** The owner of the local class. */ Symbol owner; /** The local class. */ ClassSymbol clazz; /** The list of owner's variables accessed from within the local class,without any duplicates. */ List<VarSymbol> fvs; FreeVarCollector(ClassSymbol clazz) { this.clazz = clazz; this.owner = clazz.owner; this.fvs = List.nil(); } /** Add free variable to fvs list unless it is already there. */ private void addFreeVar(VarSymbol v) { for (List<VarSymbol> l = fvs; l.nonEmpty(); l = l.tail) if (l.head == v) return; fvs = fvs.prepend(v); } /** Add all free variables of class c to fvs list * unless they are already there. */ private void addFreeVars(ClassSymbol c) { List<VarSymbol> fvs = freevarCache.get(c); if (fvs != null) { for (List<VarSymbol> l = fvs; l.nonEmpty(); l = l.tail) { addFreeVar(l.head); } } } /** If tree refers to a variable in owner of local class, add it to free variables list. */ public void visitIdent(JCIdent tree) { result = tree; visitSymbol(tree.sym); } // where private void visitSymbol(Symbol _sym) { Symbol sym = _sym; if (sym.kind == VAR || sym.kind == MTH) { while (sym != null && sym.owner != owner){ Name name = proxyName(sym.name); sym = proxies.lookup(name).sym; } if (sym != null && sym.owner == owner) { VarSymbol v = (VarSymbol)sym; if (v.getConstValue() == null) { addFreeVar(v); } } else { if (outerThisStack.head != null && outerThisStack.head != _sym) visitSymbol(outerThisStack.head); } } } /** If tree refers to a class instance creation expression * add all free variables of the freshly created class. */ public void visitNewClass(JCNewClass tree) { ClassSymbol c = (ClassSymbol)tree.constructor.owner; addFreeVars(c); if (tree.encl == null && c.hasOuterInstance() && outerThisStack.head != null) visitSymbol(outerThisStack.head); super.visitNewClass(tree); } /** If tree refers to a qualified this or super expression * for anything but the current class, add the outer this * stack as a free variable. */ public void visitSelect(JCFieldAccess tree) { if ((tree.name == names._this || tree.name == names._super) && tree.selected.type.tsym != clazz && outerThisStack.head != null) visitSymbol(outerThisStack.head); super.visitSelect(tree); } /** If tree refers to a superclass constructor call, * add all free variables of the superclass. */ public void visitApply(JCMethodInvocation tree) { if (TreeInfo.name(tree.meth) == names._super) { addFreeVars((ClassSymbol) TreeInfo.symbol(tree.meth).owner); Symbol constructor = TreeInfo.symbol(tree.meth); ClassSymbol c = (ClassSymbol)constructor.owner; if (c.hasOuterInstance() && tree.meth.getTag() != JCTree.SELECT && outerThisStack.head != null) visitSymbol(outerThisStack.head); } super.visitApply(tree); } } // end class /** Return the variables accessed from within a local class, which * are declared in the local class' owner. * (in reverse order of first access). */ List<VarSymbol> freevars(ClassSymbol c) { if ((c.owner.kind & (VAR | MTH)) != 0) { List<VarSymbol> fvs = freevarCache.get(c); if (fvs == null) { FreeVarCollector collector = new FreeVarCollector(c); JCClassDecl jcd = classDef(c); collector.scan(jcd); fvs = collector.fvs; freevarCache.put(c, fvs); } return fvs; } else { return List.nil(); } }
必定上面的例子,具体代码如下:
public class Outer { class AOuter{ int temp = 0; } final int count1 = new Integer(1); final int count2 = 1; static final int count3 = new Integer(1); public void method(final int count4) { final int count5 = new Integer(1); final int count6 = 1; class Inner { int a = count1; int b = count2; int c = count3; int d = count4; int e = count5; int f = count6; AOuter aOuter = new AOuter(); } class Inner2{ Inner x = new Inner(); } } }
则生成后的Inner2类的代码如下:
class Outer$1Inner2 { /*synthetic*/ final Outer this$0; /*synthetic*/ final int val$count4; /*synthetic*/ final int val$count5; Outer$1Inner2(/*synthetic*/ final Outer this$0, /*synthetic*/ final int val$count5, /*synthetic*/ final int val$count4) { this.this$0 = this$0; this.val$count5 = val$count5; this.val$count4 = val$count4; super(); } Outer$1Inner x = new Outer$1Inner(this$0, val$count4, val$count5); }
Javac语法糖之内部类的更多相关文章
- Java语法糖之内部类
例1: class Outer { public void md1(final int a) { final int b = 1; class LocalA { int c = a; } class ...
- Javac语法糖之EnumSwitch
在Switch中可以使用的类型有枚举.字符串类型与整形int类型,下面来具体看这几个类型. 1.switch为枚举类型 枚举类: enum Fruit { APPLE,ORINGE } 调用javac ...
- Javac语法糖之增强for循环
加强的for循环有两种,遍历数组和实现了Iterable接口的容器.javac通过visitForeachLoop()方法来实现解语法糖,代码如下: /** Translate away the fo ...
- Javac语法糖之其它
1.变长参数 class VarialbeArgumentsDemo { public static void doWork(int... a) {//可变参数 } public static voi ...
- Javac语法糖之TryCatchFinally
https://docs.oracle.com/javase/specs/jls/se7/html/jls-14.html#jls-14.20.3 Optionally replace a try s ...
- Javac语法糖之Enum类
枚举类在Javac中是被当作类来看待的. An enum type is implicitly final unless it contains at least one enum constant ...
- python进阶之内置函数和语法糖触发魔法方法
前言 前面已经总结了关键字.运算符与魔法方法的对应关系,下面总结python内置函数对应的魔法方法. 魔法方法 数学计算 abs(args):返回绝对值,调用__abs__; round(args): ...
- Java 语法糖详解
语法糖 语法糖(Syntactic Sugar),也称糖衣语法,是由英国计算机学家 Peter.J.Landin 发明的一个术语,指在计算机语言中添加的某种语法. 这种语法对语言的功能并没有影响,但是 ...
- 深入理解java虚拟机(十二) Java 语法糖背后的真相
语法糖(Syntactic Sugar),也叫糖衣语法,是英国计算机科学家彼得·约翰·兰达(Peter J. Landin)发明的一个术语.指的是,在计算机语言中添加某种语法,这些语法糖虽然不会对语言 ...
随机推荐
- windows下命令提示符中有空格路径的解决方法
1)用缩写.比如c:\Program Files 缩写为c:\Progra~1 再来刨根问底查查这个命名是否有规则,于是找到: 文件夹(sub-directry)名称,以前是不允许带空白的,后来允许带 ...
- linux环境下的mysql,httpd以及与宿主机的调试问题总结
1. 首先www服务器,在宿主主机浏览器无法访问? (1)修改linux的防火墙,允许宿主主机ip访问即可. (2)关闭防火墙,即可访问. service iptables stop; 2. mysq ...
- Ansible免密码登陆
配置Linux主机无密码访问 生成秘钥 ssh-keygen -t rsa Generating public/private rsa key pair. Enter file in which to ...
- 11i AP & GL 月末对账时常用系统报表
11i AP & GL 月末对账时常用系统报表 http://www.cnblogs.com/benio/archive/2011/10/14/2212169.html AP: 1.Invo ...
- linux与unix时间戳互转
linux与unix时间戳互转 今天在消费kafka数据时遇到了这样一个问题,kafka数据中所有的数据时间戳格式都是unix上时间戳的格式,例如:1505786829101,看到这个时间戳真的是头都 ...
- asp.net core 的用户注册功能——Identity上手
首先请using这个类库. using Microsoft.AspNetCore.Identity; 这个类库老牛逼了,首先是包含了一个IdentityUser类.我们可以自己写一个User类继承Id ...
- [C#]C#时间日期操作
一.C# 日期格式 1. DateTime dt = DateTime.Now; 2. dt.ToString();//2005-11-5 13:21:25 3. dt.ToFileTime().To ...
- Day 61 Django第二天 (orm数据库操作)
一.get请求和post请求 GET请求: 1. 浏览器请求一个页面 2. 搜索引擎检索关键字的时候 POST请求: 1. 浏览器向服务端提交数据,比如登录/注册等 二 . Django中的APP: ...
- CentOS 7 - 安装Windows字体!
1,安装cabextract: 下载地址:http://ftp.tu-chemnitz.de/pub/linux/dag/redhat/el7/en/x86_64/rpmforge/RPMS/cabe ...
- 二,PHP会话机制---session的基本使用
1,思考:登录网站后,在每个网页都能拿到用户信息 (1) 使用超链接传递用户名,这样太繁琐了,不建议使用 . (2) 使用数据库,每打开一个页面都查询一次用户信息表,这样网页加载速度变慢,用户体验变差 ...