为什么我不能写@F[1..-1]来获取元素1..last？

Question

在 Perl 中，数组索引 -1 表示最后一个元素：

@F=(1,2,3);
print $F[-1]; # result: 3

您也可以使用 $# 表示法，这里是 $#F

@F=(1,2,3);
print $F[$#F]; # result: 3

：当我想指定范围中的最后一个元素时，为什么 -1 和 $#F 不给出相同的结果：

print @F[1..$#F]; # 23
print @F[1..-1];  # <empty>

数组 @F[1. .-1] 确实应该包含从元素 1 到最后一个元素的所有元素，不是吗？

Answer 1

您的问题是 @a[b..c] 语法涉及两个不同的操作。 首先对 b..c 进行求值，返回一个列表，然后用该列表对 @a[] 进行求值。 范围运算符 .. 不知道它用于数组下标，因此就其而言，1 到 -1 之间没有任何内容。 它返回空列表，因此数组返回一个空切片。

Answer 2

在数组切片中 .. 没有什么特别的； 它只是生成请求的范围，然后查找该范围的切片。

所以 @a[-3..-1] => @a[-3,-2,-1] 和 @a[1..3] => @a[1,2,3]，但 @a[1..-1] 变为 @a[()]。

Answer 3

print join ', ', 1..$#F; # 1, 2, 3, 4, 5, 6, ...
print join ', ', 1..-1;  #

其原因是 '..' 运算符在数组下标内部不执行任何特殊操作。

在列表上下文中，它返回从左值到右值计数（递增）的值列表。 如果左侧值大于右侧值，则返回空列表。

---

$#F 是最后一个元素的索引，等于长度减一“@F -1”。 （如果长度至少为 1。）

$F[-1] 只是一种特殊情况，为了更容易从另一端获取元素，而无需必须手动计算位置。

$F[-1] === $F[ @F -1 ] === $F[ $#F ]

@F[ 1 .. (@F -1) ] === @F[ 1 .. $#F ]

@F[ 1 .. (@F -2) ] === @F[ 1 .. ( $#F -1 ) ]

知道这一点，您可以在范围运算符中使用变量：

use strict;
use warnings;
use feature 'say';

sub list{
  my($arr,$first,$last) = @_;

  $first = @$arr + $first if $first < 0;
  $last  = @$arr + $last  if $last  < 0;

  return @$arr[ $first .. $last ];
}

my @F = 1..3;

say join ', ', list(\@F,1,-1)

2, 3

注意：这是一个不完整的示例，对于某些边缘情况它无法正常工作

Answer 4

$#F 是 F 的最后一个有效索引，而不是元素的数量。

@F = (1,2,3); # 所以 $#F 是 2

Answer 5

规则是：

• 如果数组索引非负（或者等效地大于 $[），则从数组开头开始计数（
• 如果为负）则从数组末尾开始计数（
• 如果给定）一个范围，返回一个数组切片

现在，就像如果 a > 则集合 (a,b) 为空。 b，集合1 .. -1也是空的。 因此，

@a[ empty set ]

对应于一个空数组切片。

Answer 6

[] 运算符将接受单个索引或范围。

-1 被接受作为索引，表示最后一个元素的索引。 正确的方法是$#F。

1..-1 的范围是空的，这就是它不返回任何内容的原因，因为范围评估与索引的评估是分开的。