链栈的建立是基于链表而不是数组。基于链表的栈相对于基于数组的栈提供了两个优点:
不需要指定栈的起始大小。链栈只需要从一个空的链表开始,然后每次压入一个值时即扩展一个结点;
只要系统具有足够的可用内存,链栈将永远不会满。
本节将可以看到一个链栈类 DynlntStack,该类的声明如下所示:
//DynIntStack.h 的内容
class DynlntStack
{
struct StackNode
{
int value;
StackNode *next;
// Constructor
StackNode(int value1, StackNode *next1 = nullptr)
{
value = value1; next = next1;
}
};
StackNode *top;
public:
DynlntStack() { top = nullptr; }
~DynlntStack();
void push(int);
void pop(int &);
bool isEmpty() const;
// Stack Exception
class Underflow {};
};
StackNode 类是链表中每个结点的数据类型。因为在链表的开始处添加和删除项目都很容易,所以将链表的开头作为栈顶,并使用 top 指针指向链表中的第一个结点。这个指针被栈构造函数初始化为 nullptr,表示栈被创建为空。链栈没有静态分配的数组要填充,所以不会有溢出的异常。但是,该类会定义一个 underflow 异常,当 pop 函数被调用而栈为空时就会抛出该异常。
DynIntStack 栈类的成员函数如下所示:
//DynIntStack.cpp 的内容
#include
#include "DynIntStack.h"
#include
using namespace std;
void DynIntStack::push(int num)
top = new StackNode(num, top);
}
void DynIntStack::pop(int &num)
{
StackNode *temp;
if (isEmpty()) { throw DynIntStack::Underflow(); }
else {
// Pop value off top of stack
num = top->value;
temp = top;
top = top->next;
delete temp;
}
}
bool DynIntStack::isEmpty() const
{
return top == nullptr;
}
DynIntStack::~DynIntStack()
{
StackNode * garbage = top;
while (garbage != nullptr)
{
top = top->next;
garbage->next = nullptr;
delete garbage;
garbage = top;
}
}
push 函数特别简单。它只是创建一个新的结点,结点的值就是要 push 到栈上的数字,其后继指针是当前栈顶的结点,然后使新创建的结点成为栈的新顶部:
top = new StackNode(num, top);
请注意,即使栈在 push 操作之前为空,以上语句也能正常工作,因为在这种情况下,栈顶部新结点的后继指针将被正确设置为 nullptr。
接下来看一看 pop 函数。就像 push 函数必须在链表头部插入结点一样,pop 函数也必须删除链表头部的结点。首先,该函数调用 isEmpty 来确定栈中是否有任何结点。如果没有,则拋出一个异常:
if (isEmpty())
{
throw DynlntStack::Underflow();
}
如果 isEmpty 返回 false,则执行以下语句:
else //弹出栈顶的值
{
num = top->value;
temp = top;
top = top->next;
delete temp;
}
首先,栈顶结点的 value 成员的副本将保存在 num 引用形参中,然后临时指针 temp 被设置为指向要删除的结点,即当前位于栈顶的结点。接下来将 top 指针设置为指向当前栈顶结点之后的结点。如果当前位于栈顶的结点之后没有结点,则相同的代码会将 top 设置为 nullptr,然后就可以通过临时指针安全地删除栈顶结点。
下面的程序是一个驱动模块程序,它演示了 DynlntStack 类:
// This program demonstrates the dynamic stack class DynIntStack.
#include
#include "DynIntStack.h"
using namespace std;
int main()
{
DynIntStack stack;
int popped_value;
// Push values 5, 10, and 15 on the stack
for (int value = 5; value <= 15; value = value + 5)
{
cout << "Push: " << value << "\n";
stack.push(value);
}
cout << "\n";
// Pop three values
for (int k = 1; k <= 3; k++)
{
cout << "Pop: ";
stack.pop(popped_value);
cout << popped_value << endl;
}
// Stack is now empty, a pop will cause an exception
try
{
cout << "\nAttempting to pop again...";
stack.pop(popped_value);
}
catch (DynIntStack::Underflow)
{
cout << "Underflow exception occured.\n";
}
return 0;
}
程序输出结果:
Push: 5
Push: 10
Push: 15
Pop: 15
Pop: 10
Pop: 5
Attempting to pop again...Underflow exception occurred.
该程序将创建一个栈并且将 3 个值压入该栈,所有这 3 个值随后又被弹出栈并打印。第 4 次(最后一次)调用 pop 执行出栈操作时,栈已经是空的了,所以拋出了一个异常。程序会捕获异常和打印一条消息。