c - 入栈操作逻辑错误

Question

我正在将堆栈作为数组进行插入操作，但我的程序在输入第一个值时崩溃。

typedef struct Stack
{
  int top;
  int elements[20];
}
stack;
stack *s;

void push(int x)
{
  s->top++;
  if(s->top<=19){
  s->elements[s->top]=x;}
  else
    puts("Overflow");
}

Answer 1

根据您目前的代码，您似乎正在使用未初始化的 s。使用初始化内存调用 undefined behaviour这反过来可能导致段错误。

为了防止单元化的s，你可能想像这样修改你的代码

void push(int x)
{
  if (s)         //check if `s` has been initialized.
  {
      s->top++;
      if(s->top<=19)
      {
          s->elements[s->top]=x;
      }
      else
          puts("Overflow");
  }
  else
      //abort, return error or something similar
}

---

注意:

除了这里手头的问题，还有一个隐藏的问题，一旦你解决这个问题就会出现。

在您的 push() 函数中，您正在递增 top 值无条件。这意味着，即使堆栈已满，您的 top 值也会增加，稍后会导致计算错误。

您必须将堆栈 top 增量部分也移动到值范围检查下。