我想了解如何在这样的字符串中进行替换。String user ="123124.Ken:000";
子串 .Ken:000
例如.Diana:999
. 我认为,在使用 indexOf()
的 '.'
字,但我不知道如何从该字中替换出 indexOf()
到头来 user
字符串。
id = user.split(".")[0] # this will have the value of 123124
new user = id + ".Diana:999"
U可以写一个简单的函数,像这样。
def changeUser (oldUser, user):
return oldUser.split('.')[0] + user
你可以使用分割函数