Question

一道数据结构题，如图第2题，请问，为什么这里(圈1)和(圈2)不选择上溢或者下溢？

另外，可以举一下上溢和下溢在什么情况下选择？谢谢

Answer 1

发生上溢和下溢说明程序的操作已经有越界行为，访问已经超出了栈所占有的空间，非法内存读写操作，这种情况下，程序的状态是不可预测的，可能会导致数据错乱，也可能会崩掉。

所以必须在发生上溢、下溢之前，进行检查，避免这些情况的发生。例如，进栈前，检查栈是否满，若已满，则需要先扩展栈空间，然后再压入；退栈前，检查栈是否为空，若为空则不弹出。
程序中通常要对两种边界情况进行检测（空、满），而不能对已经发生的溢出状态进行判断，因为程序状态可能已经不正常了，无法判断。