当使用re.split()对空字符串''进行分割时，若分隔符模式能匹配空字符串（如r'\w*'），结果并非空列表，而是包含多个空字符串的列表，其数量取决于是否启用捕获组。
在 Python 的 re.split() 中，空字符串的分割行为常令人困惑，其根本原因在于：正则表达式模式能否匹配零长度字符串（即空匹配）。
? 核心原理：空匹配如何影响分割
re.split(pattern, string) 的工作逻辑是：
- 扫描字符串，查找所有与 pattern 匹配的子串（包括零长度匹配）；
- 将每个匹配位置作为“切点”，把原字符串切分为若干段；
- 若匹配发生在字符串开头、结尾或中间，切点会生成对应的前后空片段。
关键点：r'\W*' 表示“零个或多个非单词字符”，它天然允许空匹配（因为 * 表示“0次或多次”）。因此，在空字符串 '' 上，该模式成功匹配一次，且匹配结果为空字符串 ''。
此时，'' 被逻辑上拆解为：
立即学习“Python免费学习笔记（深入）”；
'' = [前置部分] + [匹配部分] + [后置部分]
'' + '' + ''即：空字符串可被视作“空内容”被一个空匹配从中间“切开”，从而产生两个边界空片段。
? 实际结果分析
import re x = re.split(r'\W*', '') # → ['',''] y = re.split(r'(\W*)', '') # → ['','','']
re.split(r'\W*', '')：
模式未捕获，仅按匹配位置切分。空字符串中发生一次空匹配，将其分为「匹配前」和「匹配后」两部分 → ['', '']（共2个空字符串）。re.split(r'(\W*)', '')：
括号启用捕获组，re.split 会将每个匹配内容本身也插入结果列表（位于其分割出的两段之间）。
因此结构变为：
[前置] + [匹配内容] + [后置] → [''] + [''] + [''] → ['', '', '']
✅ 验证：re.findall(r'\W*', '') 返回 ['']，证实确实发生了一次空匹配。
⚠️ 重要注意事项
- 避免使用可能空匹配的模式作为 split 分隔符（如 r'.*'、r'\w*、r'\W*、r'a*' 等），否则行为不可预测且易引发逻辑错误；
- 若需安全地按“非单词字符”分割，应改用 r'\W+'（要求至少1个非单词字符），此时 re.split(r'\W+', '') 返回 ['']（无匹配，返回原字符串）；
- 对空字符串的处理应显式判断，例如：
def safe_split(s, pattern): return [] if not s else re.split(pattern, s)
✅ 总结
re.split(r'\W*', '') 得到 ['', '']，re.split(r'(\W*)', '') 得到 ['', '', '']，并非 bug，而是 re.split 严格遵循“匹配即切点 + 捕获即插入”的设计规则。理解空匹配机制，是正确使用正则分割的关键前提。
