Python re.sub 替换文本里的反斜杠：分组引用和原样插入要分清
路径被替换进去，字符却变了
批量生成配置时，经常需要把占位符换成用户选择的目录。目录字符串在变量里看起来完整，传给 re.sub 后却出现换行、回车，甚至报出分组不存在。原因在于字符串形式的替换参数有自己的语法：它会解释部分反斜杠转义，也会把分组引用换成匹配到的内容。
这里至少有两个解释阶段。Python 先读源代码里的字符串字面量，随后正则库再读替换模板。给字面量加上 r 前缀，只影响第一个阶段；原始字符串到了替换模板里，反斜杠仍可能表示控制字符或引用。若文本来自文件或接口，它已经是运行时字符串，也不存在补写一个前缀就能改变含义的操作。
先决定替换参数代表模板还是数据
需要把匹配结果重新排列时，替换模板很方便。使用带尖括号的分组写法，可以明确区分组号和紧随其后的普通数字。例如，第一组后面接零，应写成明确的第一组引用再接零；把反斜杠、一和零连在一起，会被理解为第十组，而不是第一组加一个零。
需要完整插入路径、搜索词或外部文本时，可以把替换参数改为函数。函数接收当前匹配对象，返回的字符串直接成为本次替换内容，不再当作替换模板解释。最短形式就是 lambda 返回变量。匹配部分仍按正则表达式工作，只有替换内容采用原样返回的语义。
下面的程序只处理内存文本，不读取文件。保存后用 Python 三运行，观察模板输出和原样输出的差别。repr 会把换行等不可见字符显示出来，便于排查；真正保证行为的是断言，而不是肉眼看起来相似的终端文字。
AI概念配图，非真实界面
import re
pattern = r'(?P<label>[A-Z]+)=(?P<count>\d+)'
text = 'A=12 B=7'
templated = re.sub(pattern, r'\g<label>:\g<count>0', text)
assert templated == 'A:120 B:70'
assert re.sub(pattern, r'\g<1>0', text) == 'A0 B0'
try:
re.sub(pattern, r'\10', text)
except re.error:
print('group 10: rejected')
else:
raise AssertionError('missing group was accepted')
print('template:', templated)
literal = r'C:\new\reports\1'
interpreted = re.sub(r'(X)', literal, 'X')
assert '\n' in interpreted and '\r' in interpreted
assert interpreted.endswith('X') and interpreted != literal
kept = re.sub(r'(X)', lambda match: literal, 'X')
assert kept == literal
print('interpreted:', repr(interpreted))
print('literal:', repr(kept))
escaped_template = literal.replace('\\', r'\\')
assert re.sub(r'(X)', escaped_template, 'X') == literal
unknown_escape = r'C:\docs'
try:
re.sub(r'X', unknown_escape, 'X')
except re.error:
print('unknown replacement escape: rejected')
else:
raise AssertionError('unknown escape was accepted')
assert re.sub(r'X', lambda match: unknown_escape, 'X') == unknown_escape
value = 'a+b'
wrong = re.sub(r'X', re.escape(value), 'X')
assert wrong == r'a\+b' and wrong != value
assert re.sub(r'X', lambda match: value, 'X') == value
assert re.sub(re.escape('a+b'), 'OK', 'a+b aab') == 'OK aab'
incremented = re.sub(pattern,
lambda m: f"{m.group('label')}={int(m.group('count')) + 1}",
text)
assert incremented == 'A=13 B=8'
assert re.sub(r'X', lambda match: literal, 'XX', count=1) == literal + 'X'
assert re.sub(r'X', lambda match: literal, 'none') == 'none'
print('callback:', incremented)
print('literal, escape, count and no-match checks passed')从断言看两条处理路线
模板示例得到的是 A 对应一百二十、B 对应七十，这里只是拼接字符零，没有进行乘法。后面的回调示例把数量转换成整数后加一，才真正发生了数值计算。替换模板适合固定格式重排，回调适合条件分支和计算，二者的用途可以从预期结果直接区分。
路径示例故意包含反斜杠加字母以及反斜杠加数字。直接作为模板时，前两处变成控制字符，末尾引用变成匹配到的 X；回调则保留整段文本。另一个目录含有未知字母转义，模板路线会报错，回调路线照常返回。这说明故障既可能表现为异常，也可能悄悄改变结果。
不要把模式转义用于替换内容
re.escape 的目标是让普通文本在搜索模式里失去正则特殊意义。它处理加号、括号等字符，这些规则与替换模板不同。示例把加号文本交给它再用于替换，输出会多一个反斜杠；在匹配位置使用它，则能正确只匹配包含加号的原文。排查时应先认清问题发生在哪一个参数。
如果必须把任意文本作为字符串模板传入，示例还展示了只把反斜杠加倍的方法。它与回调得到相同的原样结果，但不要再把本来就要生效的分组引用一起转义，否则引用也会变成普通字符。对混合固定模板和外部数据的复杂需求，用函数明确拼接通常更容易检查。
最后两条断言覆盖只替换一次和完全没有匹配的情况。回调会随每次匹配执行，若里面写文件或累计状态，调用次数就会影响结果，最好保持它只计算返回文本。若任务只是替换固定字面量且无需正则规则，普通字符串的 replace 往往已经足够，能减少这一层模板语义。
