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)))
)
),
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
产生的相同(nqp::foo
语法只是创建Op
AST节点的一种方法)。 cond() ?? foo() !! bar()
语法也编译成相同类型的节点。对于完整的Perl 6也是如此。
显着的差异是:
if
语句只能出现在语句级别,而nqp::if(...)
可以出现在任何地方if
语句形式在花括号内部引入了一个新的词法范围,而nqp::if
形式不会这样做在链接的例子中,需要表达形式,因此使用nqp::if
构造。然而,??
/ !!
也可以被使用,并且可以说更具可读性。大多数情况下,由代码的作者决定他们认为最佳通信或与周围环境匹配。