python中快速进行多个字符替换的方法小结