我有一个类似于1005-abcd
格式的字符串,我想用另一个数字替换此字符串的数字部分,并使其像1008-abcd
一样。
我可以通过使用以下内容来实现这一点 -
string map {1005 1008} "1005-abcd"
但我有变量形式的这些数字。例如,$source
为1005
,$new
为1008
。当我使用相同的命令 -
string map {$source $new} "1005-abcd"
答案 0 :(得分:2)
大括号可以防止变量的替换。使用其他方式提供列表并启用替换。一种选择:
string map "$source $new" "1005-abcd"
另一个(更好)选项:
string map [list $source $new] "1005-abcd"