C++ STL中的stack实现是否存在容量限制？

1. STL stack是否存在内置容量机制？ #

不存在内置的固定容量机制。
std::stack本质是容器适配器，本身不负责元素的实际存储，所有内存管理、元素增删逻辑都完全委托给底层封装的容器实现。STL默认给stack配置的底层容器是std::deque，开发者也可以自行指定满足栈操作要求（支持push_back、pop_back、back接口）的序列容器（比如std::vector、std::list）作为底层存储。
它本身没有在初始化阶段强制要求传入容量参数的逻辑，也没有写死的存储上限。很多人会混淆底层容器的预留内存行为和stack本身的容量限制：stack对外只暴露size()方法返回当前存储的元素数量，不会直接透出底层容器的capacity()（预留内存空间）接口，底层容器的内存预留、扩容操作对上层使用者完全透明。

2. STL stack是否不受固定容量限制？ #

默认实现下不存在预设的固定容量上限，但不存在“无限容量”的栈。
默认使用std::deque作为底层时，容器会随着元素插入动态申请新的内存空间，不需要开发者提前手动扩容，只要进程能申请到足够的系统内存，就可以持续向栈中压入元素；直到内存耗尽时，内存分配失败会抛出std::bad_alloc异常。
如果开发者手动给stack指定了固定大小的自定义底层容器（比如基于固定长度数组封装的序列容器），此时stack才会受该容器的固定容量限制，这是使用者自定义选择的结果，不是STL stack本身的内置约束。

3. 栈这一数据结构本身是否必须设置容量？ #

不是必须。
你在DSA课程上学到的初始化要设容量上限的栈，本质是用固定长度数组实现的教学示例——固定容量是这种特定实现方案带来的约束，不是栈作为抽象数据结构的硬性要求。
栈的核心定义只有操作规则约束：仅允许在栈顶一端完成插入、删除、读取操作，满足后进先出（LIFO）的特性，整个定义里完全没有对存储容量的强制要求。不管是用动态扩容数组还是链表实现栈，都不需要预先设置固定容量，可以随着元素增减动态调整占用的内存空间。

举个最直观的例子：你在代码里写std::stack<int> st;之后，可以直接循环执行上百万次st.push(i)操作，全程不需要手动设置容量、手动扩容，只要系统内存足够就能正常运行。

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