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

Question

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

但是，这个逻辑似乎有一个漏洞:空列表(有时称为空列表)。字符 ()是 defined to be the null list by perldoc perlglossary .构造

my $s = ();

是有效代码并返回 undef至 $s .这似乎没有在 perldoc 中的任何地方记录。 (我还没有检查过 Camel)，但是很多代码都依赖于它，所以我认为它会继续存在。

既然序言已经完成，那么问题来了:如果我们不能在标量上下文中拥有一个列表，那么我们在标量上下文中如何称呼空列表以及不将其称为列表的原因是什么(因为没有逗号在标量上下文中)？

如果你喜欢这个问题，你可能也会喜欢 discussion going on in P5P .

Answer 1

列表是一个非常通用的词。您可能指的是列表运算符或列表值。

代码中没有逗号，所以没有列表运算符。

代码中没有列表上下文，所以没有列表值。

因此，没有 list

my $s = ();

括号从不创建列表

(仅在赋值运算符的 LHS 上时是间接的。)

what do we call the empty list in scalar context

Perl 称它为“ stub ”(如下所示)，这就是它的真正含义。它是代码中的一个占位符，不允许放置任何内容。

stub 由“空括号”表示，因此这是它的另一个名称。

我称之为坏代码。如果要分配 undef , 分配 undef .

There is a lie that a list in scalar context yields the last element of the list.

不，这是真的。列表值不能存在于标量上下文中，因此留下列表运算符。

列表运算符又名逗号运算符返回标量上下文中列表的最后一个元素。

比较以下。没有提到列表:

>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

...它与括号无关

>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