如何实现上下文感知代码评估器？Raku仿REPL变量未识别问题

核心问题本质 #

你当前的评估器每次执行代码片段时，都会创建全新的编译单元或动态作用域，导致前一次声明的变量无法被后续代码片段访问。Rakudo的REPL能记住变量，核心原因是它在同一个持续的上下文环境中执行所有代码片段。

具体实现方案 #

1. 复用持久化的NQP编译器实例与上下文 #

不要每次评估代码都重新初始化NQP::Compiler，而是在评估器类E的构造阶段创建一次实例，后续所有代码片段都复用这个实例及其上下文状态：

class E {
    has $!compiler;
    has $!context;

    submethod BUILD() {
        # 初始化持久化的NQP编译器与上下文
        $!compiler := NQP::Compiler.new();
        $!context := $!compiler.new_context();
    }

    method evaluate(Str $code) {
        # 在同一个上下文中编译执行代码
        my $compiled := $!compiler.compile($code, :context($!context));
        return $compiled.eval();
    }
}

2. 维护词法作用域链以支持my变量 #

my声明的是词法变量，默认仅在当前代码片段的词法作用域内有效。要让后续片段访问，需手动维护词法环境（lexpad）的继承关系：

class E {
    has $!compiler;
    has $!context;
    has $!lexpad;

    submethod BUILD() {
        $!compiler := NQP::Compiler.new();
        $!context := $!compiler.new_context();
        $!lexpad := nqp::lexpadnew();
    }

    method evaluate(Str $code) {
        # 传入之前的词法环境作为父作用域
        my $compiled := $!compiler.compile($code, :context($!context), :lexpad($!lexpad));
        my $result := $compiled.eval();
        # 更新词法环境为当前执行后的状态
        $!lexpad := nqp::lexpadcurrent();
        return $result;
    }
}

3. 参考Rakudo REPL的核心逻辑 #

Rakudo的Rakudo::REPL类实现上下文感知的关键做法：

• 所有代码片段都编译到同一个持续的编译单元中，避免作用域隔离
• 自动将词法变量注册到共享的REPL上下文，通过nqp::lexpad机制让后续代码可以引用
• 用唯一的包装代码（如块结构）包裹每次输入，同时保持词法环境的连续性

4. 关键注意事项 #

• 区分词法变量（my）与动态变量（our/state）：动态变量本身支持跨作用域访问，但my变量必须依赖词法环境链维护
• 避免内存泄漏：长期运行的评估器需提供上下文重置方法，或定期清理不再使用的变量
• 错误隔离：某段代码执行失败时，需确保上下文状态不被破坏，不影响后续代码执行

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