单用一个栈无法O(1)获取最小值,因为pop后无法确定上一个最小值;需用辅助栈同步记录历史最小值,push时≤当前最小值才入栈,pop时相等则同步弹出,getMin()直接取辅助栈顶。

为什么单用一个栈无法做到 O(1) 获取最小值
只维护一个 std::stack 时,每次调用 getMin() 都得遍历全部元素找最小值,时间复杂度是 O(n)。哪怕提前缓存了当前最小值,pop() 后无法知道「上一个最小值是多少」——因为被弹出的可能就是最小值,而栈里剩下的数中次小值并不一定在栈顶。
用辅助栈同步记录历史最小值
核心思路:用第二个栈 min_stack 与主栈 data_stack 同步压入,但只压入「不比当前 min_stack 栈顶大的值」。这样 min_stack 的栈顶始终是到目前为止的全局最小值。
-
push(x)时:若min_stack为空,或x ,则也把 <code>x压入min_stack -
pop()时:若data_stack.top() == min_stack.top(),则同步弹出min_stack栈顶 -
getMin()直接返回min_stack.top(),O(1)
注意必须用 而不是 <code>:否则遇到重复最小值(如连续 push(3, 1, 1, 4)),第二次 <code>1 不进 min_stack,第一次 pop() 就会让 min_stack 空掉,导致后续 getMin() 崩溃。
空间换时间的代价和替代方案
辅助栈方案空间复杂度最坏 O(n),比如单调递减入栈(5,4,3,2,1)——每个数都进 min_stack。如果内存极度敏感,可用「最小值计数栈」优化:用 pair<int int></int> 存 {min_value, count},避免重复值占多格。但代码变复杂,且对大多数场景无必要。
立即学习“C++免费学习笔记(深入)”;
- 标准库中没有现成
MinStack,必须手写类封装std::stack - C++17 起可考虑用
std::stack<int std::vector>></int>替代默认 deque 底层,减少内存碎片 - 不要用
std::stack::top()前忘了判空,否则未定义行为(UB),尤其getMin()和pop()中
容易被忽略的边界:空栈调用 getMin() 怎么办
题目通常假设操作合法(即不调用空栈的 getMin()),但实际工程中必须处理。常见做法:
— 抛异常:throw std::runtime_error("getMin() on empty stack")
— 或返回特殊值(如 std::numeric_limits<int>::max()</int>),但需文档明确约定
— 更稳妥的是加断言:assert(!min_stack.empty()),调试期报错,发布版可关闭
这个检查点常被跳过,结果在线上环境因非法输入 crash,而不是优雅失败。


















