在 Perl 中分配多个数组子例程参数不起作用

Question

我对这个例子中的perl子程序参数感到困惑

当我在子程序参数中使用引用时，它起作用：

@a = ( 1, 2 );
@b = ( 5, 8 );
@c = add_vecpair( @a, @b );
print "@cn";
print $a[0];
sub add_vecpair {    # assumes both vectors the same length
    my ( $x, $y ) = @_;    # copy in the array references
    my @result;
    @$x[0] = 2;
    for ( my $i = 0; $i < @$x; $i++ ) {
        $result[$i] = $x->[$i] + $y->[$i];
    }
    return @result;
}

但是当我不使用引用作为参数时，比如：

@a = ( 1, 2 );
@b = ( 5, 8 );
@c = add_vecpair( @a, @b );
print "@cn";
print $a[0];
sub add_vecpair {    # assumes both vectors the same length
    my ( @x, @y ) = @_;    # copy in the array references
    my @result;
    print @y;
    for ( my $i = 0; $i < @x; $i++ ) {
        $result[$i] = $x[$i] + $y[$i];
    }
    return @result;
}

它不起作用。什么时候需要使用引用作为子程序参数？

Answer 1

短版本：问题是这一行：

my (@x, @y) = @_; 

作业是贪婪的。首先处理@x，并从@_中给出尽可能多的值。由于它可以处理所有这些内容，所以它最终会得到@_的所有内容，而@y不会得到任何内容。

结果与此相同：

my @x = @_;   # Gets all of the arguements
my @y;        # Gets nothing, and is therefore declared but uninitialized.

这就是为什么当子例程使用多个值作为参数，并且其中至少有一个值是数组或散列时，建议使用引用

---

更长版本：@_是传递给子例程的所有自变量的组合，因此原始容器无关紧要。请考虑下面的代码片段。第一个是你的，第二个做完全相同的事情，但更清楚地显示了正在发生的事情。

@a = (1, 2);
@b = (5, 8);
add_vecpair(@a,@b);

与相同

add_vecpair(1, 2, 5, 8);

为了进一步解决这个问题，如果这样处理，散列会变得非常混乱：

%a = ('a' => 1, 
      'b' => 2);
%b = ('c' => 3,
      'd' => 4);
somefunction(%a, %b);

与相同

somefunction('a', 1, 'b', 2, 'c', 3, 'd', 4);

Answer 2

当您使用数组或哈希参数调用Perl子例程时，它们会被展开为一个列表。因此，在第二种情况下，两个数组参数失去了它们的身份，@_变成了一个包含@a和@b元素的单个数组。