4.1.2 串的抽象数据类型