4.1.2 栈的抽象数据类型