boolean（标量）上下文中的 Perl 列表 while 循环

Question

我盯着 perl LWP::Protocol.pm 中的这段代码，我不明白循环将如何退出：

 while ($content = &$collector, length $$content) {
     $content_size += length($$content);
     # more here
 }

在我的解释中，我认为这是标量上下文中的 2 个元素的列表，因此 while 循环正在测试的结果是列表的长度，它始终为 2 且永远不会为假。 这真的如何运作？

Answer 1

我认为这是标量上下文中 2 个元素的列表

正确的。

从技术上讲，当它在标量上下文中使用时，文档将其称为逗号运算符， ^[1]但该运算符在内部仍称为list 。

该语句唯一真正的问题是单词元素的选择。 运算符有操作数，而不是元素。 元素用于引用数据结构的成员，此处不适用。

所以 while 循环正在测试的结果是列表的长度，

不，标量上下文中的列表/逗号运算符不会返回任何内容的长度。 它评估它的每个操作数，但最后一个在 void 上下文中。 ^[2]然后，它评估标量上下文中的最后一个并返回结果标量。

换句话说，

scalar( EXPR, EXPR )

类似于

scalar( do{ EXPR; EXPR } )

您的错误是您认为生成了某种列表数据结构。 没有这样的事情。 当我们说“传递一个列表”或“返回一个列表”时，我们只是指“向堆栈添加一些标量”。 没有“列表”被创建。

在标量环境中这样做甚至是不可能的。 标量上下文中的运算符必须只产生一个标量。 该标量取决于每个操作员。

当 1）人们不认为它是二元运算符，生成的运算符不是二元运算符，并且 3）如果它是二元运算符时，它也完全没有区别运营商与否。 诡异的。
如果列表是 sub 的最后一个操作数或return的操作数 a，并且如果 sub 在标量上下文中求值，则它们将在标量上下文中求值。 这基本上是一个 WONTFIX 错误。

Answer 2

请查看文档中的运算符优先级。 在那里你会看到=的优先级高于, 。 这意味着它首先执行$content = &$collector ，因为=的优先级高于, 。 然后它length $$content然后被用作while内部的条件。