StrLength (S) 初始条件:串S存在。 操作结果:返回S的元素个数, 称为串的长度
StrLength (S) 初始条件:串 S 存在。 操作结果:返回 S 的元素个数, 称为串的长度
Concat (&T,S1,S2) 初始条件:串S1和S2存在。 操作结果:用T返回由S1和S2 联接而成的新串。 例如:Concate(T,'man','kind') 求得T='mankind
Concat (&T, S1, S2) 初始条件:串 S1 和 S2 存在。 操作结果:用 T 返回由 S1 和 S2 联接而成的新串。 例如: Concate( T, man , kind) 求得 T = mankind
SubString (&Sub,S,pos,len) 初始条件: 串S存在,l≤pos≤StrLength(S) 且0slen≤StrLength(S)-pos+1。 操作结果: 用Sub返回串S的第pos个字符起 长度为len的子串
SubString (&Sub, S, pos, len) 初始条件: 串 S 存在,1≤pos≤StrLength(S) 且0≤len≤StrLength(S)-pos+1。 操作结果: 用 Sub 返回串 S 的第 pos 个字符起 长度为 len 的子串
子串为“串”中的一个字符子序列 例如: SubString(sub,'commander',4,3) 求得sub='man'; SubString(sub,'commander',1,9) 求得sub='commander'; SubString(sub,'commander',9,1) 求得sub='r';
例如: SubString( sub, commander, 4, 3) 求得 sub = man ; SubString( sub, commander, 1, 9) 求得 sub = commander; SubString( sub, commander, 9, 1) 求得 sub = r; 子串为“串”中的一个字符子序列
SubString(sub,'commander,4,7) sub SubString(sub,'beijing',7,2)=? sub 起始位置和子串长度之间存在约束关系 SubString('student',5,0)=
SubString(sub, commander, 4, 7) sub = ? SubString(sub, beijing, 7, 2) = ? sub = ? SubString(student, 5, 0) = 起始位置和子串长度之间存在约束关系