前言

作为一名程序员,许多同学会把堆和栈这两个字,变成一个词放在一起,其实这是错误的。

堆(heap)

堆是一个内存空间,这个内存可以由程序员分配和释放,当然部分语言自带 GC( Garbage Collection 垃圾回收),部分堆内存可以由 GC 回收。这里千万要注意,这里说的「堆」数据结构 里面说的「堆」不是同一个概念,大家千万不要混淆。

堆是程序在运行的时候请求操作系统分配给自己内存。由于从操作系统管理的内存分配,所以在分配和销毁时都要占用时间,因此用堆的效率相对栈来说略低。但是堆的优点在于,编译器不必知道要从堆里分配多少内存空间,也不必知道存储的数据要在堆里停留多长的时间,因此用堆保存数据时会得到更大的灵活性。所以为达到这种灵活性,在堆里分配存储空间时会花相对更长的时间,这也是效率低于栈的原因。

栈(stack)

栈是由编译器自动分配和释放的,存放函数的参数值,局部变量的值等。也请注意,这里说的「栈」不是 数据结构 中的「栈」,大家千万不要混淆。这里请注意,栈是由由系统自动分配。

栈的优势是存取速度比堆要快,仅次于寄存器,栈数据可以共享。但缺点是,存在栈中的数据大小与生存期必须是确定的,缺乏灵活性。

说的再通俗点

使用栈就像我们去饭馆里吃饭,只管点菜(发出申请)、付钱、和吃(使用),吃饱了就走,不必理会切菜、洗菜等准备工作和洗碗、刷锅等扫尾工作,他的好处是快捷,但是自由度小。

使用堆就像是自己动手做喜欢吃的菜肴,比较麻烦,但是比较符合自己的口味,而且自由度大。

实际应用

看完上面一段文字,大多数同学自然就懂了,而不懂的,还是一脸懵。这些东西我知道了有什么实际意义?比如栈既然是系统分配和释放,我干预不了,我知道它干什么?那这里就以编程语言 C#(C Sharp)来举例说明。也可以看相应的 LeetBook

如何理解堆和栈(堆和栈它们的内涵有多深)(1)

堆、栈的实际意义

堆、栈,算是相对底层一些的内容,大部分的语言其实这部分内容都是类似的。如果你不会 C# 语言也能看懂~。

我们都知道,C# 的数据类型有两大类型 —— 值类型引用类型。大致结构如下图:

如何理解堆和栈(堆和栈它们的内涵有多深)(2)

值类型我们看到包含内置值类型、用户定义的值类型和枚举。枚举就不用说了,内置值类型指的是 int、float、bool、double 等等。

用户定义的值类型指的就是 struct。引用类型大概我们学 C 语言的时候学到的指针类型(C# 做了封装,所以我们看不到 int * 这类的代码,当然可以使用 unsafe 关键字,这里就不多赘述)、接口类型、用户自定义的类(class),数组等。

如何理解堆和栈(堆和栈它们的内涵有多深)(3)

类型的含义

这里为什么要解释这两个大的类型?首先是因为值类型是放在栈上的,值类型变量声明后,不管是否已经赋值,编译器为其分配内存。然而引用类型当声明一个变量时,只在栈中分配一小片内存用于容纳一个地址,而此时并没有为其分配堆上的内存空间。当使用 new 创建一个类的实例时,这时会分配堆上的空间,并把堆上空间的地址保存到栈上分配的小片空间中。

通俗一点,堆上存放的是我们声明出来的实例对象,当我们需要访问这个实例对象时,我们找到它的方法是先找到变量对应在栈上的内存,然后通过栈上存放的数据,我们才能找到其真正的实例在堆的任意位置。

代码

class A{ public A(int x){ X = x; } public int X { get; set; } } static void Main(string[] args){ int m = 1; int n = m; m = 2; Console.WriteLine($"m = {m}, n = {n}"); A a = new A(1); var b = a; a.X = 2; Console.WriteLine($"a.X = {a.X}, b.X = {b.X}"); }

我们会发现输出结果是

m = 2, n = 1 a.X = 2, b.X = 2

我们发现 m 和 n 的值是分别独立的,而 a 和 b 修改其中一个会修改两个值。这是因为 m 和 n 都是分配在栈上的,而 a 和 b 虽然也是在栈上,但是其只是存储的堆上的一个地址索引,我们不管通过 a 还是 b 索引到的堆上的内存都是同一份。

我们再来看值类型和引用类型,在栈上的数据访问快,在堆上的数据访问相对慢,因此,当我们开发过程中,通过需求,比如底层的一些不变数据,完全可以有 struct 来实现,因为其不会为 null,符合值类型的要求,而且我们经常访问会更快一些。

我们看上图发现,值类型和引用类型都是继承自 Object ,也就是说:

Object a = 1; int b = (int)a;

这两个都是合法语句。但是这里面隐藏了一个非常常见的一个现象,那就是装箱和拆箱。

装箱实际上是将值类型转换为引用类型,而拆箱是将引用类型转换为值类型。再透彻点,实际上装箱拆箱就是栈内存和堆内存的来回拷贝和赋值,这不仅仅浪费性能,而且还会造成没必要的 GC。因此,能避免 “装箱”、“拆箱” 操作的就尽量避免。除上面所说的这些数据类型,还有一个写代码必不可少的,那就是函数。

函数是如何调用的?实际上函数调用的参数是通过栈空间来传递,在调用过程中会占用线程的栈资源。

当我们使用递归算法时,每次虽然调用的是同一个函数,但是会在栈中占用一个空间,只有走到最后的结束点后函数才能依次退出,而未到达最后的结束点之前,占用的栈空间一直没有释放。因此如果递归调用次数过多,就可能导致占用的栈资源超过线程的最大值,从而导致栈溢出,这也是为什么一定要尽量少用递归的原因。

写在最后

上面说了很多,侧面说明了堆、栈的应用的优缺点,平时应用中需要更加了解我们写的代码都“干了什么”,这样才有可能写出更高效、更可靠的代码。对于一名程序员来说,不管未来编程语言发展的多么容易上手,一定不要忘了学习计算机的基础知识,哪怕是先学会了编程再返回来补习这些知识。祝大家工作顺利、评论留言少 BUG !点赞转发不脱发!

BY /

本文作者:力扣

声明:本文归“力扣”版权所有,如需转载请联系。

,