1.前言
上一篇随笔【 https://www.cnblogs.com/c2g5201314/p/13111591.html 】总结了 栈 与 堆 ,栈是栈 ,堆是堆 ,不是一个东西,
但 又 明确地指出了栈 ,又称为栈堆 ,这是为什么呢?
这一篇随笔将详细说明 栈堆 的由来。
这就得从数组的定义讲起了。
2.数组
看一段关于数组的代码
@Test public void t2() { int[] num = null; num = new int[2]; num[0] = 1; num[1] = 2; System.out.println(Arrays.toString(num)); }
运行后打印结果
我们知道,栈是用于存放函数的参数值 和局部变量的值 ,
那么在这段代码中 , 局部变量 num 将会存在栈里面 ,
new 表示开辟存储空间 ,那么到底在哪里开辟存储空间呢?
其实是在堆里面 ,
new int[2] 表示在堆里面 开辟一个长度为2 的数组 空间 ,此时数组每个元素 的私有空间 是空的。
通过赋值 num = 使得 栈 元素 num 的 数据指针指向 堆 里长度为2 的数组 空间 的地址 ,
也就是说 ,栈是存储 变量的名称 ,而堆是存储变量的 对象内容,
当赋值的时候 ,将会改变堆中数组的值。
//
再看一段代码
@Test
public void t2() {
int[] num = null;
num = new int[2];
num[0] = 1;
num[1] = 2;
System.out.println(Arrays.toString(num));
int[] data = null;
data = num;
System.out.println(Arrays.toString(data));
data[0]=10;
System.out.println(Arrays.toString(data));
System.out.println(Arrays.toString(num));
}
打印结果
多了 data = num; 进行数组赋值 ,
那么底层到底是怎么实现的?难道又新建了一个栈名为data的变量,在队列又开辟了个空间然后拷贝数据么?
实际上并非如此。
//
int[] data = null;表示新定义了个 名叫 data的局部变量 ,存在栈里 新分配的一个空间中,此时data 没有对应的堆内容,
当 data = num; 时 将会把 num指向的堆内容地址传给data ,data将会指向该堆地址,也就是说,两个栈空间会指向同一个 堆空间 ,
将会共同支配同一个 堆 的内容。
data[0]=10; 则是对该堆空间数组的第一个元素赋值 ,将原值为1 改成了 10 。
打印结果 【10 ,2】没有问题。
然后再次打印 num ,结果仍然是 【10 ,2】,
可证明 两个栈空间确实 是 指向了 同一个 堆空间 ,即数据共享了。
问题来了,如果我希望在赋值给 data 的同时,保留 num 数值不变,该怎么办?
那其实也是很简单 ,只需要给data开辟一个单独的 堆 空间 后 再赋值即可,
看代
@Test public void t2() { int[] num = null; num = new int[2]; num[0] = 1; num[1] = 2; System.out.println(Arrays.toString(num)); int[] data ; data = num.clone(); System.out.println(Arrays.toString(data)); data[0]=10; System.out.println(Arrays.toString(data)); System.out.println(Arrays.toString(num)); }
打印结果
给 data 赋值的时候是用来 clone()方法 ,意为克隆 ,
底层实现是
效果是一样的 ,
其实就是给data 开辟新的堆空间后给每个元素赋值的过程。
【不仅仅是数组,包含对象的任意类型的变量也是 栈 与 堆配合实现的,如果赋的值是常量,那么该常量则存在常量池中,不是存在堆中的】
3.回归正题
上一节 ,详细 解释了 数组变量的底层 原理,指出了 栈是存储 变量的名称 ,而堆是存储变量的对象内容 这一结论,
因此 如果仅仅定义变量,却不赋值,仅仅会在栈开辟空间存储变量名称 ,如果给变量赋值,将会把值存在堆中 ,栈会指向这个堆的地址 ,
这就是 栈堆 这一称呼的由来。