在编译时访问变量

Question

该will特性给人以编译时访问Variable上，它被称为。还有其他方法可以访问Variable将安装在给定词法范围内的s 吗？（我知道我可以访问Scalar在运行时s，但我正在尝试访问Variables）。

特别是，我希望能够执行以下操作（不起作用）：

multi trait_mod:<is>(Sub \fn, :$foo) {
    for fn.lexical_variables { #`(do stuff) }
}

有什么办法吗？

Answer 1

目前还没有，但是在未来的 Raku 语言版本中应该是可能的。正在努力为 Raku 语言（目前称为“RakuAST”）定义标准 AST，并重写编译器前端以使其工作。一旦完成，它将在许多地方公开。宏是最明显的消费者，但它也有计划：

• 使块或例程的 AST 可从特征中获得，以便特征可以检查甚至修改 AST
• 引入自定义编译器传递，这些模块将被授予访问它们导入范围的整个 AST 的权限

其中第一个似乎可以满足您的用例。继续当前提议的 API，它可能看起来像这样：

multi trait_mod:<is>(Sub $fn, :$foo!) {
    for $fn.ast.ast-lexical-declarations {
        say "Name: " ~ .lexical-name;
        when RakuAST::VarDeclaration::Simple { #`( my $x / state $x / ... ) }
        when RakuAST::VarDeclaration::Term { #`( my \x = ... ) }
        # Others, depending if you care about parameters, placeholder params, implicits, etc.
    }
}