堆栈上溢和下溢[关闭]

Question

（使用Java 15.0+)

我正在用这些实现一个堆栈

如何检查堆栈是否下溢？从Overflow boolean变量中，我们知道如果一个数字不能用8位来表示，就会导致溢出。但是，如果数字不能以这种方式表示，我们如何检查呢？我还认为应该有更多的情况下堆栈溢出，像jumpz或jumpn导致通过指令的无限循环。

Answer 1

你误会了。Carry/Overflow标志不跟踪“是当前堆栈顶部的值溢出”。它跟踪“您执行的最后一个可能溢出的操作，实际上是溢出的吗？”。add、subtract以及multiply操作可能会设置或清除该标志，其他操作完全不应该影响该标志（或者，如果您更喜欢每个操作都会设置该标志的设计，那么所有其他操作都必须清除该标志，例如push不可能溢出）。

你的问题的这一部分：

我还认为应该有更多的情况下堆栈溢出，像jumpz或jumpn导致通过指令的无限循环。

毫无意义。确定一个计算机程序是否会永远循环，从数学上来说是不可能的。计算机的工作是非常精确的定义；这里的“overflow”是指你尝试添加例如200+200，这是400，但这不适合8位，所以你得到的实际答案是144和一个进位标志。

‘这一跳将导致永远循环’是一个完全不同的概念。您可能需要一个标志，但它不应该是溢出标志（作为一个单独的isuse，不可能确定这一点）。

Answer 2

但是，如果数字不能以这种方式表示，我们如何检查呢？

使用int变量进行计算，然后检查该值是否超出范围。

例如，如果使用int表示sp寄存器：

int sp = ...

int temp = sp + N;  // or sp - N
if (temp > 255) {
    // set overflow flag
    sp = temp - 256;
} else if (temp < 0) {
    // set underflow flag
    sp = temp + 256;
} else {
    sp = temp;
}

您可能可以优化它...但代码将需要与上面的等价。