答复。

问题的历史:

在Perl中，子程序的实现非常灵活：任何子程序调用都可以接受不受限数量的参数，这些参数被放入数组@_中。这种方法适用于不同复杂性的任务，并支持Perl的动态性。

问题:

许多开发者，特别是初学者，在处理@_时常常会感到困惑——参数的不正确解构、输入数据的意外更改（因为标量按值传递，而复杂结构按引用传递）、参数数量和类型的不匹配。在返回不同类型的数据和尝试实现函数原型时会出现问题。

解决方案:

为获取参数，子程序必须显式解构数组@_中的内容。返回值通过return运算符进行，行为取决于上下文（标量或列表）。为了避免副作用，参数通常以副本的方式传递，或者以引用的方式传递以进行修改。对于复杂结构，使用引用传递。

代码示例：

sub add {
    my ($a, $b) = @_;
    return $a + $b;
}

sub change_array {
    my ($arr_ref) = @_;
    push @$arr_ref, 100;
}

my @nums = (1, 2, 3);
my $sum = add(5, 10);
change_array(\@nums);
print join(", ", @nums); # 1, 2, 3, 100

关键特点：

• 参数通过没有类型的方式传递，通过数组@_
• 根据调用上下文返回不同类型
• 以引用的方式传递以修改源数据

拐弯抹角的问题。

如果处理简单的标量，函数是否会更改传递给它的参数？

不会，标量在传递时会被复制，其更改不会影响原始值。但是如果参数是引用，原始数据可能会被更改。

可以像其他语言那样为子程序设置默认参数值吗？

不能直接。在Perl中，需要在函数体内部自行处理默认值，使用定义检查或参数数量检查。

代码示例：

sub foo {
    my ($arg1, $arg2) = @_;
    $arg2 //= 10;
    print "$arg1 $arg2
";
}
foo(5);    # 5 10

直接访问@而不复制会发生什么，例如，$a = $[0]?

这样的赋值会创建别名：改变$a会更改$_[0]，反之亦然。建议通过my ($a) = @_创建副本以避免意外更改。

常见错误和反模式

• 在函数内部直接操纵@_
• 在返回时不注意标量或列表上下文
• 在不通过引用传递的情况下更改输入数据

现实中的例子

负面案例

在处理数组的函数中忘记将参数从@_复制到局部变量中。因此局部变量的更改导致原始数组的更改，造成程序其他部分的错误。

优点:

• 代码紧凑

缺点:

• 难以追踪副作用
• 代码可读性降低

正面案例

团队实施了在每个子程序开头强制解构@_的做法，且大型对象仅通过引用传递。

优点:

• 安全的行为
• 易于维护和扩展

缺点:

• 模板代码略多（多余的复制行）