如何检测引入的TCL脚本中的变量重复定义问题

要抓重复赋值的变量，你可以改进原来的trace逻辑，维护一个已定义变量的记录集合，每次执行set时自动检查变量是否已经存在，下面是具体实现：

完整代码 #

# 用dict存已定义的全局变量，键是变量名，值是{定义文件 行号}
set defined_vars [dict create]

proc check_duplicate_set {args} {
    global defined_vars
    # 取出set命令操作的变量名
    set var_name [lindex $args 0]
    # 只处理全局变量（如果要管局部变量，得结合info frame解析作用域）
    if {[info exists ::$var_name]} {
        # 拿到当前set操作的调用位置
        set frame_idx [expr {[info frame] - 2}]
        set frame_info [info frame $frame_idx]
        set curr_file [dict get $frame_info file]
        set curr_line [dict get $frame_info line]
        
        if {![dict exists $defined_vars $var_name]} {
            # 第一次定义，记录位置
            dict set defined_vars $var_name [list $curr_file $curr_line]
        } else {
            # 重复了，输出告警
            lassign [dict get $defined_vars $var_name] orig_file orig_line
            puts "⚠️ 警告：变量 '$var_name' 重复赋值！"
            puts "初始定义: $orig_file 第 $orig_line 行"
            puts "重复位置: $curr_file 第 $curr_line 行"
            puts "----------------------------------------"
        }
    } else {
        # 新变量，记录首次定义位置
        set frame_idx [expr {[info frame] - 2}]
        set frame_info [info frame $frame_idx]
        dict set defined_vars $var_name [list [dict get $frame_info file] [dict get $frame_info line]]
    }
}

# 给set命令加离开时的跟踪，每次set完就检查
trace add execution set leave check_duplicate_set

# 加载外部脚本
source "FILE1_FROM_OTHERS.tcl"
source "FILE2_FROM_OTHERS.tcl"

# 脚本加载完可以移除跟踪，避免影响后续逻辑
trace remove execution set leave check_duplicate_set

关键细节 #

• 全局变量优先：当前代码默认检测全局变量，如果你需要处理局部变量，可以通过info frame的level字段区分不同作用域，给变量名加上作用域前缀（比如::namespace::var）存入dict。
• 性能适配：用dict存变量信息，3000+变量的场景下查询和写入都很快，不会拖慢脚本执行。
• 精准定位：通过info frame拿到文件和行号，直接告诉你重复赋值的具体位置，不用自己瞎找。
• 白名单扩展：如果有些变量就是允许重复赋值，加个白名单判断就行，比如：

# 允许重复的变量列表
set allowed_dups {config_temp debug_flag}
if {[lsearch -exact $allowed_dups $var_name] != -1} {
    return
}

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