如何为非函数表达式实现命名非局部返回（NLR）？

针对你遇到的问题，核心是把闭包那套Identity/Generation机制扩展到任意可作为返回目标的作用域，同时避免全量实例化的开销、解决作用域匹配错误：

1. 编译期：给所有NLR目标作用域分配Identity #

• 不光闭包，带标签的代码块、循环（for/while）、甚至显式标记的if分支块，只要能被NLR返回指向，编译期都分配唯一的Identity ID（用全局递增整数或者类型化枚举均可）。
• 普通无标签的代码块默认不分配，除非用户显式标记为NLR目标，减少不必要的开销。
• 同时编译时构建作用域嵌套树，记录每个Identity对应的父作用域ID，后续运行时用来校验返回的合法性。

2. 运行时：用轻量上下文栈替代全量实例 #

• 不为每个表达式生成实例，只有进入标记为NLR目标的作用域时，在独立的NLR上下文栈（或复用调用栈的附加字段）中压入一个轻量结构：包含该作用域的Identity，以及当前的Generation ID（可复用闭包的Generation计数器，或用线程局部递增的数值）。
• 普通表达式无需额外处理，栈操作开销仅集中在需要NLR的场景，不会影响变量机制。

3. 运行时匹配与校验逻辑 #

• 遇到带标签的返回时：
  • 先通过编译期的作用域树，确定目标标签对应的Identity。
  • 从NLR上下文栈从顶往下查找匹配Identity的条目，同时校验Generation：若目标作用域的Generation与栈中条目不一致，说明上下文已过期（比如闭包被销毁、循环已执行完毕），直接抛出错误。
  • 找到有效条目后，抛出携带该上下文标识的模拟异常，解释器捕获后直接跳转到对应作用域的退出点。
• 额外校验：若查找时发现目标Identity的父作用域已不在栈中，说明目标作用域早已执行完毕，直接判定为非法返回。

4. 与现有闭包NLR机制的融合 #

• 闭包调用时，将闭包的Identity和当前Generation直接压入NLR上下文栈，退出时弹出，与普通作用域的逻辑完全统一。
• 闭包实例中原有的NLR映射可直接移除，因为上下文栈已包含所有必要信息，无需额外存储映射关系。

5. 优化：减少不必要的栈操作 #

• 编译时做静态分析：若某个NLR目标作用域从未被任何返回表达式引用，直接跳过分配Identity和运行时压栈的步骤。
• 嵌套作用域若内部无被引用的NLR目标，可合并上下文，减少栈操作次数。

6. 避免作用域匹配错误 #

• 编译期：通过作用域嵌套树检查返回表达式的目标标签是否在当前作用域的可见范围内，提前抛出编译错误（比如引用外部不可见的标签）。
• 运行期：依靠Generation ID确保目标作用域处于活跃状态，杜绝返回已销毁的闭包或已执行完的代码块。

内容的提问来源于stack exchange，提问作者stella.remnant