当使用re.split()对空字符串''进行分割时，若分隔符模式能匹配空字符串（如r'\w*'），结果并非空列表，而是包含多个空字符串的列表，其数量取决于是否启用捕获组。

在 Python 的 re.split() 中，空字符串的分割行为常令人困惑，其根本原因在于：正则表达式模式能否匹配零长度字符串（即空匹配）。

? 核心原理：空匹配如何影响分割

re.split(pattern, string) 的工作逻辑是：

• 扫描字符串，查找所有与 pattern 匹配的子串（包括零长度匹配）；
• 将每个匹配位置作为“切点”，把原字符串切分为若干段；
• 若匹配发生在字符串开头、结尾或中间，切点会生成对应的前后空片段。

关键点：r'\W*' 表示“零个或多个非单词字符”，它天然允许空匹配（因为 * 表示“0次或多次”）。因此，在空字符串 '' 上，该模式成功匹配一次，且匹配结果为空字符串 ''。

此时，'' 被逻辑上拆解为：

'' = [前置部分] + [匹配部分] + [后置部分]
     ''        +     ''       +     ''

即：空字符串可被视作“空内容”被一个空匹配从中间“切开”，从而产生两个边界空片段。

? 实际结果分析

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 严格遵循“匹配即切点 + 捕获即插入”的设计规则。理解空匹配机制，是正确使用正则分割的关键前提。