在Perl中分配和测试定义时,了解优先级

Question

在尝试分配变量并在Perl中的一个操作中测试它的定义时,就像在if条件中有用一样,我似乎很自然地写:

if ( defined my $thing = $object->get_thing ) {
    $thing->do_something;
}

就我的理解而言,右向列表运算符defined的优先级低于赋值的优先级,因此我希望上面的代码等效于:

if ( defined ( my $thing = $object->get_thing ) ) {
    $thing->do_something;
}

虽然后者,带括号的代码确实有效,但前者会产生以下致命错误:"无法在标量赋值中修改已定义的运算符".

添加括号并不是什么大不了的事,但我很想理解为什么第一个版本不起作用,例如什么样的"东西" defined是什么,它的优先级是什么？

Answer 1

命名运算符分为一元运算符(总是只运算一个操作数的运算符)和列表运算符(其他所有)^[1].

defined和my^[2]是一元运算符,其优先级高于其他命名运算符.

sub也是如此,所以我将用它们来演示.

$ perl -MO=Deparse,-p -e'sub f :lvalue {}  sub g :lvalue {}  f g $x = 123;'
sub f : lvalue { }
sub g : lvalue { }
f(g(($x = 123)));
-e syntax OK

$ perl -MO=Deparse,-p -e'sub f($) :lvalue {}  sub g($) :lvalue {}  f g $x = 123;'
sub f ($) : lvalue { }
sub g ($) : lvalue { }
(f(g($x)) = 123);
-e syntax OK

但是,当然,defined它不是左值函数,因此在赋值的LHS上找到它会导致错误.

1. and,or,not,xor,lt,le,gt,ge,eq,ne并且cmp不被认为是运营商命名.

2. my很不寻常.除了具有编译时和运行时效果之外,其语法还取决于是否在其参数周围使用了parens.没有parens,它是一个一元的运营商.有了parens,它是一个列表操作符.