java - 为什么同一个静态字段在dalvik中有两个不同的id?
问题描述
我正在编写自己的玩具 Dalvik VM,但我似乎无法弄清楚 dalvik 如何处理继承的静态字段。
考虑以下java代码:
class Parent { static int parent_int = 10; }
class MyCode extends Parent {
public static void main(String[] args){
System.out.println(parent_int + 1);
}
}
当使用 javac 和 java 编译和运行时,它会打印11
到控制台,正如人们所期望的那样。但是,当它被编译为dalvik时,该parent_int
值会变成一个sget
语句来获取field@0000
,而在字段id的<clinit>
方法中是。Parent
parent_int
field@0001
在我对 Dalvik VM 的实现中,这成为一个问题,因为field@0000
没有初始化,即使Parent
类field@0001
已经被初始化。
Dalvik VM 是如何处理这个问题的?它怎么知道它们是相关的,并且应该被认为是相同的?为什么它们一开始就变成了两个不同的领域,而它们也可以成为一个领域?
解决方案
简短回答: field@0000 和 field@0001 实际上是不同的引用。
Longer:让我们一步一步来:
反编译:
[tmp]$ dextra -j -d -D classes.dex
/* 0 */ class Parent {
/** 1 Static Fields (not printed - use -f to print) **/
/** 2 Direct Methods **/
static void <clinit> () // Class Constructor
{
/* # of Registers: 1 */
/* # of Instructions: 5 */
/* 0000: Op 1300 0a00 const/16 v0, 0xa */
v0 = 10;
/* 0002: Op 6700 0100 sput v0, ?@1 */
Parent.parent_int = v0; // (Field@1)
/* 0004: Op 0e00 return-void */
return;
} // end <clinit>
void <init> () // Constructor
{
/* # of Registers: 1 */
/* # of Instructions: 4 */
/* 0000: Op 7010 0500 0000 invoke-direct { v0 } */
result = java.lang.Object.<init>(v0); // (Method@5(v0))
/* 0003: Op 0e00 return-void */
return;
} // end <init>
} // end class Parent
/* 1 */ class MyCode extends Parent { /** 2 Direct Methods **/
void <init> () // Constructor
{
/* # of Registers: 1 */
/* # of Instructions: 4 */
/* 0000: Op 7010 0300 0000 invoke-direct { v0 } */
result = Parent.<init>(v0); // (Method@3(v0))
/* 0003: Op 0e00 return-void */
return;
} // end <init>
public static void main (java.lang.String[])
{
/* # of Registers: 2 */
/* # of Instructions: 19 */
/* 0000: Op 6201 0200 sget-object v1, ?@2 */
v1 = java.lang.System.out; // (Field@2)
/* 0002: Op 6000 0000 sget v0, ?@0 */
v0 = MyCode.parent_int; // (Field@0)
/* 0004: Op d800 0001 add-int/lit8 v0, 1 */
v0 += 1;
/* 0006: Op 6e20 0400 0100 invoke-virtual { v1, v0 } */
result = java.io.PrintStream.println(java.lang.System.out, MyCode.parent_int); // (Method@4(v1, v0))
/* 0009: Op 6201 0200 sget-object v1, ?@2 */
v1 = java.lang.System.out; // (Field@2)
/* 000b: Op 6000 0100 sget v0, ?@1 */
v0 = Parent.parent_int; // (Field@1)
/* 000d: Op d800 0001 add-int/lit8 v0, 1 */
v0 += 1;
/* 000f: Op 6e20 0400 0100 invoke-virtual { v1, v0 } */
result = java.io.PrintStream.println(java.lang.System.out, Parent.parent_int); // (Method@4(v1, v0))
/* 0012: Op 0e00 return-void */
return;
} // end main
} // end class MyCode
(这是您的代码,但在您的代码之后添加另一个“System.out.println(Parent.parent_int + 1);”)
现在,正如您所说的那样,父引用 field1,而 main 则查看 @0。如果我们显示字段:
[tmp]$ dextra -F classes.dex
Field (0) Definer: LMyCode; Name: parent_int type: I Flags: 0x0
Field (1) Definer: LParent; Name: parent_int type: I Flags: 0x0
Field (2) Definer: Ljava/lang/System; Name: out type: Ljava/io/PrintStream; Flags: 0x0
我们看到字段 1 属于 Parent,字段 0 属于 MyCode。由于它们都是静态的,它们由每个类单独拥有:在 Dalvik 的 MyCode 内部初始化(我们没有看到,因为这是在运行时级别处理的,现在通过从 .ART 中克隆影子),字段引用“static_int”被复制过来(从孩子的影子,而不是父母的影子)——但是对父字段的进一步引用(比如我添加的 system.out.println)将处理字段 1,而不是 0。
编辑:请注意,从类的角度来看,只有字段属于父级:
0 类:父文件:MyCode.java 1 静态字段 2 直接方法 1 类:MyCode 扩展 LParent;文件:MyCode.java 2 直接方法
所以“parent_int”在很大程度上归父类所有。
请注意,您总是在这个或那个对象/类的上下文中引用该字段,所以如果不是为了那个优化。所以 - 严格来说,Dalvik 可以折叠两个字段(相同) - 但不会这样做,因为拥有这个看似“重复”的字段的成本并不高,值得快速访问定义器。
推荐阅读
- winapi - 当我在设备管理器中更改 COM 端口号时会发生什么?
- sql - U-SQL:如何处理架构更改?
- plugins - 在 Teamcity 构建页面中添加新选项卡/页面
- javascript - 如何开始,停止以获取数组 javascript 的结果?
- python - 一个一个地运行 django 迁移
- sql-server - SQL Server:联合两个具有不同列的表
- javascript - jw 令牌验证无效的 socket.io
- python - 如何在松弛 API 中对肤色做出反应
- python - 如何检查是否没有以前的输出
- selenium - 使用硒(python)在登录窗口中捕获电子邮件框