raku - .nqp文件中的 `nqp::if`和 `if`有什么区别？

从World.nqp, line 3602:

nqp::if(
   nqp::istype(nqp::atpos($task,3),$!Block),
   QAST::Op.new( :op<call>,
       QAST::WVal.new(:value(nqp::atpos($task,3))),
       $self,
       $getattr
   ),
   nqp::if(
       nqp::iseq_i($code,5),
       QAST::IVal.new(:value(nqp::atpos($task,3))),
       QAST::NVal.new(:value(nqp::atpos($task,3)))
   )
),

而从World.nqp, line 3314:

if $invocant_type =:= $!acc_sig_cache_type {
     $sig := $!acc_sig_cache;
}
# First time, create new signature and mark it cached
else {
    $sig := $!w.create_signature_and_params(
    NQPMu, %sig_empty, $block, 'Any', :method, :$invocant_type);
    $!acc_sig_cache      := $sig;
    $!acc_sig_cache_type := $invocant_type;
}

我以为前面的最后一种形式if(不带nqp::)是不允许的，除非if是内置的？参见NQP Built-in Subs List。

第一种形式nqp::if在NQP Opcode List中进行了描述，
但是我找不到第二种形式的文档
它似乎是Rakudo源代码树中最常见的形式。

为什么NQP中有两种形式的if语句？

最佳答案

NQP中的if语句是语言语法的一部分，而不是任何内置例程。它由NQP编译器的语法解析，并编译成AST节点。就条件而言，它产生的AST节点与nqp::if会产生的AST节点相同(nqp::foo语法只是创建Op AST节点的一种方式)。 cond() ?? foo() !! bar()语法也可以编译成相同类型的节点。完整的Perl 6也是如此。

显着的区别是:

if语句只能出现在语句级别，而nqp::if(...)可以出现在

的任何位置

if语句形式在花括号内引入了新的词法作用域，而nqp::if形式则不这样做。

在链接的示例中，需要表达形式，因此需要使用nqp::if构造。但是，也可以使用??/!!，并且可以说更具可读性。通常，由代码的作者决定他们认为最能传达最佳信息或与周围环境相匹配的内容。