为何使用Tcl interp命令时我的变量依然存在？

你遇到的核心问题是**interp alias的工作机制导致上下文未隔离**：

• 当你用interp alias $foo hello {} make时，并不是把make过程复制到子解释器foo中，而是给子解释器创建了一个别名命令hello，这个命令的实际执行逻辑是调用主解释器里的make过程。
• 两次调用hello .f1和hello1 .f2，本质都是在主解释器的上下文中执行make过程，操作的是主解释器的global_var全局变量。第一次调用已经在主解释器中创建了global_var，第二次自然会检测到它存在。

解决方法：让每个子解释器拥有独立的过程与上下文 #

要实现真正的上下文隔离，需要将make过程定义在每个子解释器内部，而不是依赖主解释器的过程。由于你使用了-safe安全解释器，默认禁用了proc命令，需要先向子解释器暴露该命令，再定义过程：

# 先把make过程的定义存为字符串
set make_proc_def {
    proc make {w} {
        global global_var
        
        if {[info exists global_var]} {
            puts "yes but I don't understand..."
        } else {
            puts "global_var is new in this interpreter"
        }
        
        set global_var $w
    }
}

# 创建第一个安全解释器并加载过程
set foo [interp create -safe]
interp expose $foo proc  ;# 向安全解释器开放proc命令
interp eval $foo $make_proc_def  ;# 在子解释器内定义make
interp eval $foo {
    make .f1 
}

# 创建第二个安全解释器并加载过程
set foo1 [interp create -safe]
interp expose $foo1 proc
interp eval $foo1 $make_proc_def
interp eval $foo1 {
    make .f2 
}

这段代码运行后，两个子解释器会各自维护自己的global_var，第二次调用时不会提示变量已存在。

额外说明 #

• 如果不需要安全解释器，可以去掉-safe参数，此时子解释器默认支持proc命令，无需额外执行interp expose。
• interp alias适合需要在主解释器与子解释器间共享状态的场景，但如果要完全隔离上下文，必须将业务逻辑过程放在子解释器内部。

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