繁体   English   中英

为什么“keys ::”不是语法错误?

[英]Why is “keys ::” not a syntax error?

我出于好奇而尝试了下面的单行程,并且很惊讶它实际上没有 % sigil。

$ perl -E 'say for keys ::'

它适用于5.8.8和5.16.3版本; 虽然后一版本发出此警告:

Hash%::在-e第1行中缺少keys()参数中的%。


这怎么工作? 有什么特别的关于%::允许它运行和打印它的键,即使没有sigil?

请注意,键不会使用%main::打印。

$ perl -E 'say for keys main::'
Hash main:: missing the % in argument 1 of keys() at -e line 1.

TL; DR

::不是特别的; 在Perl 5.22.0之前,您可以省略%并将任何标识符传递给keys

然而:

  • keys main::相当于keys %{'main'}或只是keys %main
  • keys ::相当于keys %{'::'}或只是keys %::
    请注意, %main:: :(但不是%main )是%::的别名。

相关代码在toke.c中(以下是5.8.8):

/* Look for a subroutine with this name in current package,
   unless name is "Foo::", in which case Foo is a bearword
   (and a package name). */

if (len > 2 &&
    PL_tokenbuf[len - 2] == ':' && PL_tokenbuf[len - 1] == ':')
{
    if (ckWARN(WARN_BAREWORD) && ! gv_fetchpv(PL_tokenbuf, FALSE, SVt_PVHV))
        Perl_warner(aTHX_ packWARN(WARN_BAREWORD),
            "Bareword \"%s\" refers to nonexistent package",
             PL_tokenbuf);
    len -= 2;
    PL_tokenbuf[len] = '\0';
    gv = Nullgv;
    gvp = 0;
}
else {
    len = 0;
    if (!gv)
        gv = gv_fetchpv(PL_tokenbuf, FALSE, SVt_PVCV);
}

/* if we saw a global override before, get the right name */

if (gvp) {
    sv = newSVpvn("CORE::GLOBAL::",14);
    sv_catpv(sv,PL_tokenbuf);
}
else {
    /* If len is 0, newSVpv does strlen(), which is correct.
       If len is non-zero, then it will be the true length,
       and so the scalar will be created correctly.  */
    sv = newSVpv(PL_tokenbuf,len);
}

len是当前令牌的长度。

  • 如果令牌是main:: ,则创建一个新的标量,其PV(字符串组件)设置为main

  • 如果令牌是:: ,则使用gv_fetchpv获取gv_fetchpv

gv_fetchpv存在于gv.c中,并具有处理::特殊逻辑:

if (*namend == ':')
    namend++;
namend++;
name = namend;
if (!*name)
    return gv ? gv : (GV*)*hv_fetch(PL_defstash, "main::", 6, TRUE);

这将获取存储在密钥main:: :(即typeglob *main:: :)下的默认存储区中的 typeglob。

最后, keys期望它的参数是一个哈希值,但如果你传递一个标识符,它会将它视为哈希的名称。 请参阅Perl_ck_fun中的Perl_ck_fun:

case OA_HVREF:
    if (kid->op_type == OP_CONST &&
        (kid->op_private & OPpCONST_BARE))
    {
        char *name = SvPVx(((SVOP*)kid)->op_sv, n_a);
        OP * const newop = newHVREF(newGVOP(OP_GV, 0,
            gv_fetchpv(name, TRUE, SVt_PVHV) ));
        if (ckWARN2(WARN_DEPRECATED, WARN_SYNTAX))
            Perl_warner(aTHX_ packWARN2(WARN_DEPRECATED, WARN_SYNTAX),
                "Hash %%%s missing the %% in argument %"IVdf" of %s()",
                name, (IV)numargs, PL_op_desc[type]);
        op_free(kid);
        kid = newop;
        kid->op_sibling = sibl;
        *tokid = kid;
    }
    else if (kid->op_type != OP_RV2HV && kid->op_type != OP_PADHV)
        bad_type(numargs, "hash", PL_op_desc[type], kid);
    mod(kid, type);
    break;

这适用于除了::之外的其他东西:

$ perl -e'%h = (foo => "bar"); print for keys h'
foo

截至5.22.0 ,您不再被允许省略% sigil。)

你也可以用B :: Concise看到这个:

$ perl -MO=Concise -e'keys main::'
Hash %main missing the % in argument 1 of keys() at -e line 1.
6  <@> leave[1 ref] vKP/REFC ->(end)
1     <0> enter ->2
2     <;> nextstate(main 1 -e:1) v:{ ->3
5     <1> keys[t2] vK/1 ->6
4        <1> rv2hv[t1] lKRM/1 ->5
3           <$> gv(*main) s ->4
-e syntax OK
$ perl -MO=Concise -e'keys ::'
Hash %:: missing the % in argument 1 of keys() at -e line 1.
6  <@> leave[1 ref] vKP/REFC ->(end)
1     <0> enter ->2
2     <;> nextstate(main 1 -e:1) v:{ ->3
5     <1> keys[t2] vK/1 ->6
4        <1> rv2hv[t1] lKRM/1 ->5
3           <$> gv(*main::) s ->4
-e syntax OK

使用:

perl -MO=Deparse -E 'say for keys ::'

说:

use feature 'current_sub', 'evalbytes', 'fc', 'say', 'state', 'switch', 'unicode_strings', 'unicode_eval';
say $_ foreach (keys %main::);

因此它在没有严格的perl版本中对待:: as%::

暂无
暂无

声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.

 
粤ICP备18138465号  © 2020-2024 STACKOOM.COM