问题描述
在堆栈的情况下，如果我们想弹出一些东西，前提条件是堆栈中应该先有东西。会不会有其他的先决条件？除此之外，如何在表达式中编写这些前提条件？
堆栈的可能状态是： 空栈 非空栈
要从堆栈中弹出一些东西，它应该至少有一个元素。所以，前提是：一个元素应该被压入堆栈或者堆栈不应该是空的。这个前置条件的表达式是： {s != NULL} := {push(s,element)}
如果有人可以帮助我，我需要确认这个表达式！！
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）