瞎扯程序中的堆、栈

数据结构中的堆栈

• 逻辑，是一种虚拟的东西，智慧的结晶
• 物理，真正存在的实物，能摸到的东西

逻辑结构：队列、栈、表、树、图、表……
物理结构：链表、数组

栈

对于阅读此文的你，一句话就够了

一种数据先进后出，出栈(取数据)入栈(添加数据)的时间复杂度都是O(1)的编程思想

常见的运用有：浏览器的前进后退、递归函数

堆

一种完全的二叉树，经过排序的树

内存中的堆栈

一段程序，在计算机加载和执行过程中，会先放入内存中，内存会根据类型来分配不同的内存块儿存储

1. 程序存放在Rom(只读内存，比如硬盘)或Flash中
2. 运行时需要拷到RAM（随机存储器RAM）中执行

RAM的存储结构分类如图

内存中的栈区处于相对较高的地址，栈地址是向下增长

内存中栈区分配局部变量空间，处于相对较高的地址，栈地址是向下增长

内存中堆区分配程序员申请的内存空间，堆地址向上增长

内存中静态区分配静态变量，全局变量空间的

内存中只读区分配常量和程序代码空间的

申请方式和回收方式

堆和栈的申请方式不同：
栈（英文名称是stack）是系统自动分配空间的，例如我们声明一个变量，系统会自动在栈上为其开辟空间
堆（英文名称是heap）则是程序员根据需要自己申请的空间，例如C语言的malloc(5)函数，主动申请5个字节内存，返回该内存的指针；char *s2 = "content_1"给这个指定内存块儿赋值，程序编译时就确定了存储在堆中

堆和栈的回收方式不同：
栈上的空间是自动分配自动回收的，所以栈上的数据的生存周期只是在函数的运行过程中，运行后就释放掉，不可以再访问。
堆上的数据只要程序员不释放空间，优点是一直可以访问到，记录内存指针地址下一段程序也可复用，缺点是一旦忘记释放会造成内存泄露;但"高级"成熟的开发语言中，会有垃圾回收机制去处理自动处理这部分内存，不必过于担心

申请后系统的响应

栈(stack)：只要栈的剩余空间大于所申请空间，系统将为程序提供内存，否则将报异常提示栈溢出

堆(heap)：首先应该知道操作系统有一个记录空闲内存地址的链表，当系统收到程序的申请时，会遍历该链表，寻找第一个空间大于所申请空间的堆结点，然后将该结点从空闲结点链表中删除，并将该结点的空间分配给程序，另外，对于大多数系统，会在这块内存空间中的首地址处记录本次分配的大小，这样，代码中的 delete语句才能正确的释放本内存空间。另外，由于找到的堆结点的大小不一定正好等于申请的大小，系统会自动的将多余的那部分重新放入空闲链表中。

申请效率的比较

栈(stack)：由系统自动分配，速度较快。程序员是无法控制
堆(heap)：是由new分配的内存，一般速度比较慢，而且容易产生内存碎片，复用性强

申请大小的限制

栈：在Windows下,栈是向低地址扩展的数据结构，是一块连续的内存的区域。这句话的意思是栈顶的地址和栈的最大容量是系统预先规定好的，在 WINDOWS下，栈的大小是2M（也有的说是1M，总之是一个编译时就确定的常数），如果申请的空间超过栈的剩余空间时，将提示overflow。因此，能从栈获得的空间较小。

堆：堆是向高地址扩展的数据结构，是不连续的内存区域。这是由于系统是用链表来存储的空闲内存地址的，自然是不连续的，而链表的遍历方向是由低地址向高地址。堆的大小受限于计算机系统中有效的虚拟内存。由此可见，堆获得的空间比较灵活，也比较大。

堆(heap)和栈(stack)中的存储内容

栈(stack)： 在函数调用时，第一个进栈的是主函数中函数调用后的下一条指令（函数调用语句的下一条可执行语句）的地址，然后是函数的各个参数，在大多数的C编译器中，参数是由右往左入栈的，然后是函数中的局部变量。注意静态变量是不入栈的。
当本次函数调用结束后，局部变量先出栈，然后是参数，最后栈顶指针指向最开始存的地址，也就是主函数中的下一条指令，程序由该点继续运行。

堆(heap)：一般是在堆的头部用一个字节存放堆的大小。堆中的具体内容有程序员安排。

存取效率的比较

栈的申请是在运行时刻赋值的
堆是指定内存块定向操作，是在编译时就可确定

在程序运行完初始化模块儿，后续的存取中，在栈上的操作比堆快

上代码 以go语言为例

栈（Stack）变量：

1. 局部变量：在函数或程序块的内部声明的变量通常存储在栈上。
2. 临时变量：通过使用运算符new或类型转换操作符unsafe.Pointer创建的变量通常也存储在栈上。
3. 传递参数：函数参数和返回值通常通过栈上的变量进行传递。
4. 短生命周期：栈变量的生命周期通常与它们所在的函数或程序块的执行周期一致，当函数或程序块结束时，栈变量会被自动销毁。

func main() {
    x := 10 // 整数变量 x 在栈上分配内存
    fmt.Println(x)
}

在这个例子中，整数变量 x 被分配在栈上。当函数 main 执行完毕后，变量 x 将自动从栈上释放。

堆（Heap）变量：

1. 动态分配的内存：通过使用new关键字或类型转换操作符unsafe.Pointer分配的内存存储在堆上。
2. 长生命周期：堆变量的生命周期不受函数或程序块的执行周期限制，只有显式地释放内存或程序结束时才会被销毁。

func main() {
    y := new(int) // 使用 new 关键字在堆上分配一个整数变量
    *y = 20
    fmt.Println(*y)
}
在这个例子中，我们使用 new 关键字在堆上分配了一个整数变量，并通过指针 y 引用它。在这种情况下，变量 y 本身是在栈上分配的，但它指向的整数变量是在堆上分配的。
需要注意的是，我们需要手动释放堆上的内存，但在这个例子中，我们没有显式释放它。

func main() {
    z := make([]int, 5) // 使用 make 函数在堆上分配一个整数切片
    z[0] = 1
    fmt.Println(z[0])
}
在这个例子中，我们使用 make 函数在堆上分配了一个整数切片 z。切片本身是在栈上分配的，但它引用的底层数组是在堆上分配的

堆上的变量，我看例子里代码没有释放 ，这样写法是不是不好？不要慌，go有垃圾gc回收机制，不用手动搞

在Go语言中，当你使用new关键字或者使用make函数创建变量时，它们会在堆上分配内存。为了确保及时释放内存，你可以使用delete函数删除映射中的键值对，或者将切片或指针设置为nil，以便垃圾回收器可以回收它们。

func main() {
    y := new(int) // 在堆上分配一个整数变量
    *y = 20
    fmt.Println(*y)

    // 手动释放堆上的内存
    y = nil

    // 垃圾回收器会在适当的时候回收内存
}

需要注意的是，"手动释放内存并不总是必要的"，特别是在短期运行的程序中。Go语言的垃圾回收器会自动处理大部分的内存管理，使得编程更加方便和安全。
然而，在某些情况下，特别是在处理大量数据或长时间运行的程序时，手动释放内存可能是一个好的实践。