清单 11. 如果将一个值入栈，那么出栈的也应该是它，对吗？
public void shouldPopPushedValue() throws Exception{
stStack.push("test");
Ensure.that(stStack.pop()， m.is("test"));
}
为 Matcher 挑选 ‘M’
在清单 11 中，我确保 pop() 返回值 “test”。在使用 JBehave 的 Ensure 类的过程中，您常常会发现，需要一种更丰富的方式来表达期望。JBehave 提供了一种 Matcher 类型用于实现丰富的期望，从而满足了这一需求。而我选择重用 JBehave 的 UsingMatchers 类型（清单 11 中的 m 变量），所以可以使用 is()、and()、or() 等方法和很多其它整洁的机制来构建更具文学性的期望。
清单 11 中的 m 变量是 StackBehavior 类的一个静态成员，如清单 12 所示。
清单 12. 行为类中的 UsingMatchers
private static final UsingMatchers m = new UsingMatchers(){};
有了清单 11 中编写的新的行为方法之后，现在可以来运行它 — 但是这时会产生一个错误，如清单 13 所示。
清单 13. 新编写的行为不能运行
Failures: 1.
1) StackBehavior should pop pushed value:
java.lang.RuntimeException: nothing to pop
怎么回事？原来是我的 push() 方法还没有完工。回到 清单 5，我编写了一个简单的实现，以使我的行为可以运行。现在是时候完成这项工作了，即真正将被推入的值添加到内部容器中（如果这个值不为 null）。如清单 14 所示。
清单 14. 完成 push 方法
public void push(E value) {
if(value == null){
throw new RuntimeException("Can't push null");
}else{
this.list.add(value);
}
}
但是，等一下 — 当我重新运行该行为时，它仍然失败！
清单 15. JBehave 报告一个 null 值，而不是一个异常
1) StackBehavior should pop pushed value:
VerificationException: Expected:
same instance as <test>
but got:
null:
至少清单 15 中的失败有别于清单 13 中的失败。在这种情况下，不是抛出一个异常，而是没有发现 "test" 值；实际弹出的是 null。仔细观察 清单 10 会发现：一开始我将 pop() 方法编写为当内部容器中有项目时，返回 null。问题很容易修复。
清单 16. 是时候编写完这个 pop 方法了
public E pop() {
if(this.list.size() > 0){
return this.list.remove(this.list.size());
}else{
throw new RuntimeException("nothing to pop");
}
}
但是，如果现在我重新运行该行为，我又收到一个新的错误。
清单 17. 另一个错误
1) StackBehavior should pop pushed value:
java.lang.IndexOutOfBoundsException: Index: 1， Size: 1
仔细阅读清单 17 中的实现可以发现问题：在处理 ArrayList 时，我需要考虑 0。
清单 18. 通过考虑 0 修复问题
public E pop() {
if(this.list.size() > 0){
return this.list.remove(this.list.size()-1);
}else{
throw new RuntimeException("Nothing to pop");
}
}
栈的逻辑
至此，通过允许传递多个行为方法，我已经实现了 push() 和 pop() 方法。但是我还没有处理栈的实际内容，这是与多个 push() 和 pop() 相关联的逻辑，间或出现一个 peek()。
首先，我将通过 shouldPopSecondPushedValueFirst() 行为确保栈的基本算法（先进先出）无误。
清单 19. 确保典型的栈逻辑
public void shouldPopSecondPushedValueFirst() throws Exception{
stStack.push("test 1");
stStack.push("test 2");
Ensure.that(stStack.pop()， m.is("test 2"));
}
清单 19 中的代码可以按计划运行，所以我将实现另一个行为方法（在清单 20 中），以确保两次使用 pop() 都能表现出正确的行为。
清单 20. 更深入地查看栈行为
public void shouldPopValuesInReverseOrder() throws Exception{
stStack.push("test 1");
stStack.push("test 2");
Ensure.that(stStack.pop()， m.is("test 2"));
Ensure.that(stStack.pop()， m.is("test 1"));
}
接下来，我要确保 peek() 能按预期运行。正如 Linda 所说，peek() 遵从和 pop() 相同的规则，但是 “应该保留栈顶的项目”。相应地，我在清单 21 中实现了 shouldLeaveValueOnStackAfterPeep() 方法的行为。
清单 21. 确保 peek 保留栈顶的项目
public void shouldLeaveValueOnStackAfterPeep() throws Exception{
stStack.push("test 1");
stStack.push("test 2");
Ensure.that(stStack.peek()， m.is("test 2"));
Ensure.that(stStack.pop()， m.is("test 2"));
}
由于 peek() 还没有定义，因此清单 21 还不能编译。在清单 22 中，我定义了 peek() 的一个简单的实现。
清单 22. 当前，peek 是必需的
public E peek() {
return null;
}
现在 StackBehavior 类可以编译，但是它仍然不能运行。
清单 23. 返回 null 并不奇怪，对吗？
1) StackBehavior should leave value on stack after peep:
VerificationException: Expected:
same instance as <test 2>
but got:
null:
在逻辑上，peek() 不会从内部集合中移除 项目，它只是传递指向那个项目的指针。因此，我将对 ArrayList 使用 get() 方法，而不是 remove() 方法，如清单 24 所示。
清单 24. 不要移除它
public E peek() {
return this.list.get(this.list.size()-1);
}
栈为空的情况
现在重新运行 清单 21 中的行为，结果顺利通过。但是，在这样做的过程中发现一个问题：如果栈为空，则 peek() 有怎样的行为？如果说栈为空时调用 pop() 会抛出一个异常，那么 peek() 是否也应该如此？
Linda 对此没有进行解释，所以，显然我需要自己添加新的行为。在清单 25 中，我为 “当之前没有调用 push() 时调用 peek() 会怎样” 这个场景编写了代码。
