使用喜欢的列表在堆栈中实现正确的（下溢保护）pop/peek 方法时遇到问题

Question

好的，我正在尝试使用链表为我的 C++ 作业编写堆栈弹出方法。 让我先告诉你节点和列表类，然后告诉你问题：

class Node
{
public:
    int data;
    Node* next;

    Node(int data, Node* next = 0)
    {
        this->data = data;
        this->next = next;
    }
};
class List
{
private:
  Node* head; // no need for the tail when using the list for implementing a stack

public:
    List()
    {
        head = 0;
    }
    void add_to_head(int  data)
    {
        if(head == 0)
        {
            head = new Node(data);
        }
        else 
        {
            head = new Node(data, head);
        }
    }

    Node* get_head()
    {
        return head;
    }

    // this deletes the head element and makes 'head' points to the node after it.
    void delete_head()
    {
        // storing the head so that we could delete it afterwards.
        Node* temp = head;

        // making the head point to the next element.
        head = temp->next;

        // freeing memory from the deleted head.
        delete(temp);
    }
};

现在是堆栈：

class stack
{
private: 
    List* list;

public:
  stack()
  {
      list = new List();
      flush();
  }
  void push(int value)
  {
      list->add_to_head(value);
  }
  bool pop(int& value_to_fill)
  {
      if(is_empty())
      {
        return false; // underflow...
      }

      value_to_fill = list->get_head()->data;

     // deleting the head. NOTE that head will automatically point to the next element after deletion 
     // (check out the delete_head definition)
     list->delete_head();

     return true; // popping succeed.
  }
  bool peek(int& value_to_fill)
  {
    if(is_empty())
    {
       return false;
    }
    value_to_fill = list->get_head()->data;
    return true;
  }
 // other stuff...
};

现在问题在于 pop 和 peek，我只是觉得它们不方便。 不应为 pop 和 peek 提供任何参数，但如果我这样做：

int peek()
{
  if(is_empty())
    // what should I do here?
  return list->get_head()->data;
}
int pop()
{
  if(is_empty())
    // same thing here.

  // deleting the tos then returning it.
  // I know this is not what the pop in the STL stack does, but I like it this way
    int tos = list->get_head()->data;
    list->delete_head();
    return tos;
}

发生下溢时我不知道该怎么办。 我不能只返回 -1 或 0 或类似的东西，因为这看起来好像我弹出了 -1 或 0（tos == -1 或 0） 有没有一种方法可以编写防下溢 pop/peek 而无需通过引用传递任何内容？

Answer 1

这是规范的问题。有几种可能的解决方案：

• 将堆栈不为空作为pop 的前提条件。它是 客户有责任确保这一点（可能通过调用 is_empty() 在弹出之前），并且违反了先决条件 导致断言失败。

• 如果堆栈为空，则引发异常。这是最明显的 解决方案，但可能是最不普遍适用的。

• 不要让 pop 返回值（或让它返回您的 bool）。到 获取顶部元素，您有一个单独的函数 tos() 和一个客户端 谁想要两者都需要两个函数调用：x = s.tos(); s.pop();。 例如，这就是标准所做的。在实践中，往往 首选方法，因为对于复制可以抛出的类型（例如 std::string)，不可能实现 pop 来返回值和 给予强有力的异常保证。 （无论这是否有问题 是另一个问题，但在特定情况下可能是一个问题，而且它是 标准中选择背后的动机，其中没有流行 函数返回一个值。）

最后，重要的是你定义了接口，所以 你的用户知道会发生什么。

顺便说一句，您不需要add_to_head 中的if。如果head == NULL，您将使用第二个参数调用构造函数 NULL，所以你不妨在这两种情况下都传递head。

（我将跳过使用链表效率非常低的事实 实现堆栈的方法，因为代码显然是一个学习 锻炼。）