我遇到一种情况,我不能以直观的方式禁止警告,因为perl内置了一个内置函数的调用.例如
use strict; use warnings; { no warnings 'substr'; # no effect foo(substr('123',4,6)); # out of range but shouldn't emit a warning } sub foo { my $s = shift; # warning reported here # do something }
运行此代码导致
substr outside of string at c:\temp\foo.pl line 10.
为了禁止警告,我必须在函数内移动no warnings’substr’.
sub foo { no warnings 'substr'; # works here,but there's no call to substr my $s = shift; # no warnings here # do something }
我可以看到,通过传递代码通过perl -MO = Terse来调用substr是内联的
LISTOP (0x27dcaa8) leave [1] OP (0x27a402c) enter COP (0x27dcac8) nextstate BINOP (0x27dcb00) leaveloop LOOP (0x27dcb20) enterloop LISTOP (0x27dcb68) lineseq COP (0x27dcb88) nextstate UNOP (0x27dcbc0) entersub [5] # entry point for foo UNOP (0x27dcbf4) null [148] OP (0x27dcbdc) pushmark LISTOP (0x27dcc48) substr [4] # substr gets called here OP (0x27dcc30) null [3] SVOP (0x27dcc84) const [6] PV (0x2319944) "123" SVOP (0x27dcc68) const [7] IV (0x2319904) 4 SVOP (0x27dcc14) const [8] IV (0x231944c) 6 UNOP (0x27dcca0) null [17] PADOP (0x27dccf4) gv GV (0x2318e5c) *foo
这个优化器行为是否记录在任何地方? perlsub只提到不断的功能内联.鉴于警告正在以错误的方式报告,并且在呼叫的词汇范围内没有警告不起作用,因此我倾向于将其作为错误报告,尽管我不能想到如何合理地固定,同时保持优化.
注意:在Perl 5.16.1中观察到这种情况.
解决方法
正如你从B :: Terse看到的,substr不是内联的.
$perl -MO=Concise,-exec -e'f(substr($_,3,4))' 1 <0> enter 2 <;> nextstate(main 1 -e:1) v:{ 3 <0> pushmark s 4 <#> gvsv[*_] s 5 <$> const[IV 3] s 6 <$> const[IV 4] s 7 <@> substr[t4] sKM/3 <-- The substr operator is evaluated first. 8 <#> gv[*f] s/EARLYCV 9 <1> entersub[t5] vKS/TARG <-- The sub call second. a <@> leave[1 ref] vKP/REFC -e Syntax OK
当substr被称为左值上下文时,substr返回一个包含传递给substr的操作数的神奇标量.
$perl -MDevel::Peek -e'$_ = "abcdef"; Dump(${\ substr($_,4) })' SV = PVLV(0x2865d60) at 0x283fbd8 REFCNT = 2 FLAGS = (GMG,SMG) <--- Gets and sets are magical. IV = 0 GMG: A function that mods the scalar NV = 0 is called before fetches. PV = 0 SMG: A function is called after the MAGIC = 0x2856810 scalar is modified. MG_VIRTUAL = &PL_vtbl_substr MG_TYPE = PERL_MAGIC_substr(x) TYPE = x TARGOFF = 3 <--- substr's second arg TARGLEN = 4 <--- substr's third arg TARG = 0x287bfd0 <--- substr's first arg FLAGS = 0 SV = PV(0x28407f0) at 0x287bfd0 <--- A dump of substr's first arg REFCNT = 2 FLAGS = (POK,IsCOW,pPOK) PV = 0x2865d20 "abcdef"\0 CUR = 6 LEN = 10 COW_REFCNT = 1
子例程参数在lvalue上下文中进行求值,因为Perl [1]中的子程序参数始终通过引用传递.
$perl -E'sub f { $_[0] = "def"; } $x = "abc"; f($x); say $x;' def
当访问魔法标量时,发生子串操作.
$perl -E'$x = "abc"; $r = \substr($x,1); $x = "def"; say $$r;' d
这样做可以让substr(…)=“abc”;
>这可能是使用类似于以下的语言记录的:“@_的元素被别名到子例程参数.