数据结构|9|串

串

---

串的定义和实现

串的定义

• 串（string）是由零个或多个字符组成的有限序列。
• 串中任意多个连续的字符组成的子序列称为该串的子率，包含子串的串称为主串。某个字符在串中的序号称为该字符在串中的位置。子串在主串中的位置以子串的第一个字符在主串中的位置来表示。当两个串的长度相等且每个对应位置的字符都相等时，称这两个串是相等的。例如，有串A=China Beijing，B=Beijing，C=China，则它们的长度分别为13，7和5。B和C是A的子串，B在A中的位置是7，C在A中的位置是1。需要注意的是，由一个或多个空格（空格是特殊字符）组成的串称为空格串（注意，空格串不是空串），其长度为串中空格字符的个数。串的逻辑结构和线性表极为相似，区别仅在于串的数据对象限定为字符集。在基本操作上，串和线性表有很大差别。线性表的基本操作主要以单个元素作为操作对象，如查找、插入或删除某个元素等；而串的基本操作通常以子串作为操作对象，如查找、插入或删除一个子串等。

串的存储结构

定长顺序存储表示

类似于线性表的顺序存储结构，用一组地址连续的存储单元存储串值的字符序列。在串的定长顺序存储结构中，为每个串变量分配一个固定长度的存储区，即定长数组。

#define MAXLEN 255//预定义最大串长为255
typedef struct{
    char ch[MAXLEN]；//每个分量存储一个字符
    int 1ength；//串的实际长度
}SString；

串的实际长度只能小于等于MAXLEN，超过预定义长度的串值会被舍去，称为截断。串长有两种表示方法：一是如上述定义描述的那样，用一个额外的变量len来存放串的长度；二是在串值后面加一个不计入串长的结束标记字符“\0”，此时的串长为隐含值。
在一些串的操作（如插入、联接等）中，若串值序列的长度超过上界MAXLEN，约定用“截断”法处理，要克服这种弊端，只能不限定串长的最大长度，即采用动态分配的方式。

堆分配存储表示

堆分配存储表示仍然以一组地址连续的存储单元存放串值的字符序列，但它们的存储空间是在程序执行过程中动态分配得到的。

typedef struct{
    char *ch；//按串长分配存储区，ch指向串的基地址
    int 1ength；//串的长度
}HString；

在C语言中，存在一个称之为“堆”的自由存储区，并用malloc（）和free（）函数来完成动态存储管理。利用malloc（）为每个新产生的串分配一块实际串长所需的存储空间，若分配成功，则返回一个指向起始地址的指针，作为串的基地址，这个串由ch指针来指示；若分配失败，则返回NULL。已分配的空间可用free（）释放掉。

串的基本操作

StrAssign（&T，chars）：赋值操作。把串T赋值为chars。
StrCopy（&T，S）：复制操作。由串s复制得到串T。
StrEmpty（S）：判空操作。若s为空串，则返回TRUE，否则返回FALSE。
StrCompare（S，T）：比较操作。若S>T，则返回值>0；若S=T，则返回值=0；若S<T，则返回值<0。
StrLength（S）：求串长。返回串S的元素个数。
SubString（&Sub，S，pos，len）：求子串。用Sub返回串s的第pos个字符起长度为1en的子串。
Concat（&T，S1，S2）：串联接。用T返回由s1和S2联接而成的新串。
Index（S，T）：定位操作。若主串S中存在与串T值相同的子串，则返回它在主串s中第一次出现的位置；否则函数值为0。
ClearString（&S）：清空操作。将s清为空
DestroyString（&S）：销毁串。将串s销毁。

应用题

---

设有字符串S=‘aabaabaabaac’，P=‘aabaac’.
1）求出P的next数组。

算法思路：（下一章着重讲解KMP算法，这里提前给大家预习一下）
1）P=‘aabaac’，按照next数组生成算法，对于p有：

• 设next[1]=0，next[2]=1

编号	1	2	3	4	5	6
S	a	a	b	a	a	c
next	0	1

• 中间步骤由于我我不会写文字版的，我就拍照给大家展示了

• j=3时k=next[j-1]=next[2]=1，观察S[j-1]（S[2]）与S[k]（S[1]）是否相等，S[2]=a，S[1]=a，s[2]=s[1]，所以next[j]=k+1=2。
• j=4时k=next[j-1]=next[3]=2，观察S[j-1]（S[3]）与S[k]（S[2]）是否相等，S[3]=b，S[2]=a，S[3]！=S[2]。

此时k=next[k]=1，观察s[3]与s[k]（s[1j）是否相等，s[3]=b，S[1]=a，S[3]！=S[1]。k=next[k]=0，因为k=0，所以next[j]=1。
fk=0

• j=5时k=next[j-1]=next[4]=1，观察S[j-1]（S[4]）与S[k]（S[1]）是否相等，S[4]=a，S[1]=a，S[4]=S[11，所以next[j]=k+1=2。

• j=6时k=next[j-1]=next[5]2，观察S[j-1]（S[5]）与S[k]（S[2]）是否相等，s[5]=a，S[2]=a，S[5]=s[2]，所以next[j]=k+1=3。

最后的结果为

编号	1	2	3	4	5	6
S	a	a	b	a	a	c
next	0	1	2	1	2	3