空列表可以在标量上下文中吗？

Question

有一个谎言,标量上下文中的列表产生列表的最后一个元素.这是一个谎言,因为(俗话说)你不能在标量上下文中有一个列表.看起来像标量上下文中的列表实际上是标量上下文中的逗号运算符,它在标量上下文中具有不同的行为.

但是,在这个逻辑中似乎存在一个循环漏洞:空列表(有时称为空列表).字符()被定义为空列表perldoc perlglossary.构造

my $s = ();

是有效的代码,并返回undef到$s.这似乎没有在任何地方记录perldoc(我没有检查过Camel),但是很多代码都在它上面,所以我认为它就在这里.

既然序言已经完成,那么问题是:如果我们不能在标量上下文中有一个列表,那么我们在标量上下文中将什么称为空列表,什么是不将其称为列表的理由(因为没有逗号)在标量语境中)？

如果您喜欢这个问题,您可能也喜欢P5P中正在进行的讨论.

Answer 1

列表是一个非常通用的词.您可能会引用列表运算符或列表值.

代码中没有逗号,因此没有列表运算符.

代码中没有列表上下文,因此没有列表值.

因此,没有列表

my $s = ();

括号永远不会创建列表

(仅在赋值运算符的LHS上间接进行.)

我们在标量上下文中称为空列表

Perl将其称为"存根"(如下所示),这就是它的真实含义.它是代码中的占位符,其中几乎没有任何东西是不允许的.

存根由"空括号"表示,因此它是另一个名称.

我称之为糟糕的代码.如果要分配undef,请分配undef.

有一个谎言,标量上下文中的列表产生列表的最后一个元素.

不,那是真的.列表值不能存在于标量上下文中,因此离开列表运算符.

列表运算符(即逗号运算符)在标量上下文中返回列表的最后一个元素.

比较以下内容.没有提到清单:

>perl -MO=Concise -e"my $s = ();"
6  <@> leave[1 ref] vKP/REFC ->(end)
1     <0> enter ->2
2     <;> nextstate(main 1 -e:1) v:{ ->3
5     <2> sassign vKS/2 ->6
3        <0> stub sP ->4
4        <0> padsv[$s:1,2] sRM*/LVINTRO ->5
-e syntax OK

提到了一个清单

>perl -MO=Concise -e"my @a = ();"
7  <@> leave[1 ref] vKP/REFC ->(end)
1     <0> enter ->2
2     <;> nextstate(main 1 -e:1) v:{ ->3
6     <2> aassign[t2] vKS ->7
-        <1> ex-list lK ->4
3           <0> pushmark s ->4
-           <0> stub lP ->-
-        <1> ex-list lK ->6
4           <0> pushmark s ->5
5           <0> padav[@a:1,2] lRM*/LVINTRO ->6
-e syntax OK

......它与parens无关

>perl -MO=Concise -e"my @a = 's';"
8  <@> leave[1 ref] vKP/REFC ->(end)
1     <0> enter ->2
2     <;> nextstate(main 1 -e:1) v:{ ->3
7     <2> aassign[t2] vKS ->8
-        <1> ex-list lK ->5
3           <0> pushmark s ->4
4           <$> const[PV "s"] s ->5
-        <1> ex-list lK ->7
5           <0> pushmark s ->6
6           <0> padav[@a:1,2] lRM*/LVINTRO ->7
-e syntax OK