C++数组实现简单栈操作详解

栈的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 <= 0) { /* 下溢处理 */ }
• 返回值设计：建议 pop 返回 bool 表示是否成功，值通过引用参数传出，避免空栈时返回垃圾值

如何安全地获取栈顶元素而不弹出

top() 是只读操作，不改变 top 索引，但必须确保栈非空。它和 pop() 的区别不在逻辑上，而在边界检查后是否修改 top。

容易踩的坑：top() 直接返回 data[top]（错！应是 data[top - 1]），因为 top 指向的是“下一个空位”。

• 正确访问栈顶：return data[top - 1];
• 必须前置检查：if (top == 0) throw std::runtime_error("stack is empty");
• 如果不想抛异常，可返回 std::optional（C++17 起）或用输出参数 + 返回 bool

为什么不用 vector 而用原生数组

用 std::vector 当然更安全、支持动态扩容，但“数组模拟”本质是理解栈的底层行为：连续内存、O(1) 访问、手动管理容量与边界。面试或嵌入式场景常要求手写固定容量栈，回避 STL 依赖。

性能差异明显：原生数组无内存分配开销，push_back 在 vector 中可能触发重分配（摊还 O(1)，但单次可达 O(n)）；而数组版每次 push 都是纯赋值+索引更新。

• 编译期确定容量？可用模板参数：template 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。这个约束一旦松动，后续所有行为都不可信。