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

Question

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

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

my $s = ();

是有效代码并返回undef 到$s。这似乎没有在perldoc 中的任何地方记录（我没有检查过骆驼），但是很多代码都依赖它，所以我认为它会继续存在。

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

如果你喜欢这个问题，你可能也会喜欢discussion going on in 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

...与括号无关

>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

Answer 2

它更像是一个无值表达式，相当于undef。更多示例：

$ perl -we 'print scalar( () )'
Use of uninitialized value in print at -e line 1.

$ perl -we 'print 0+()'
Use of uninitialized value in addition (+) at -e line 1.