栈的push/pop操作需用top指针维护，初始化为0；push先判满再存值后top++，pop先判空再top--后取值，顺序错误或边界未检会导致越界、覆盖或读脏数据。
用固定大小数组实现栈的 push/pop 操作
核心就是维护一个 top 指针（或索引），指向栈顶元素的下一个位置。初始化时 top = 0，push 先存值再加一，pop 先减一再取值——顺序反了会越界或读脏数据。
常见错误现象：pop 后没检查 top == 0 就继续 pop，导致 top 变负；push 前没判断 top == capacity 就写入，覆盖数组尾部内存。
-
push必须先判满：if (top >= capacity) { /* 溢出处理 */ } -
pop必须先判空：if (top - 返回值设计：建议
pop返回bool表示是否成功，值通过引用参数传出，避免空栈时返回垃圾值
如何安全地获取栈顶元素而不弹出
top() 是只读操作，不改变 top 索引，但必须确保栈非空。它和 pop() 的区别不在逻辑上，而在边界检查后是否修改 top。
容易踩的坑：top() 直接返回 data[top]（错！应是 data[top - 1]），因为 top 指向的是“下一个空位”。
立即学习“C++免费学习笔记（深入）”；
- 正确访问栈顶：
return data[top - 1]; - 必须前置检查：
if (top == 0) throw std::runtime_error("stack is empty"); - 如果不想抛异常，可返回
std::optional<T>（C++17 起）或用输出参数 + 返回 bool
为什么不用 vector 而用原生数组
用 std::vector 当然更安全、支持动态扩容，但“数组模拟”本质是理解栈的底层行为：连续内存、O(1) 访问、手动管理容量与边界。面试或嵌入式场景常要求手写固定容量栈，回避 STL 依赖。
性能差异明显：原生数组无内存分配开销，push_back 在 vector 中可能触发重分配（摊还 O(1)，但单次可达 O(n)）；而数组版每次 push 都是纯赋值+索引更新。
- 编译期确定容量？可用模板参数：
template <typename T, size_t N> class ArrayStack { ... }; - 若需运行时容量，就用
new T[capacity]+delete[]，记得在析构中释放 - 别忘了拷贝构造和赋值运算符——浅拷贝指针会导致 double free
main 函数里怎么验证栈行为是否正确
不能只测“正常流程”，重点要触发边界：空栈 pop、满栈 push、连续 push/pop 后再 top()。
典型误判：看到输出 “1 2 3” 就认为对了，其实可能是数组越界后碰巧没崩溃，而是读到了相邻变量的值。
- 用
assert卡关键点：assert(stack.empty()); assert(!stack.full()); - 测试满栈后
push：检查是否拒绝操作，且top保持不变 - 用
valgrind（Linux/macOS）或 ASan（AddressSanitizer）跑一遍，能立刻暴露越界读写
真正难的不是写完 push 和 pop，是让所有边界条件下的 top 索引始终落在 [0, capacity] 闭区间内，并且每次访问 data[i] 时 i 都严格满足 0 ≤ i < capacity。这个约束一旦松动，后续所有行为都不可信。
