图解Java数组的内存分配
1. Java数组是静态的
Java是静态语言,所以Java的数组也是静态的,即:数组被初始化后,长度不可变
静态初始化:显式指定每个数组元素的初始值,系统决定数组长度
String[] books = new String[]{"疯狂Java讲义","Thinking in Java","Java核心技术卷"};
String[] names = new String[]{"张三","李四","王五","赵六"};
动态初始化:显式指定数组的长度,系统决定每个数组元素的初始值
String[] strArr = new String[5];
以上两种初始化的内存使用情况如图所示:
文章图片
动态初始化数组由系统决定每个数组元素的初始值,遵循以下规则:
- byte、short、int、long类型的数组的初始值为
0
- float、double类型的数组的初始值为
0.0
- char类型的数组的初始值为
'\u0000'
,表现为空字符''
,但要占位 - boolean类型的数组的初始值为
false
- 引用类型的数组的初始值为
null
books = names;
strArr = books;
System.out.println(books.length);
// 4
System.out.println(strArr.length);
// 4
Java的数组变量是一种引用类型的变量,数组变量并不是数组本身,它只是指向堆内存中的数组对象,改变一个数组变量所引用的数组,可以造成数组长度可变的假象。
上述代码让books数组变量和strArr数组变量都指向了names数组变量引用的数组,这样做的结果就是让三个数组变量都引用了相同的数组对象。内存图如下:
文章图片
而原来strArr和books引用的数组对象的长度不会改变,由于已经没有变量引用它们,它们成为垃圾,等待垃圾回收机制来回收。此时,程序使用strArr、books、和names这三个变量时,将会访问同一个数组对象。
JavaScript是动态语言,其数组的长度可以改变:
2. 数组一定要初始化吗? 实际上,懂得了Java数组的内存机制后,我们可以说:数组不是必须初始化,或者说,数组初始化不仅有之前介绍的两种方法,可以完全换一种方法:
int[] nums = new int[]{1, 2, 3, 4, 5};
int[] arr;
arr = nums;
对于数组对象来说,必须初始化,也就是为该数组对象分配一块连续的内存空间,连续内存空间的长度就是数组对象的长度。
对于数组变量来说,不需要进行初始化,只需让其指向一个有效的数组对象就可以。
实际上,所有引用类型的变量,其变量本身不需要任何初始化,需要初始化的是它所引用的对象。
3. 基本类型数组的初始化 程序直接先为数组分配内存空间,再将数组元素的值存入对应的内存中。
int nums;
①
System.out.println(nums);
②
nums = new int[]{1, 2, 3, 4};
③
System.out.println(nums.length);
④
我们来分析①-④步的内存:
① 定义nums数组变量后的存储示意图如下:
文章图片
对于②行代码来说没有任何问题,虽然nums变量并未引用到有效的数组对象,但此时并未通过nums变量访问数组对象的方法或属性,所以没有问题。
③ 静态初始化nums数组后的存储示意图如下:
文章图片
对于④行代码来说,此时访问了nums数组对象的属性,所以要求nums必须引用一个有效的对象。
当通过引用变量来访问实例属性或者调用非静态方法时,如果该引用变量还未指向有效的对象,程序就会抛出运行时异常:
NullPointerException
,例如,第二行代码如果为:System.out.println(nums.length);
就会抛出
NullPointerException
误区:基本类型的数据的值存储在栈内存中
实际上,应该是所有的局部变量都保存在栈内存中,不管是基本类型还是引用类型,局部变量都保存在各自的方法栈中。
4. 引用类型数组的初始化 引用类型数组的数组元素仍然是引用类型,因此数组元素里存储的还是引用,它指向另一块内存,这块内存里存储了该引用变量所引用的对象,包括数组和Java对象。
下面程序的执行代表了引用类型数组初始化的典型过程:
class Person{
String name;
int age;
public void info(){
System.out.println("name:" + name + ", age:" + age);
}
}// 创建两个Person对象
Person p1 = new Person();
p1.name = "张三";
p1.age = 20;
Person p2 = new Person();
p2.name = "李四";
p2.age = 30;
// 将两个Person对象赋给数组元素
person[0] = p1;
person[1] = p2;
// 结果一样,p1和person[0]指向同一个对象
p1.info();
person[0].info();
分析内存:
文章图片
文章图片
文章图片
5. 数组元素就是变量 当数组引用变量指向一个有效的数组对象之后,程序就可以通过该数组变量访问数组对象。
Java语言不允许直接访问堆内存中的对象,因此无法直接访问堆内存中的数组对象,程序将通过数组引用变量来访问数组对象。
Java语言避免直接访问堆内存可以使程序更加健壮,如果程序直接访问并修改堆内存中的数据,可能破坏内存的数据完整性,从而导致程序Crash。
无论哪种类型的数组,其数组元素其实相当于一个普通变量。
下面程序师范了将数组元素和普通变量相互赋值的情形:
class Cat{
String name;
double height;
public Cat(String name, double height){
this.name = name;
this.height = height;
}
public void info(){
System.out.println("name:" + name + ", height:" + height);
}
}public class TestArray {
public static void main(String[] args) {
int[] a = new int[5];
for(int i=0;
i
内存分析:
文章图片
文章图片
6. 没有多维数组 所谓多维数组,其实只是数组元素元素依然是数组的数组,1维数组的数组元素的基本类型或者引用类型,2维数组的数组元素是1维数组,3维数组的数组元素是2维数组...N维数组的数组元素是N-1维数组。
Java允许将多维数组当成1维数组来处理,初始化多维数组时可以先初始化最左边的维数,此时该数组的每个数组元素都相当于一个数组引用变量,这些数组还需要进一步初始化。
如下程序示范了多维数组的用法:
public static void main(String[] args) {
int[][] a;
a = new int[4][];
// 把a当成一维数组,遍历a数组的每个数组元素
for(int i=0;
i
内存分析:
文章图片
说明:一般我们认为通过数组的length属性可以获取数组的长度,其实这个说法不够准确,例如数组a,它是一个传统的“二维数组”,它的长度好像定义不是很明确,其实,数组的长度指的是数组所分配的连续内存空间的长度,所以说a数组的长度为4.
我们用一个“极端”的程序来更好的理解数组在内存中的分配机制:
public static void main(String[] args) {
Object[] objArr1 = new Object[3];
objArr1[1] = new Object[2];
Object[] objArr2 = (Object[]) objArr1[1];
objArr2[1] = new Object[3];
Object[] objArr3 = (Object[]) objArr2[1];
objArr3[1] = new int[5];
int[] iArr = (int[]) objArr3[1];
for(int i=0;
i
内存分析:
文章图片
文章图片
文章图片
文章图片
文章图片
文章图片
此时的objArr1不再是一个简单的一维数组,它是一个四维数组。
最后我们执行如下语句:
System.out.println(((int[])((Object[])((Object[])objArr1[1])[1])[1])[2]);
通过以上内存分析不难得出结果为3.
通过上面的分析不难得出,多维数组的本质仍然是一维数组。
【图解Java数组的内存分配】因为Java是强类型语言,所以上诉代码需要多次强制类型转化,如果用弱类型语言实现会简单很多,比如用JavaScript实现:
推荐阅读
- JAVA(抽象类与接口的区别&重载与重写&内存泄漏)
- 事件代理
- Java|Java OpenCV图像处理之SIFT角点检测详解
- java中如何实现重建二叉树
- 数组常用方法一
- 【Hadoop踩雷】Mac下安装Hadoop3以及Java版本问题
- Java|Java基础——数组
- RxJava|RxJava 在Android项目中的使用(一)
- java之static、static|java之static、static final、final的区别与应用
- Java基础-高级特性-枚举实现状态机