如何用Tcl中的另一个数字替换字符串的数字部分？

Question

我有一个类似于1005-abcd格式的字符串，我想用另一个数字替换此字符串的数字部分，并使其像1008-abcd一样。 我可以通过使用以下内容来实现这一点 -

string map {1005 1008} "1005-abcd"

但我有变量形式的这些数字。例如，$source为1005，$new为1008。当我使用相同的命令 -

string map {$source $new} "1005-abcd"

Answer 1

大括号可以防止变量的替换。使用其他方式提供列表并启用替换。一种选择：

string map "$source $new" "1005-abcd"

另一个（更好）选项：

string map [list $source $new] "1005-abcd"