关于Albahari的Object Stack示例代码的技术疑问咨询

先回顾一下原示例代码：

public class Stack { 
  int position; 
  object[] data = new object[10]; // 为何是10而非1？
  public void Push (object obj) { data[position++] = obj; } // 不理解：为何没有循环
  public object Pop() { return data[--position]; } // 不理解：为何没有循环
}
Stack stack = new Stack();
stack.Push ("sausage");
string s = (string) stack.Pop(); // Downcast，需显式转换
Console.WriteLine (s); // sausage

一、数组初始长度设为10而非1的原因 #

数组在C#里是固定长度的，一旦创建就没法直接修改它的容量。如果初始只设为1，那每次往栈里Push新元素时，都得创建一个更大的新数组，把旧数组里的元素全部复制过去，再丢弃旧数组——这种频繁的扩容操作会带来额外的性能开销，而且代码逻辑会变得复杂（得处理数组满了的情况）。

示例里选10作为初始长度，是一种简化的预分配策略：给栈预留了一定的缓冲空间，在大多数简单场景下（比如示例里只存1个元素），完全够用，同时避免了频繁扩容的麻烦。当然这只是教学示例的简化写法，实际生产环境的栈通常会实现动态扩容逻辑（比如当数组满了时，把容量翻倍），但示例的核心是展示栈的「后进先出」核心逻辑，所以把扩容这种复杂细节省略了。

二、Push、Pop方法无需循环的原因 #

栈是典型的**后进先出（LIFO）**数据结构，它的核心操作只围绕「栈顶」展开，而position变量就是用来跟踪栈顶位置的标记：

• Push操作：position一开始是0，指向数组的第一个空位。把元素放到data[position]后，position++让它指向下一个空位——整个过程只操作栈顶的那个位置，完全不需要遍历数组，一步就能完成。
• Pop操作：position此时指向的是下一个要插入的空位，所以当前栈顶元素的索引是position-1。先执行--position把标记移到栈顶元素的位置，再返回这个元素——同样只操作栈顶，不需要循环。

你可能误以为要遍历数组，但栈的设计就是用一个「指针」（这里的position）来跟踪栈顶，让核心操作的时间复杂度达到O(1)（也就是常数时间），这也是栈高效的关键所在。

内容的提问来源于stack exchange，提问作者streamc