1、变为0，因为他是从上往下存的S(1:m)的意思就是S有m个空间，可用空间位置为S(1)-S(m),top是栈顶指针，初始的时候栈是空的，这跟他的操作有关，如果是先栈指针下移，然后再存值，是不会超的，当然如果先存值在栈指针下移，那肯定超了。
