上一章节：[详解The Java® Virtual Machine Specification Java SE 26 Edition系列之Java 虚拟机的结构上](https://cloud.tencent.com/developer/article/2653518)
### **2.3.3 returnAddress 类型与值**

returnAddress 类型由 Java 虚拟机的 `jsr`、`ret` 和 `jsr_w` 指令（§jsr, §ret, §jsr_w）使用。returnAddress 类型的值是指向 Java 虚拟机指令操作码的指针。与数值基本类型不同，returnAddress 类型**不对应于任何 Java 编程语言类型**，并且**不能被正在运行的程序修改**。

### **2.3.4 boolean 类型**

尽管 Java 虚拟机定义了 boolean 类型，但它仅为其提供**非常有限的支持**。Java 虚拟机**没有专门用于 boolean 值操作的指令**。相反，Java 编程语言中操作 boolean 值的表达式在编译时会被转换为使用 Java 虚拟机 **int 数据类型**的值。

Java 虚拟机**直接支持 boolean 数组**。其 `newarray` 指令（§newarray）可用于创建 boolean 数组。boolean 类型的数组通过字节数组指令 `baload` 和 `bastore`（§baload, §bastore）进行访问和修改。

在 Oracle 的 Java 虚拟机实现中，Java 编程语言中的 boolean 数组被编码为 Java 虚拟机的字节数组，每个 boolean 元素占用 8 位。

Java 虚拟机使用 **1 表示 true**，**0 表示 false** 来编码 boolean 数组的组件。当 Java 编程语言的 boolean 值被编译器映射为 Java 虚拟机 int 类型的值时，编译器**必须使用相同的编码**。

## **2.4 引用类型与值**

引用类型有三种：**类类型**（class types）、**数组类型**（array types）和**接口类型**（interface types）。它们的值分别是：指向动态创建的类实例、数组、或实现了相应接口的类实例或数组的引用。

一个数组类型由一个**组件类型**（component type）和单一维度（其长度不由类型本身指定）构成。数组类型的组件类型本身也可以是数组类型。如果从任意数组类型出发，考察其组件类型，再考察该组件类型的组件类型（若它也是数组类型），依此类推，最终必定会到达一个**非数组类型**的组件类型；该类型称为该数组类型的**元素类型**（element type）。数组类型的元素类型必然是以下三者之一：基本类型、类类型或接口类型。

引用值也可以是特殊的 **null 引用**（null reference），即不指向任何对象的引用，在此处用 **null** 表示。null 引用在初始时没有运行时类型，但可以被强制转换为任意类型。引用类型的默认值是 null。本规范**不要求**为 null 规定具体的值编码。

## **2.5 运行时数据区**

Java 虚拟机定义了多种在程序执行期间使用的运行时数据区。其中一些数据区在 Java 虚拟机启动时创建，并仅在虚拟机终止时销毁。其他数据区则是**线程私有**的。线程私有数据区在线程创建时创建，在线程终止时销毁。

### **2.5.1 程序计数器**（pc 寄存器）

Java 虚拟机可同时支持多个执行线程（JLS §17）。每个 Java 虚拟机线程都有自己的 **pc**（程序计数器）。在任意时刻，每个 Java 虚拟机线程都在执行某个方法的代码，即该线程的**当前方法**（§2.6）。如果该方法不是本地方法（native），则 pc 寄存器包含当前正在执行的 Java 虚拟机指令的地址。如果当前线程正在执行的方法是本地方法，则 Java 虚拟机 pc 寄存器的值是**未定义的**。Java 虚拟机的 pc 寄存器宽度足以容纳特定平台上的 returnAddress 或本地指针。

### **2.5.2 Java 虚拟机栈**

每个 Java 虚拟机线程都有一个私有的 **Java 虚拟机栈**（Java Virtual Machine stack），在线程创建时一同创建。Java 虚拟机栈用于存储**栈帧**（frames, §2.6）。Java 虚拟机栈类似于 C 等传统语言中的栈：它保存局部变量和部分计算结果，并在方法调用和返回中发挥作用。由于 Java 虚拟机栈除了压入和弹出栈帧外，从不被直接操作，因此栈帧可以分配在堆上。Java 虚拟机栈的内存**不需要是连续的**。

在《Java® 虚拟机规范》第一版中，Java 虚拟机栈被称为“Java 栈”。

本规范允许 Java 虚拟机栈具有**固定大小**，或根据计算需要**动态扩展和收缩**。如果 Java 虚拟机栈大小固定，则每个栈的大小可在其创建时独立设定。

Java 虚拟机实现可以为程序员或用户提供对 Java 虚拟机栈初始大小的控制；对于可动态扩展或收缩的栈，还可提供对最大和最小栈大小的控制。

与 Java 虚拟机栈相关的异常情况如下：
- 如果线程中的计算所需 Java 虚拟机栈大小超过允许的最大值，Java 虚拟机将抛出 **StackOverflowError**。
- 如果 Java 虚拟机栈可动态扩展，但在尝试扩展时无法获得足够的内存，或者在创建新线程时无法为初始 Java 虚拟机栈分配足够内存，Java 虚拟机将抛出 **OutOfMemoryError**。

### **2.5.3 堆**

Java 虚拟机拥有一个**堆**（heap），该堆被所有 Java 虚拟机线程**共享**。堆是用于为所有类实例和数组分配内存的运行时数据区。

堆在虚拟机启动时创建。对象的堆存储空间由**自动存储管理系统**（即垃圾收集器）回收；对象**永远不会被显式释放**。Java 虚拟机不对自动存储管理系统的具体类型作任何假设，存储管理技术可根据实现者系统需求进行选择。堆的大小可以是固定的，也可以根据计算需要进行扩展，并在不再需要较大堆时进行收缩。堆的内存**不需要是连续的**。

Java 虚拟机实现可以为程序员或用户提供对堆初始大小的控制；对于可动态扩展或收缩的堆，还可提供对最大和最小堆大小的控制。

与堆相关的异常情况如下：
- 如果计算所需的堆内存超过了自动存储管理系统所能提供的内存，Java 虚拟机将抛出 **OutOfMemoryError**。

### **2.5.4 方法区**

Java 虚拟机拥有一个**方法区**（method area），该区域被所有 Java 虚拟机线程**共享**。方法区类似于传统语言中已编译代码的存储区，或类似于操作系统进程中所谓的“文本段”（text segment）。它存储每个类的结构信息，例如**运行时常量池**、字段和方法数据，以及方法和构造器的代码（包括用于类和接口初始化及实例初始化的特殊方法，§2.9）。

方法区在虚拟机启动时创建。尽管方法区在逻辑上属于堆的一部分，但简单的实现可能选择**不对其进行垃圾回收或压缩**。本规范**不要求**规定方法区的位置或管理已编译代码的策略。方法区的大小可以是固定的，也可以根据计算需要进行扩展，并在不再需要较大方法区时进行收缩。方法区的内存**不需要是连续的**。

Java 虚拟机实现可以为程序员或用户提供对方法区初始大小的控制；对于大小可变的方法区，还可提供对最大和最小方法区大小的控制。

与方法区相关的异常情况如下：
- 如果方法区内存无法满足分配请求，Java 虚拟机将抛出 **OutOfMemoryError**。

### **2.5.5 运行时常量池**

**运行时常量池**（run-time constant pool）是类文件中 `constant_pool` 表（§4.4）的**每类**（per-class）或**每接口**（per-interface）的运行时表示。它包含多种常量，范围从编译时已知的数值字面量，到必须在运行时解析的方法和字段引用。运行时常量池的功能类似于传统编程语言的符号表，但其包含的数据范围比典型的符号表更广。

每个运行时常量池都从 Java 虚拟机的**方法区**（§2.5.4）中分配。当 Java 虚拟机创建一个类或接口时（§5.3），会同时构建其对应的运行时常量池。

与类或接口的运行时常量池构建相关的异常情况如下：
- 在创建类或接口时，如果构建运行时常量池所需的内存在 Java 虚拟机方法区中无法获得，Java 虚拟机将抛出 **OutOfMemoryError**。

有关运行时常量池构建的更多信息，请参见 §5（加载、链接与初始化）。

### **2.5.6 本地方法栈**

Java 虚拟机的实现可以使用传统的栈（俗称“C 栈”）来支持**本地方法**（native methods，即用 Java 编程语言以外的语言编写的方法）。本地方法栈也可被 Java 虚拟机指令集解释器的实现（例如用 C 语言编写的解释器）所使用。无法加载本地方法且自身不依赖传统栈的 Java 虚拟机实现，**无需提供**本地方法栈。如果提供了本地方法栈，通常会在每个线程创建时为其分配一个本地方法栈。

本规范允许本地方法栈具有**固定大小**，或根据计算需要**动态扩展和收缩**。如果本地方法栈大小固定，则每个栈的大小可在其创建时独立设定。

Java 虚拟机实现可以为程序员或用户提供对本地方法栈初始大小的控制；对于大小可变的本地方法栈，还可提供对最大和最小栈大小的控制。

与本地方法栈相关的异常情况如下：
- 如果线程中的计算所需本地方法栈大小超过允许的最大值，Java 虚拟机将抛出 **StackOverflowError**。
- 如果本地方法栈可动态扩展，但在尝试扩展时无法获得足够的内存，或者在创建新线程时无法为初始本地方法栈分配足够内存，Java 虚拟机将抛出 **OutOfMemoryError**。
下一章节 ：[详解The Java® Virtual Machine Specification Java SE 26 Edition系列之Java 虚拟机的结构下](https://cloud.tencent.com/developer/article/2653525)

上一章节：详解The Java® Virtual Machine Specification Java SE 26 Edition系列之Java 虚拟机的结构上

详解The Java® Virtual Machine Specification Java SE 26 Edition系列之Java 虚拟机的结构中

returnAddress 类型由 Java 虚拟机的 jsr、ret 和 jsr_w 指令（§jsr, §ret, §jsr_w）使用。returnAddress 类型的值是指向 Java 虚拟机指令操作码的指针。与数值基本类型不同，returnAddress 类型不对应于任何 Java 编程语言类型，并且不能被正在运行的程序修改。

编程语言

后端

Java虚拟机规范详解：returnAddress类型、boolean类型支持及运行时数据区解析。包含程序计数器、虚拟机栈、堆、方法区、运行时常量池和本地方法栈的工作原理与内存管理机制，深入理解JVM核心架构与异常处理机制。

存储管理

虚拟机

编译器

解释器

Java

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

详解The Java® Virtual Machine Specification Java SE 26 Edition系列之Java 虚拟机的结构中-腾讯云开发者社区-腾讯云

详解The Java® Virtual Machine Specification Java SE 26 Edition系列之Java 虚拟机的结构中

详解The Java® Virtual Machine Specification Java SE 26 Edition系列之Java 虚拟机的结构中

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐