链表实现栈(stack)时堆(heap)大小如何确定，由谁为其赋值？

关于栈大小的感知逻辑 #

你自己用链表实现的栈属于用户自行定义的数据结构，操作系统本身不会主动记录你对这个栈的容量预期，也不会默认给它加大小限制：

• 如果你需要给这个栈设定固定最大容量，必须自己在代码里加对应逻辑：比如在栈的结构体里新增一个size计数变量，同时定义好你期望的MAX_CAPACITY阈值，每次执行push操作前先判断当前计数是否已经达到阈值，达到就直接返回栈满，不需要走到申请内存的步骤。这种场景下“栈是否达到设定大小”完全是你自己写的代码逻辑判断的，计算机不会自动获知你的预设值。
• 你看到的教程里说的“通过能否创建新节点判断栈是否已满”，是没有给栈设固定容量的场景：此时的“栈满”本质是操作系统已经没有多余的堆内存可以分配给你的程序了，和你有没有设定栈大小没有关系。

关于堆大小的确定规则 #

这里要区分两个不同的“堆大小”概念：

• 进程可使用的堆内存总上限：这个值是操作系统在程序启动时就确定的，32位系统下一般是2~3GB，64位系统下上限会高得多，不需要你手动赋值，操作系统会根据当前系统的剩余内存、进程运行权限等参数动态调整这个上限。
• 你的链表栈实际占用的堆内存大小：这个值没有固定预设，完全由你实际存储的元素数量决定。每执行一次push操作就调用malloc申请对应节点大小的堆内存，每执行一次pop操作就调用free释放对应节点的内存，只要不触发系统内存不足的机制，你可以一直往栈里新增元素。

内容的提问来源于stack exchange，提问作者New coder