串的抽象数据类型的定义(精)