4.1串类型的定义 4.1.2串的抽象数据类型的定义 StrCompare (S,T) 初始条件：串S和T存在。 操作结果：若$>T,则返回值>0； 若S=T,则返回值=0； 若S<T,则返回值<0。 例如：StrCompare('data','state')<0 StrCompare('cat','case')>0 0 11 1945
— 11 — 4.1 串类型的定义 StrCompare (S, T) 初始条件：串 S 和 T 存在。 操作结果：若S T，则返回值 0； 若S T，则返回值 0； 若S T，则返回值 0。 例如：StrCompare(data, state) < 0 StrCompare(cat, case) > 0 4.1.2 串的抽象数据类型的定义
4.1串类型的定义 4.1.2串的抽象数据类型的定义 StrLength (S) 初始条件：串S存在。 操作结果：返回S的元素个数， 称为串的长度。 -12- 145
— 12 — 4.1 串类型的定义 StrLength (S) 初始条件：串 S 存在。 操作结果：返回 S 的元素个数， 称为串的长度。 4.1.2 串的抽象数据类型的定义
4.1串类型的定义 4.1.2串的抽象数据类型的定义 Concat (&T,S1,S2) 初始条件：串S1和S2存在。 操作结果：用T返回由S1和S2联接而 成的新串。 例如：Concate(T,'man',kind') 求得T='mankind -13一 145
— 13 — 4.1 串类型的定义 Concat (&T, S1, S2) 初始条件：串 S1 和 S2 存在。 操作结果：用 T 返回由 S1 和 S2 联接而 成的新串。 例如：Concate( T, man, kind) 求得 T = mankind 4.1.2 串的抽象数据类型的定义
4.1串类型的定义 4.1.2串的抽象数据类型的定义 SubString (&Sub,S,pos,len) 初始条件：串S存在，1≤pos≤StrLength(S) E0slensStrLength(S)-pos+1. 操作结果：用Sub返回串S的第pos个字符起 长度为len的子串。 -14- 145
— 14 — 4.1 串类型的定义 SubString (&Sub, S, pos, len) 初始条件：串 S 存在，1≤pos≤StrLength(S) 且0≤len≤StrLength(S)-pos+1。 操作结果：用 Sub 返回串 S 的第 pos 个字符起 长度为 len 的子串。 4.1.2 串的抽象数据类型的定义
4.1串类型的定义 子串为“串”中的一个字符子序列 例如： SubString(sub,'commander',4,3) 求得sub='man'; SubString(sub,'commander',1,9) 求得sub='commander'; SubString(sub,'commander',9,1) 求得sub='r': -15- 1945
— 15 — 4.1 串类型的定义 例如： SubString( sub, commander, 4, 3) 求得 sub = man ； SubString( sub, commander, 1, 9) 求得 sub = commander； SubString( sub, commander, 9, 1) 求得 sub = r； 子串为“串”中的一个字符子序列