Как заменить числовую часть строки на другое число в 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"