Tcl协程中upvar为何指向全局上下文？能否使用upvar/uplevel？

问题代码 #

proc cofunc {callback vals} {
  set var [yield]
  $callback $vals $var
}
proc func {callback vals} {
  set nbr 22
  coroutine coro cofunc $callback $vals
}
proc add {vals varName} {
  upvar 2 $varName n
  chan puts stdout "varName: $varName; n: $n"
  # => varName: nbr; n: 85
  chan puts stdout [expr {[lindex $vals 0]+[lindex $vals 1]+$n}]; 
  # => 115
}
proc finalize {nbr} {
  coro nbr
}

set nbr 85
func add {10 20}
after 500 finalize 15
after 1000 set forever 1
vwait forever

为什么upvar拿到的是全局变量而非finalize中的值？ #

Tcl协程拥有独立的执行栈，和触发它恢复的调用者（比如finalize）不在同一个调用上下文链中：

• 协程coro在func中创建时，初始执行栈是：全局作用域 → func → cofunc，执行到yield后挂起。
• 当finalize调用coro nbr时，协程是恢复自身的执行栈，此时的调用链是：全局作用域 → 恢复后的cofunc → add。
• add中的upvar 2表示向上跳2级作用域：第1级是cofunc，第2级就是全局作用域，所以拿到的是全局变量nbr的85，而非finalize中的局部变量——finalize的调用栈和协程的执行栈完全分离，它只是触发协程恢复，并没有进入协程的调用层级。

大型数据场景下，能否用upvar/uplevel？ #

可以，但不能依赖触发者的调用层级，需要通过变量的完整标识来绑定，具体方案：

• 传递变量的完整命名空间路径：在触发协程时，传递局部变量的全路径（而非变量名），协程中通过upvar #0绑定到全局作用域下的该路径变量。
• 使用共享命名空间：将大型数据存入一个专门的共享命名空间，协程直接引用该命名空间的变量，避免传递大对象。
• 闭包封装作用域：用apply创建带闭包的回调，把需要的作用域和数据封装进去，协程调用回调时直接访问闭包内的变量。

修改后的示例代码（传递变量全路径） #

proc cofunc {callback vals} {
  set varFullName [yield]
  $callback $vals $varFullName
}
proc func {callback vals} {
  set nbr 22
  coroutine coro cofunc $callback $vals
}
proc add {vals varFullName} {
  upvar #0 $varFullName n
  chan puts stdout "varFullName: $varFullName; n: $n"
  # => varFullName: ::nbr（全局）或对应命名空间路径；n:15
  chan puts stdout [expr {[lindex $vals 0]+[lindex $vals 1]+$n}]; 
  # => 45
}
proc finalize {nbr} {
  # 获取当前局部变量nbr的完整命名空间路径
  set varFullName [uplevel [list namespace which -variable nbr]]
  coro $varFullName
}

set nbr 85
func add {10 20}
after 500 finalize 15
after 1000 set forever 1
vwait forever

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