将一串字符串中的某个字符用另一个字符代替的函数是什么?