python - python中更快的字符串替换

Question

考虑以下字符串替换 python 代码：

import re

s = 'head abc.sys!0x1234 middle defg.sys!0x1a2b tail' # this could be potentially very long

d = {'0x1234' : 'Iamshorter',
     '0x1a2b' : 'Iammuchlonger' }

pat = re.compile(r'(\w+.\w+)!(0x[\d\w]+)')

while True:
    m = pat.search(s)
    if not m:
        break
    module, addr = m.groups()
    start, end = m.span()
    s = s[:start] + '%s!%s' % (module, d[addr]) + s[end:]

print s

它会输出

head abc.sys!Iamshorter middle defg.sys!Iammuchlonger tail

我正在寻找更快的 python 习语，以便可以释放 python 正则表达式的力量。我尝试使用 re.sub()，但我很难将“repl”作为匹配字符串的函数。任何建议都非常感谢。谢谢。

Answer 1

我唯一的建议是使用搜索功能的可选“pos”参数，这样您就不会检查您已经检查过的字符串部分。