运行存储分配

目录

---

在编译原理中，运行时存储分配是一个重要概念，涉及到程序在运行时如何分配和管理内存。程序在执行期间需要存储各种数据，包括变量、常量、程序代码等，而这些数据需要被妥善地安排在内存中以便程序能够正确、高效地访问它们。

运行时存储分配策略主要分为静态存储分配和动态存储分配两种。

1. 静态存储分配：这种分配策略在编译时就能确定每个数据目标在运行时刻的存储空间需求，因此在编译时就给它们分配固定的内存空间。这种分配方式要求程序代码中不允许有可变数据结构的存在，也不允许有嵌套或递归的结构出现，因为这些都可能导致编译程序无法准确计算其内存空间需求。静态存储分配的优点是简单、易实现，但缺点是不够灵活，无法处理一些在编译时无法确定大小的数据结构。
2. 动态存储分配：这种分配方式在运行时根据需要为数据对象分配存储空间。与静态存储分配不同，动态存储分配可以处理一些在编译时无法确定大小的数据结构，如可变数组、链表等。动态存储分配可以根据程序的实际需要来分配内存，提高了内存的利用率。但是，动态存储分配的实现相对复杂，需要更多的运行时支持。

在动态存储分配中，又有栈式存储分配和堆式存储分配两种方式：

1. 栈式存储分配：栈式内存分配按照先进后出的原则进行分配。它通常用于存放函数的参数值、局部变量的值等。栈式存储分配的优点是分配和释放速度快，但缺点是容易出现栈溢出的情况。
2. 堆式存储分配：堆式内存分配专门负责在编译时或运行时模块入口处无法确定存储要求的数据结构的内存分配，比如可变长度串和对象实例。堆中的内存可以按照任意顺序分配和释放。堆式存储分配的优点是可以处理任意大小的数据结构，但缺点是分配和释放速度相对较慢，且容易产生内存碎片。