栈的数组实现中top初始化值的选择及合理性咨询

嘿，这个问题问得特别到位——其实两种初始化方式都没有对错之分，核心是要和你后续的入栈、出栈、判空逻辑严格匹配，不能乱混用。咱们拆开来说：

1. 初始化为top = -1的逻辑 #

这种方式下，top代表的是当前栈顶元素所在的数组下标：

• 初始化时栈为空，没有任何元素，所以用数组下标范围外的-1来表示“空栈”状态，非常直观。
• 入栈操作：先把top加1，再将元素存入stack[top]的位置。比如第一次入栈，top从-1变成0，元素直接放到数组的第一个位置，完全没有空间浪费，这也是你觉得它合理的原因——你的直觉完全正确！
• 出栈操作：先取出stack[top]的元素，再把top减1，当top回到-1时，就说明栈空了。

对应的伪代码示例：

// 初始化
int stack[100];
int top = -1;

// 入栈
void push(int val) {
    top++;
    stack[top] = val;
}

// 出栈
int pop() {
    int val = stack[top];
    top--;
    return val;
}

// 判断栈空
bool isEmpty() {
    return top == -1;
}

2. 初始化为top = 0的逻辑 #

这种方式下，top代表的是下一个要入栈元素的数组下标，同时也等于栈中当前元素的个数：

• 初始化时栈为空，下一个元素要放到数组的0号位置，或者说当前元素数量是0，所以设top=0。
• 入栈操作：先把元素存入stack[top]，再将top加1。比如第一次入栈后，top变成1，此时top的值就是栈里元素的总数，这个逻辑在统计栈的大小的时候会很方便。
• 出栈操作：先把top减1，再取出stack[top]的元素，当top回到0时，就表示栈空了。

对应的伪代码示例：

// 初始化
int stack[100];
int top = 0;

// 入栈
void push(int val) {
    stack[top] = val;
    top++;
}

// 出栈
int pop() {
    top--;
    return stack[top];
}

// 判断栈空
bool isEmpty() {
    return top == 0;
}

关于“内存浪费”的误区 #

你觉得top=-1不浪费内存的想法完全正确——这种方式下数组的每一个下标都能被充分利用。但top=0的方式也不是真的浪费内存哦，它只是逻辑上把top当成了元素计数，数组的所有空间依然是可用的，只是入栈出栈的顺序和top的含义不同而已。

总结 #

选择哪种初始化方式，完全看你的个人习惯或者项目里的代码规范。只要保证入栈、出栈、判空的逻辑和初始化值严格对应，两种实现都是正确且高效的，没有优劣之分～

备注：内容来源于stack exchange，提问作者CrazieGeek