StrDelete(&s, pos, len 初始条件:串S存在, 1spossStrLength(s)-len+1 操作结果:从串S中删除第pos个 字符起长度为len的子串。 3 ADT String °串赋值 StrAssign、串复制Strc。py、串比 较 StrCompare、求串长 StrEngth、串联 接 Concat以及求子串 SubString等6种操作 构成串类型的最小操作子集。• StrDelete (&S, pos, len) 初始条件：串 S 存在， 1≤pos≤StrLength(S)-len+1。 操作结果：从串 S 中删除第 pos 个 字符起长度为 len 的子串。 } ADT String • 串赋值StrAssign、串复制StrCopy、串比 较StrCompare、求串长StrLength、串联 接Concat以及求子串SubString等6种操作 构成串类型的最小操作子集