SubString(&Sub, S, pos, len) 初始条件:串S存在 1pos≤ StrEngth(s)且 oslensStrLength (s)-pos+1 操作结果:用Sub返回申S的第 pos个字符起长度为|en的子串。 Index(S, T, pos) 初始条件:串S和T存在,T是非空 串,1pos≤ StrEngth(S)。 操作结果:若主串S中存在和串T值 相同的子串,则返回它在主串S中第pos个 字符之后第一次出现的位置;否则函数值 为0。• SubString (&Sub, S, pos, len) 初始条件：串S存在， 1≤pos≤StrLength(S)且 0≤len≤StrLength(S)-pos+1。 操作结果：用 Sub 返回串S的第 pos 个字符起长度为 len 的子串。 • Index (S, T, pos) 初始条件：串S和T存在，T 是非空 串，1≤pos≤StrLength(S)。 操作结果：若主串S中存在和串T值 相同的子串，则返回它在主串S中第pos个 字符之后第一次出现的位置；否则函数值 为0