c语言字符串替换函数