Stroustrup PPP内存管理栈示例疑问：仅栈顶指针是否足够？

注意代码中的这条注释：

用于存放char[N]的空间，以及用于跟踪已分配和未分配区域的数据（例如栈顶指针）

我认为对于该接口而言，仅使用栈顶指针是不够的。我们需要维护一个记录分配位置的指针列表，才能在调用free()时正确撤销最后一次分配。请问是我的理解有误，还是书籍存在错误？

这取决于该分配器的free()语义：

• 严格后进先出（LIFO）的栈式分配器场景下，仅用栈顶指针完全足够。这种分配器的free()只能释放最后一次分配的块——分配时移动栈顶标记已用区域，释放时直接将栈顶回退到上一次分配的位置即可，不需要额外记录所有分配位置。Stroustrup注释里举栈顶指针的例子，正是对应这种场景。
• 如果要求free()支持任意释放已分配块（非LIFO顺序），那单栈顶指针确实不足，此时需要维护分配块的元数据列表（或位图、块大小链表等）来跟踪每个分配单元的信息，才能正确回收任意位置的内存。

你的理解偏差在于对接口语义的预设：你默认free()要支持任意释放，但书籍描述的是限定LIFO规则的栈式分配场景，所以注释的说法是正确的。

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