4.2 栈的抽象数据类型