Java | 如何从内存解析的角度理解“数组名实质是一个地址”?

本文涉及的产品
全局流量管理 GTM,标准版 1个月
公共DNS(含HTTPDNS解析),每月1000万次HTTP解析
云解析 DNS,旗舰版 1个月
简介: 这篇文章讨论了Java内存的简化结构以及如何解析一维和二维数组的内存分配。在Java中,内存分为栈和堆,栈存储局部变量,堆存储通过`new`关键字创建的对象和数组。方法区包含静态域和常量池。文章通过示例代码解释了一维数组的创建过程,分为声明数组、分配空间和赋值三个步骤,并提供了内存解析图。接着,介绍了二维数组的内存解析,强调二维数组是“数组的数组”,其内存结构中,外层元素存储内层数组的地址。最后,文章提到了默认初始化方式对初始值的影响,并给出了相关测试代码。

一、内存的简化结构

 

下图即为内存的简化结构。在Java语言中,内存的存储分配是这样的:


栈:局部变量

堆:new出来的东西,如对象、数组等


方法区:包括静态域(static)和常量池(String的内容就存储在这里)



内存的简化结构


这张内存简化图非常重要,需要大家留有印象。


接下来我们在该图和结论的基础上,分步来看一维数组与二维数组的内存解析。


二、一维数组的内存解析


1. 分步解析


示例代码


public class Test{
    public static void main(String args[]){
        int[] arr;   
        arr = new int[10];
 
        for ( int i=0; i<10; i++ ) {  
            arr[i] =2*i+1;
            System.out.println(arr[i]);
        }
    }
}


step1  int[] arr;


此时在栈中创建出了变量arr



step2  arr = new int[10];


接着使用new关键字,来创建一个一维数组。需要注意的是,基本数据类型数组在显式赋值之前, Java会自动给它们赋默认值。由于一维数组的每个元素都是int类型,因而默认值为0.



step3  arr[i] =2*i+1;  


在for循环中遍历数组arr并为其元素赋值:



综合起来看,内存状态如下:

 

2. 综合解析


如图,创建数组并赋值的过程可以简化成如下示意图。



左侧为栈区,右侧为堆区


当声明数组int[ ] arr 时,arr属于局部变量,在栈中创建。如上图中,int[ ] arr1和String[ ] arr2的操作执行后,在左侧的栈中创建了变量arr1与arr2. 若没有new的操作,实际上还未给数组开辟存储空间。


只有当通过new关键字创建数组对象后,系统才在堆中划分相应的存储空间,并依据数组元素的数据类型给新划分的空间自动赋初值。如上图中,在new int[4]后,堆区开辟了4个连续的存储空间,并赋值为0,而new String[3]后,堆区又开辟了3个存储空间用来存储String类型的数据,引用类型String默认初值为null.


同时,数组的地址(即数组首元素的地址,假设为0x12ab)赋值给栈区中的变量arr1,即变量arr1中存着数组的地址,通过该地址,arr1可以轻松地在堆中找到它对应的数组。


我们通过中括号 [ ] 来访问数组中的各个元素。我们执行arr1[0] = 10;这一代码时,实际便是根据栈内arr1中存着的地址,找到将堆区中的数组空间,并将第一个空间中的0改为了10.


而对于arr2[ ]数组,在new过之后又new了一次,第二次通过new String[5]开辟了一片5个存储空间的数组。这时变量arr2中原本存着的地址0x34ab被新地址0x78cd覆盖,arr2变量存放了新数组的地址。原数组在后续的某个时间内,将被自动回收。


当然,当栈区存有数组地址的变量arr1与变量arr2最终出栈后,在堆区划分的数组空间也将在之后被回收。


三、二(多)维数组的内存解析


1. 综合解析


二维数组是“数组的数组”,即一个一维数组中每个元素也是数组。由于数组既可以存储基本数据类型,也可以存储引用数据类型,因而“数组中存数组”的理解是可行的。


二维数组的创建过程与一维数组类似,这里便不再分步解析。我们直接来看内存解析图:



二维数组的内存解析


与一维数组的不同之处在于,二维数组中外层元素也用于存储地址。在创建二维数组时,除了在堆区中为外层元素(一维数组)开辟了存储空间外,还为内层元素开辟了存储空间。同时,内层元素的首元素地址返回给外层元素。


这样,数组名arr1与一维数组名arr1[ ] 像桥梁一样连接到内层元素arr1[ ][ ]。通过地址和存有地址的栈区变量arr1、堆区中的一维数组arr1[ ],我们可以轻松地访问到内层元素。


其中,内层元素的长度可以不相等。int[ ][ ] arr = new int[ ][ ]{{1,2,3},{4,5},{6,7,8}};这样也是可行的,从图中就能清晰的看出,内层元素之间其实是相对独立的。


2. 默认初始化方式对初始值的影响


针对于 int[][] arr = new int[4][3]; 这样将内外层元素个数都指定了的初始化方式,外层元素的初始化值为地址值,内层元素的初始化值则与一维数组初始化情况相同(由元素的数据类型而决定)。


而针对 int[][] arr = new int[4][]; 这样省略内层元素长度的初始化方式而言,外层元素的初始化值为null(相当于未赋值的引用数据类型),内层元素则根本没有初始化值而言(空间还没开辟),不能调用,否则编译器将报错。


测试


//测试代码
 
public class ArrayTest {
  public static void main(String[] args) {
    
    int[][] arr = new int[4][3];
    System.out.println(arr[0]); //[I@15db9742
    System.out.println(arr[0][0]);  //0
    
        //System.out.println(arr);
    
    System.out.println("***********************");
    float[][] arr1 = new float[4][3];
    System.out.println(arr1[0]);  //地址值
    System.out.println(arr1[0][0]); //0.0
    
    System.out.println("***********************");
    
    String[][] arr2 = new String[4][2];
    System.out.println(arr2[1]);  //地址值
    System.out.println(arr2[1][1]); //null
    
    System.out.println("*********************");
    double[][] arr3 = new double[4][];
    System.out.println(arr3[1]);  //null
//    System.out.println(arr3[1][0]); //报错
  }
}


总结


单看数组名,实际上是一个创建在栈区的局部变量。 整个数组数据量可能较大,直接把数组内所有的元素都存放在栈区是不太妥当的。因而,数组的主体部分实际上开辟在堆区。


要想访问数组,若堆区的内容与栈区的数组名arr之间没有任何关系,是无法找到想要访问的数组内容的。因而,堆区会返回开辟的数组空间首元素的地址作为数组主体的地址,传给栈区的局部变量arr(它是一个数组名)。若是二维数组,内层元素的首元素地址会作为外层元素(也就是一维数组名)的内容。


通过地址和存储地址的“数组名”、“一维数组名”,我们可以一连串地找到我们想要访问的数组元素。


该部分内容我用文字表述可能不够简练,大家更多地可以看图,图为重点,通过图示来理解内存解析更好一些。


相关文章
|
4天前
|
人工智能 自然语言处理 Java
FastExcel:开源的 JAVA 解析 Excel 工具,集成 AI 通过自然语言处理 Excel 文件,完全兼容 EasyExcel
FastExcel 是一款基于 Java 的高性能 Excel 处理工具,专注于优化大规模数据处理,提供简洁易用的 API 和流式操作能力,支持从 EasyExcel 无缝迁移。
47 9
FastExcel:开源的 JAVA 解析 Excel 工具,集成 AI 通过自然语言处理 Excel 文件,完全兼容 EasyExcel
|
11天前
|
存储 缓存 Java
Java 并发编程——volatile 关键字解析
本文介绍了Java线程中的`volatile`关键字及其与`synchronized`锁的区别。`volatile`保证了变量的可见性和一定的有序性,但不能保证原子性。它通过内存屏障实现,避免指令重排序,确保线程间数据一致。相比`synchronized`,`volatile`性能更优,适用于简单状态标记和某些特定场景,如单例模式中的双重检查锁定。文中还解释了Java内存模型的基本概念,包括主内存、工作内存及并发编程中的原子性、可见性和有序性。
Java 并发编程——volatile 关键字解析
|
8天前
|
Java 数据库连接 Spring
反射-----浅解析(Java)
在java中,我们可以通过反射机制,知道任何一个类的成员变量(成员属性)和成员方法,也可以堆任何一个对象,调用这个对象的任何属性和方法,更进一步我们还可以修改部分信息和。
|
1月前
|
存储 算法 Java
Java内存管理深度解析####
本文深入探讨了Java虚拟机(JVM)中的内存分配与垃圾回收机制,揭示了其高效管理内存的奥秘。文章首先概述了JVM内存模型,随后详细阐述了堆、栈、方法区等关键区域的作用及管理策略。在垃圾回收部分,重点介绍了标记-清除、复制算法、标记-整理等多种回收算法的工作原理及其适用场景,并通过实际案例分析了不同GC策略对应用性能的影响。对于开发者而言,理解这些原理有助于编写出更加高效、稳定的Java应用程序。 ####
|
1月前
|
存储 监控 算法
Java虚拟机(JVM)垃圾回收机制深度解析与优化策略####
本文旨在深入探讨Java虚拟机(JVM)的垃圾回收机制,揭示其工作原理、常见算法及参数调优方法。通过剖析垃圾回收的生命周期、内存区域划分以及GC日志分析,为开发者提供一套实用的JVM垃圾回收优化指南,助力提升Java应用的性能与稳定性。 ####
|
1月前
|
Java 数据库连接 开发者
Java中的异常处理机制:深入解析与最佳实践####
本文旨在为Java开发者提供一份关于异常处理机制的全面指南,从基础概念到高级技巧,涵盖try-catch结构、自定义异常、异常链分析以及最佳实践策略。不同于传统的摘要概述,本文将以一个实际项目案例为线索,逐步揭示如何高效地管理运行时错误,提升代码的健壮性和可维护性。通过对比常见误区与优化方案,读者将获得编写更加健壮Java应用程序的实用知识。 --- ####
|
2月前
|
监控 Java 应用服务中间件
高级java面试---spring.factories文件的解析源码API机制
【11月更文挑战第20天】Spring Boot是一个用于快速构建基于Spring框架的应用程序的开源框架。它通过自动配置、起步依赖和内嵌服务器等特性,极大地简化了Spring应用的开发和部署过程。本文将深入探讨Spring Boot的背景历史、业务场景、功能点以及底层原理,并通过Java代码手写模拟Spring Boot的启动过程,特别是spring.factories文件的解析源码API机制。
87 2
|
3月前
|
缓存 Java 程序员
Map - LinkedHashSet&Map源码解析
Map - LinkedHashSet&Map源码解析
87 0
|
10天前
|
存储 设计模式 算法
【23种设计模式·全精解析 | 行为型模式篇】11种行为型模式的结构概述、案例实现、优缺点、扩展对比、使用场景、源码解析
行为型模式用于描述程序在运行时复杂的流程控制,即描述多个类或对象之间怎样相互协作共同完成单个对象都无法单独完成的任务,它涉及算法与对象间职责的分配。行为型模式分为类行为模式和对象行为模式,前者采用继承机制来在类间分派行为,后者采用组合或聚合在对象间分配行为。由于组合关系或聚合关系比继承关系耦合度低,满足“合成复用原则”,所以对象行为模式比类行为模式具有更大的灵活性。 行为型模式分为: • 模板方法模式 • 策略模式 • 命令模式 • 职责链模式 • 状态模式 • 观察者模式 • 中介者模式 • 迭代器模式 • 访问者模式 • 备忘录模式 • 解释器模式
【23种设计模式·全精解析 | 行为型模式篇】11种行为型模式的结构概述、案例实现、优缺点、扩展对比、使用场景、源码解析
|
10天前
|
设计模式 存储 安全
【23种设计模式·全精解析 | 创建型模式篇】5种创建型模式的结构概述、实现、优缺点、扩展、使用场景、源码解析
结构型模式描述如何将类或对象按某种布局组成更大的结构。它分为类结构型模式和对象结构型模式,前者采用继承机制来组织接口和类,后者釆用组合或聚合来组合对象。由于组合关系或聚合关系比继承关系耦合度低,满足“合成复用原则”,所以对象结构型模式比类结构型模式具有更大的灵活性。 结构型模式分为以下 7 种: • 代理模式 • 适配器模式 • 装饰者模式 • 桥接模式 • 外观模式 • 组合模式 • 享元模式
【23种设计模式·全精解析 | 创建型模式篇】5种创建型模式的结构概述、实现、优缺点、扩展、使用场景、源码解析

推荐镜像

更多