《深入Java虚拟机学习笔记》- 第15章 对象和数组

1、针对对象的操作码

实例化一个新对象需要通过new操作码来实现。

对象的创建










操作码

操作数

说明

new

index

在堆中创建一个新的对象,将其引用压入栈

new操作码后面紧跟一个无符号16位数,表示常量池中的一个索引。在特定偏移量位置处的常量池入口给出了新对象所属类的信息。如果还没有这些信息,那么虚拟机会解析这个常量池入口。它会为这个堆中的对象建立一个新的实例,用默认初始化对象实例变量,然后把新对象的引用压入栈。

存取实例变量















操作码

操作数

说明

putfield

index

设置对象字段(由index指定)的值,值value和对象引用objectref均从栈中获得

getfield

index

将对象字段(由index指定)压入栈,对象引用objectref栈中取得

存取类变量














操作码

操作数

说明

putstatic

index

设置静态字段(由index指定)的值,值value从栈中获得

getstatic

index

将静态字段(由index指定)压入栈

putfield和getfield这两个操作码只在字段是实例变量的情况下才执行,putstatic和getstatic对静态变量进行存取操作。操作数表示常量池的索引。这个索引所指向的常量池入口包含了该字段的所属类、名字和类型等信息。如果还没有这些信息,虚拟机会解析这个常量池入口。

例如下面代码:

public class TestA
{

int x;

int y;

}

public class TestMain
{

/**

@param args

*/

public static void main(String[]
args) {

// TODO Auto-generated
method stub

TestA testA
new TestA();

testA.x =
3;

testA.y =
4;

}

}

用javap工具查看其字节码指令为:

Compiled from
"TestMain.java"

public class TestMain extends
java.lang.Object{

public
TestMain();

Code:

0:
aload_0

1: invokespecial #8; //Method
java/lang/Object."<init>":()V

4:
return

public static void
main(java.lang.String[]);

Code:

0: new #16; //class
TestA 新建 TestA对象

3: dup
//

4: invokespecial #18; //Method
TestA."<init>":()V 调用构造方法

7: astore_1
//存入位置为1的局部变量

8: aload_1
//取出位置为1的局部变量压入栈

9: iconst_3
//常量3入栈

10: putfield #19; //Field
TestA.x:I 赋值

13:
aload_1

14:
iconst_4

15: putfield #23; //Field
TestA.y:I

18:
return

}

2、针对数组的操作码

创建数组



















操作码

操作数

说明

newarray

atype

从栈中弹出数组长度,使用atype所指定的基本数据类型分配新数组,将数组的对象引用压入栈

anewarray

index

从栈中弹出数组长度,是哟index所指定的类分配新对象数组,将新数组的对象引用压入栈

multianewarray

index,dimensions

从栈中弹出数组的维数,使用由index所指定的类分配新多维数组,将新数组的对象引用压入栈

atype的值





























数组类型

atype

T_BOOLEAN

4

T_CHAR

5

T_FLOAT

6

T_DOUBLE

7

T_BYTE

8

T_SHORT

9

T_INT

10

T_LONG

11

需要注意的是,当数组类型显示声明为boolean类型时,Java虚拟机中创建数组的指令会以位为单位进行操作。无论虚拟机对于boolean数组使用哪一种内部实现,都会使用存取byte数组元素的操作码访问boolean数组的元素。

获取数组长度










操作码

操作数

说明

arraylength

(无)

从栈中弹出一个数组的对象引用,将数组长度压入栈

arraylength指令从栈顶端弹出一个数组引用,然后把这个数组的长度压入栈。

获取数组元素,虚拟机从栈中弹出数组的索引和数组引用,再将位于给定数组的指定索引位置压入栈。

获取数组元素






































操作码

操作数

说明

baload

(无)

将byte类型或者boolean类型的数组的索引index和数组引用arrayref弹出栈,将arrayref[index]压入栈

caload

(无)

将char类型的数组的索引index和数组引用arrayref弹出栈,将arrayref[index]压入栈

saload

(无)

将short类型的数组的索引index和数组引用arrayref弹出栈,将arrayref[index]压入栈

iaload

(无)

将int类型的数组的索引index和数组引用arrayref弹出栈,将arrayref[index]压入栈

laload

(无)

将long类型的数组的索引index和数组引用arrayref弹出栈,将arrayref[index]压入栈

faload

(无)

将float类型的数组的索引index和数组引用arrayref弹出栈,将arrayref[index]压入栈

daload

(无)

将double类型的数组的索引index和数组引用arrayref弹出栈,将arrayref[index]压入栈

aaload

(无)

将对象引用类型的数组的索引index和数组引用arrayref弹出栈,将arrayref[index]压入栈







































操作码

操作数

说明

bastore

(无)

将byte类型或者boolean类型的值、数组的索引index和数组引用arrayref弹出栈,赋值为arrayref[index]
= value

castore

(无)

将char类型的值value、数组的索引index和数组引用arrayref弹出栈,赋值为arrayref[index]
= value

sastore

(无)

将short类型的值value、数组的索引index和数组引用arrayref弹出栈,赋值为arrayref[index]
= value

iastore

(无)

将int类型的数组的值value、索引index和数组引用arrayref弹出栈,赋值为arrayref[index]
= value

lastore

(无)

将long类型的值value、数组的索引index和数组引用arrayref弹出栈,赋值为arrayref[index]
= value

fastore

(无)

将float类型的值value、数组的索引index和数组引用arrayref弹出栈,赋值为arrayref[index]
= value

dastore

(无)

将double类型的值value、数组的索引index和数组引用arrayref弹出栈,赋值为arrayref[index]
= value

aastore

(无)

将对象引用类型的值value、数组的索引index和数组引用arrayref弹出栈,,赋值为arrayref[index]
= value

例如如下代码:

public class TestMain
{

/**

@param args

*/

public static void main(String[]
args) {

// TODO Auto-generated
method stub

int a[]
new int[3];

for (int i
= 0 ; i < 3;i++){

a[i] = i;

}

}

}

用javap工具查看其字节码为:

Compiled from "TestMain.java"

public class TestMain extends java.lang.Object{

public TestMain();

Code:

0: aload_0

1: invokespecial #8; //Method
java/lang/Object."<init>":()V

4: return

public static void main(java.lang.String[]);

Code:

0: iconst_3

1: newarray int

3: astore_1

4: iconst_0

5: istore_2

6: goto 16

9: aload_1

10: iload_2

11: iload_2

12: iastore

13: iinc 2, 1

16: iload_2

17: iconst_3

18: if_icmplt 9

21: return

}

时间: 2024-10-16 08:59:06

《深入Java虚拟机学习笔记》- 第15章 对象和数组的相关文章

java JDK8 学习笔记——第15章 通用API

第十五章 通用API 15.1 日志 15.1.1 日志API简介 1.java.util.logging包提供了日志功能相关类与接口,不必额外配置日志组件,就可在标准Java平台使用是其好处.使用日志的起点是Logger类,Logger类的构造函数标示为protected,不是java.util.logging同包的类不能直接以new创建,要取得Logger实例,必修使用Logger的静态方法getLogger(). 2.调用getLogger()时,必须指定Logger实例所属名称空间,名称

《深入Java虚拟机学习笔记》- 第4章 网络移动性

Java虚拟机学习笔记(四)网络移动性 <深入Java虚拟机学习笔记>- 第4章 网络移动性,布布扣,bubuko.com

《深入Java虚拟机学习笔记》- 第7章 类型的生命周期

一.类型生命周期的开始 如图所示 初始化时机 所有Java虚拟机实现必须在每个类或接口首次主动使用时初始化: 以下几种情形符合主动使用的要求: 当创建某个类的新实例时(或者通过在字节码中执行new指令,或者通过不明确的创建.反射.克隆和反序列化): 当调用某个类的静态方法时(即在字节码中执行invokestatic指令): 当使用某个类或接口的静态字段,或者对该字段赋值时(用final修饰的静态字段除外,它被初始化为一个编译时常量表达式): 当调用Java API中的某些反射方法: 当初始化某个

《深入Java虚拟机学习笔记》- 第13章 逻辑运算

<深入Java虚拟机学习笔记>- 第13章 浮点运算 <深入Java虚拟机学习笔记>- 第13章 逻辑运算,布布扣,bubuko.com

《深入Java虚拟机学习笔记》- 第12章 整数运算

Java虚拟机提供几种进行整数算术运算的操作码,他们执行基于int和long类型的运算.当byte.short和char类型值参与算术运算时,首先会将它们转换为int类型.这些操作码都不会抛出异常,溢出在这里通常可以被忽略. 整数加法 操作码 操作数 说明 iadd (无) 从栈中弹出两个int类型数,相加,然后将所得int类型结果压回栈 ladd (无) 从栈中弹出两个long类型数,相加,然后将所得long类型结果压回栈 将一个常量与局部变量相加 操作码 操作数 说明 iinc vindex

《深入Java虚拟机学习笔记》- 第2章 平台无关

Java虚拟机学习笔记(二)平台无关 <深入Java虚拟机学习笔记>- 第2章 平台无关,布布扣,bubuko.com

《深入Java虚拟机学习笔记》- 第14章 浮点运算

<深入Java虚拟机学习笔记>- 第13章 浮点运算

《深入Java虚拟机学习笔记》- 第19章 方法的调用与返回

<深入Java虚拟机学习笔记>- 第19章 方法的调用与返回

《深入Java虚拟机学习笔记》- 第5章 Java虚拟机

一.JVM的生命周期 当启动一个Java程序时,一个Java虚拟机实例就诞生了:当该程序关闭退出时,这个Java虚拟机也就随之消亡: JVM实例通过调用某个初始类的main方法来运行一个Java程序:这个main方法必须是public.static的,而且返回值必须是void:任何一个拥有这样的main方法的类都可以作为Java程序运行的起点: Java程序初始类中的main方法,将作为该程序初始线程的起点,其它任何线程都是由这个初始线程启动的: 守护线程和非守护线程 守护线程通常是由虚拟机自己

《深入Java虚拟机学习笔记》- 第17章 异常

<深入Java虚拟机学习笔记>- 第17章 异常