深入理解数组

当创建一个数组的时候，要将数组拆分成两部分来看待，一部分是数组的引用，放置在栈内存中，一部分是数组的对象，放置在堆内存中。 

数组的引用可以指向任何有效的内存，只有当数组引用指向有效的内存时，才可以通过数组变量来访问数组元素。

数组变量是访问数组对象的根本方式。

实际的数组对象是放置在堆内存中的，如果引用该数组对象的数组引用变量是一个局部变量，那么它被存储在栈内存中。

如果引用变量p想要访问如图4.2的数组对象，那么只有通过p[index]的方式实现。

栈内存和堆内存

当一个方法执行时，每一个方法都会建立自己的内存栈，定义在方法内的局部变量都会放入栈内存里，随着方法执行结束，这个方法的内存栈也会随之销毁。

而在内存中创建一个对象时，这个对象将会保存在堆内存中，以便反复使用。堆内存中的对象不会随着方法的执行结束而销毁，即使方法执行结束，这个对象也可能被另一个引用变量所引用（在方法参数传递时很常见），则这个对象依然不会被销毁。只有当一个对象没有任何一个引用所指向时，垃圾回收器才会在合适的时候回收它。

当两个数组的类型是兼容时，可以将数组b的引用指向a的对象，这就会产生数组b的长度发生改变的错觉，代码如下

public class Test {
	public static void main(String[] args) {   
		int[] a = {1,2,3};
		
		int[] b = new int[4];
		//b数组的长度为4
		System.out.println("b数组的长度："+b.length);
		//遍历出数组a的每一个元素
		for(int i = 0;i<a.length;i++){
			System.out.println(a[i]);
		}
		//遍历出数组b的每一个元素		
		for(int i = 0;i<b.length;i++){
			System.out.println(b[i]);
		}
		//将a数组赋值给b数组
		b=a;
		//b数组的长度变为3
		System.out.println("B数组的长度："+b.length);
	} 

}

 从程序中可以看出，第一次打印数组b的长度为4，然后将数组a赋值给数组b后，数组b的长度变为了3。我们会以为数组b的长度发生改变的错觉。

 当初始化a、b两个数组时，实际上会在内存中创建4快区域，栈内存中存储a、b两个引用，堆内存中也会创建两个空间用来存储两个数组对象，a指向数组长度为3的对象，b指向数组长度为4的对象。如图4.3

而当我们将数组a所指向的对象赋值给数组b时，引用b不再指向他原来所指向的对象，而是指向长度为3的对象，也就是说，引用a和b指向的是同一个对象，指向的是同一块内存地址。如图4.4。所以原来长度为4的对象不再有引用指向它，那么这个对象也就变成了垃圾，垃圾回收器在一定时间内会将它回收，但是此对象的长度并没有改变，直到垃圾回收器将它回收为止。