初始化为-1是标准做法。top=-1表示栈空，push时先自增后赋值到索引0，pop时先取值后自减，边界判断清晰；若初始化为0易导致空栈误判和操作偏移错误。
用固定大小数组实现栈时，top指针该初始化为-1还是0？
初始化为 -1 是标准做法。这样 push() 第一次写入时，先自增再赋值，正好落在索引 0；pop() 则先取值再自减，逻辑清晰且边界判断简单。若初始化为 0，容易误判空栈（比如 top == 0 可能是空栈，也可能是栈底有1个元素），后续所有操作都要偏移处理，极易出错。
常见错误现象：push() 后栈顶元素读不到、pop() 返回随机值、第一次 pop() 就崩溃——基本都是 top 初始值或增减顺序搞反了。
-
top = -1表示栈空；top == capacity - 1表示栈满 - 所有访问
data[top]前，必须确认top >= 0 - 所有写入前，必须检查
top （注意不是 <code>）
如何安全地在栈满时避免越界写入？
数组栈没有自动扩容能力，越界写入是未定义行为，轻则数据错乱，重则程序崩溃。不能只靠文档说明“别压超”，必须在代码里硬性拦截。
典型场景：用户连续调用 push() 而不检查 isFull()；或把 capacity 设得太小（比如仅设为 1），测试时刚好触发边界。
立即学习“C++免费学习笔记（深入）”；
- 每次
push()开头加断言：if (top >= capacity - 1) { /* 报错或抛异常 */ } - 推荐抛出
std::overflow_error，比返回错误码更符合 C++ 异常语义 - 如果追求零开销，可用
assert(top ，但仅限调试模式
为什么 pop() 返回值类型建议用 const T& 而不是 T？
返回 const T& 避免不必要的拷贝，尤其对大对象（如 std::string、自定义类）性能影响明显。但前提是确保引用的对象生命周期有效——而数组栈中，被弹出的元素仍在数组内存里，只是逻辑上不再属于栈，所以引用安全。
容易踩的坑：T pop() 看似简单，但若 T 没有默认构造函数，或拷贝成本高，会拖慢整个栈操作；更隐蔽的问题是，如果 T 是移动语义友好的类型，返回值可能触发移动而非拷贝，但开发者无法控制，不如直接暴露引用明确。
- 声明应为：
const T& pop()，并在内部做top--前返回data[top] - 调用方若需拥有所有权，应显式拷贝：
T x = myStack.pop(); - 绝不可返回
T&&或局部对象引用——这是悬垂引用
用 std::array 替代裸数组有什么实际好处？
主要好处是自动携带长度信息、支持范围 for、能用 .size() 和 .data()，且编译期确定大小，无堆分配开销。相比 T data[N]，它减少手算容量、避免 sizeof 陷阱，也更容易和 STL 算法配合。
使用场景：当你需要栈容量完全静态确定（比如嵌入式环境、实时系统），又希望接口更现代、更难写错时。std::array 不是“高级替代”，而是更安全的底层选择。
- 声明：
std::array<t capacity> data;</t>，成员变量直接用data.size()当容量 -
push()检查：if (top >= data.size() - 1)—— 不再硬编码数字 - 遍历栈内容：
for (size_t i = 0; i ，或用迭代器从 <code>data.begin()到data.begin() + top + 1
实际写的时候，最易忽略的是 pop() 在空栈时的行为——不检查 top >= 0 就访问 data[top]，会导致读取非法内存。这个错误不会立刻崩溃，可能潜伏到特定输入才暴露。
