java中将一个字符串中的某个子串替换为新串的函数是什么?