std::stack 默认底层容器是 std::deque，因其头尾操作均为 O(1) 且比 vector 更具扩展弹性；pop() 不返回值以避免悬垂引用，空栈调用 top()/pop() 导致未定义行为。
std::stack 默认用什么底层容器
它默认用 std::deque，不是 std::vector，也不是链表。这点很多人误以为“栈就该用 vector”，但标准库选 deque 是因为头尾插入/删除都是 O(1)，而 vector 只有尾部是 O(1)，push/pop 都在栈顶（即尾部），deque 在这里和 vector 表现一致，但更通用——万一以后支持从头部压栈呢？标准没留这个口子，但实现上保留了弹性。
你完全可以用其他容器定制：
- 想强制内存连续：用 std::stack<int std::vector>></int>
- 想明确避免指针失效风险（比如迭代器长期持有）：注意 std::deque 迭代器在扩容时可能失效，std::vector 只在 reallocate 时失效
- 不要传 std::list：虽然语法合法，但 list 的随机访问开销会让 top() 变慢（实际不会，因为 stack 不暴露迭代器，但语义上不匹配，且无必要）
pop() 为什么不能返回值
这是 C++ 栈最反直觉的一点：调用 pop() 后，栈顶元素直接被销毁，你拿不到它。想取值必须先 top()，再 pop() ——两步缺一不可。
常见错误现象：
- 写 int x = s.pop(); → 编译失败，pop() 返回 void
- 在多线程里先 top() 再 pop() → 中间可能被其他线程改掉，这不是原子操作
- 用 top() 取引用后，立刻 pop() → 引用立即悬空，后续读写是未定义行为
安全做法：
- int x = s.top(); s.pop();（单线程、确定非空前提下）
- 封装成带返回的弹出函数（需自己处理空栈）：
template<typename T, typename Container><br>std::optional<T> safe_pop(std::stack<T, Container>& s) {<br> if (s.empty()) return std::nullopt;<br> T val = std::move(s.top());<br> s.pop();<br> return val;<br>}
空栈调用 top() 或 pop() 的后果
行为是未定义的（UB），不是抛异常，也不是返回 nullptr。MSVC 在 debug 模式下可能触发断言，GCC/Clang 通常静默崩溃或读垃圾值。
使用场景中容易忽略的点：
- 循环处理栈直到空：写 while (!s.empty()) { auto x = s.top(); s.pop(); ... } 是安全的
- 但写成 for (int i = 0; i 有风险 —— <code>s.size() 是 O(n)（某些实现），且循环次数固定，如果中途栈被外部修改，可能越界
- 判断前别信注释：“// 此时栈非空” —— 加个 assert(!s.empty()) 更靠谱，尤其在调试阶段
参数差异提醒：
- empty() 是 O(1)
- size() 在部分标准库实现中是 O(n)，因为 deque 的 size 不缓存（libc++ 缓存，libstdc++ 不缓存）→ 别在热循环里反复调用 size()
stack 和 vector 手动模拟栈的区别
有人图省事用 vector + back()/pop_back() 替代 std::stack，这在功能上等价，但语义和约束不同。
立即学习“C++免费学习笔记（深入）”；
关键区别：
- std::stack 是容器适配器，只暴露 push()、pop()、top()、empty()、size()，天然防止误用（比如不能 insert() 到中间）
- vector 没封装，容易写出 v.insert(v.begin() + 5, x) 破坏栈结构
- 性能上无差别：两者底层都走相同路径（deque 或 vector 的 push_back / pop_back）
- 调试时，std::stack 在 IDE 里可能不显示内容（依赖调试器支持），而 vector 可视化友好
建议：
- 逻辑上确实是栈行为 → 用 std::stack，靠类型守住契约
- 需要临时遍历或随机访问 → 别硬用 stack，换 vector 或 deque，别为了“看起来像栈”牺牲可维护性
事情说清了就结束。真正麻烦的从来不是怎么压栈弹栈，而是空栈检查漏掉、跨线程竞争、还有把 stack 当容器去遍历——这些地方一错就是运行时崩，还不好复现。
