如何向TCL过程传递多个字典名称？代码结果不符问题排查

初始代码设置 #

set mylist "dict_a dict_b"
dict set dict_a a 1
dict set dict_a b 2
dict set dict_b c 3
dict set dict_b d 4

编写的过程代码 #

proc test_dict {mylist} {
    foreach element $mylist {
        upvar 1 [subst $element] $element
    }
    foreach dict_ $mylist {
        puts " test of existence : [dict exists $dict_ a]"
    }
}

调用代码 #

test_dict $mylist

实际返回结果 #

test of existence : 0
test of existence : 0

预期结果应为1（对应dict_a存在键a）和0（对应dict_b不存在键a），问题出在以下两点：

核心问题：变量名与变量值混淆 #

第二个循环中，dict_是存储字典名称的字符串（如"dict_a"），$dict_取的是这个字符串本身，而非通过upvar关联的字典变量的实际内容。dict exists命令会把该字符串当作空字典处理，自然找不到键a，因此返回0。

次要问题：冗余的subst调用 #

upvar 1 [subst $element] $element中的subst完全多余，element本身就是变量名字符串，直接使用upvar 1 $element $element即可，不影响功能但属于无效代码。

修正方案 #

有两种简洁的修正方式：

方式一：直接在upvar关联后处理检查逻辑

避免二次循环带来的变量名混淆，在第一个循环中直接完成字典键的检查：

proc test_dict {mylist} {
    foreach varname $mylist {
        upvar 1 $varname dict_ref
        puts " test of existence : [dict exists $dict_ref a]"
    }
}

方式二：通过set命令间接获取变量值

如果要保留原有双循环结构，使用set $dict_获取变量名对应的字典内容：

proc test_dict {mylist} {
    foreach element $mylist {
        upvar 1 $element $element
    }
    foreach dict_ $mylist {
        puts " test of existence : [dict exists [set $dict_] a]"
    }
}

调用修正后的代码，即可得到预期的1和0。

内容的提问来源于stack exchange，提问作者heyhey