金宇澄1. 串结构基础概念解析
在计算机科学中，串（String）是由零个或多个字符组成的有限序列，是程序设计中最基础也最重要的数据结构之一。不同于数组的泛用性，串专门用于处理文本数据，其特殊性在于元素固定为字符类型。从底层实现来看，串在内存中通常表现为连续存储的字符数组，但在高级语言中被封装为独立的数据类型。
串结构的两个核心特性需要特别注意：一是串的长度可变性，现代编程语言中的字符串普遍支持动态扩容；二是不可变性（immutable），多数语言中字符串对象一旦创建就不能修改，任何"修改"操作实质都是创建新对象。理解这两个特性对编写高效代码至关重要。
实际面试中常被问及StringBuffer与StringBuilder的区别，本质上就是对串可变性理解的考察。前者线程安全但性能较低，后者非线程安全但速度快，选择取决于并发场景需求。
需要模型API调用？ 免费领10W Token，多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 串的存储结构与实现原理
2.1 定长顺序存储
早期语言如C采用预分配固定长度的字符数组存储字符串，通过'\0'标识结尾。这种方式的优势是存取速度快（O(1)时间复杂度），但存在缓冲区溢出风险和空间浪费问题。典型实现如下：
c复制#define MAXLEN 255
typedef struct {
char ch[MAXLEN];
int length;
} SString;
2.2 堆分配存储
现代语言普遍采用动态分配策略，根据实际长度分配内存。Java的String类内部使用final修饰的char数组，Python3.x则采用更灵活的Unicode存储。以Java为例：
java复制public final class String {
private final char value[];
private int hash; // 缓存哈希值
}
这种实现通过维护length字段避免每次计算长度，同时哈希缓存优化了频繁使用的hashCode()性能。
2.3 块链存储
特殊场景下会使用链式存储，每个节点存放多个字符。这种结构在文本编辑器中常见，便于局部修改。结构示意：
code复制typedef struct Chunk {
char ch[CHUNKSIZE];
struct Chunk *next;
} Chunk;
3. 串模式匹配算法精讲
3.1 Brute-Force朴素算法
最直接的匹配思路，主串与模式串逐个字符比较。代码简单但效率低下（最坏O(m*n)）：
python复制def brute_force(s, p):
n, m = len(s), len(p)
for i in range(n - m + 1):
if s[i:i+m] == p:
return i
return -1
3.2 KMP算法优化
通过部分匹配表（PMT）避免重复比较，预处理时间复杂度O(m)，匹配阶段O(n)。关键在next数组的计算：
java复制void getNext(String p, int[] next) {
next[0] = -1;
int i = 0, j = -1;
while (i < p.length() - 1) {
if (j == -1 || p.charAt(i) == p.charAt(j)) {
next[++i] = ++j;
} else {
j = next[j];
}
}
}
实际笔试中，建议先写出暴力解法确保基础分，时间充裕再优化为KMP。面试时则需直接给出优化方案。
4. 串操作的工程实践
4.1 字符串拼接性能陷阱
测试对比三种拼接方式的性能差异（Java示例）：
java复制// 1. 直接+拼接（编译期优化为StringBuilder）
String s1 = "a" + "b";
// 2. 循环中使用+（每次循环创建新StringBuilder）
String s2 = "";
for(int i=0; i<100; i++) {
s2 += i; // 性能灾难！
}
// 3. 显式使用StringBuilder
StringBuilder sb = new StringBuilder();
for(int i=0; i<100; i++) {
sb.append(i);
}
String s3 = sb.toString();
4.2 正则表达式优化
复杂匹配应预编译Pattern对象：
java复制Pattern p = Pattern.compile("a*b"); // 预编译
Matcher m = p.matcher("aaaaab");
boolean b = m.matches();
5. 软考真题实战分析
以2022年软考真题为例：
"设有字符串S='aabaaab'，模式串P='aab'，采用KMP算法进行匹配时，next数组为____"
解题步骤：
- 构建模式串P的next数组
- 列出所有前缀子串：a, aa, aab
- 计算各前缀的最长公共前后缀长度：
- "a"：0
- "aa"：1（前缀a与后缀a）
- "aab"：0
- 得到next数组：[-1, 0, 1]
考场技巧：遇到复杂计算可先跳过，完成所有题目后再回头处理。选择题可先排除明显错误选项提高正确率。