3.1 列表的抽象数据类型定义