SDS04C.pptVIP

第四章 串 4.1 串类型的定义 串的抽象数据类型定义 ADT String { 数据对象： D={ai | ai∈CharacterSet, i=1, 2, …, n, n≥0} 数据关系： R1={ai-1, ai| ai-1, ai∈D, i=2,3,…,n} StrCopy(T, S) 串拷贝 初始条件：串 S 存在。 操作结果：由串 S 复制得串 T 。 ClearString(S) 清串 初始条件：串 S 存在。 操作结果：将 S 清为空串。 4.2 串的表示和实现 * * 串(string) 也称字符串，是由零个或多个字符组成的有限序列。 串中字符的数目称为串的长度。零个字符的串称为空串。由一个或多个空格字符组成的串称为空格串。 例如： s=computer; ns=; bs= ; 串中任意个连续字符组成的子序列称为该串的子串。包含子串的串相应地称为主串。 Pascal 表示方法 例： s = 123; a = 123; s 和 a 有何不同？ 类型不同。s 为字符串变量，a 是整数型变量。 值不同。s 的值是数字字符序列，a 的值是一 个整数。 可进行的运算不同。s 可参加字符串运算，如 串的连接，求子串等；不能参加算术运算。 存储方式不同。 C 语言中为 字符串指针 串的逻辑结构和线性表极为相似，区别仅在于串的数据元素取自字符集。因而串是一种特殊的线性表。 初始条件： chars 是字符串常量操作结果：生成一个其值等于chars 的串 T 基本操作： 例如：执行 StrAssign(T, data) 后， T = data StrAssign(T, chars) 赋值 StrEmpty(S) 判串空 初始条件：串 S 存在。 操作结果：若 S 为空串，则返回 TRUE， 否则返回 FALSE。 初始条件：串 S 和 T 存在。操作结果：若 S ? T，则返回值 ? 0；  若 S ? T，则返回值 ? 0；  若 S ? T，则返回值 ? 0。 例如： StrCompare(?data?, ?state?) 0 StrCompare(?cat?, ?case?) 0 StrCompare (S, T) 串比较 初始条件：串 S 存在。操作结果：返回 S 的长度。 StrLength (S) 求长度 例如：StrLength (?data structures?) = 15 StrLength (??) = 0 初始条件：串 S1 和 S2 存在。操作结果：用 T 返回由 S1 和 S2 联接而成 的新串。 例如：执行 Concat (T, man, kind) 后， T = mankind Concat (T, S1, S2) 联接 初始条件：串 S 存在， 1≤pos≤StrLength(S) 且 0≤len≤StrLength(S)-pos+1 操作结果：用Sub 返回串S 的第pos个字符起 长度为 len 的子串。 SubString (Sub, S, pos, len) 求子串 例如： 执行 Substring(T, computer, 4, 3) 后， T = put 执行 Substring(T, computer, 1, 8) 后， T = computer 执行 Substring(T, computer, 1, 0) 后， T = 执行 Substring(T, computer, 4, 7) 后， T = ? 初始条件：串S 和T 存在，且T 是非空串, 1≤pos≤StrLength(S) 操作结果：若主串S 中从第pos 个字符开始往 后存在和串 T 相等的子串, 则返回  第一个这样