Perl技术疑问：为何\@_会为传入的数组提供别名？

为什么getArrayRef(@arr[1..2])会影响原数组？ #

Perl里的@_是子例程的参数别名数组——调用子例程时，传入的参数不会被复制，@_里的每个元素都是原参数变量的别名。直白点说，@_里的元素和你传入的变量共享同一块内存。

就像你写的例子：调用getArrayRef(@arr[1..2])时，@_的第0个元素是$arr[1]的别名，第1个是$arr[2]的别名。返回\@_后，这个引用指向的数组里全是原数组元素的别名，所以修改$sub_arr->[0]本质就是修改$arr[1]。

直接\@arr[1..2]为啥不一样？ #

\@arr[1..2]在Perl里是切片的引用列表，它返回的是(\$arr[1], \$arr[2])——也就是两个独立的标量引用，不是一个包含原元素别名的数组引用。如果把它赋值给$sub_arr，只会拿到列表的第一个元素（\$arr[1]），这和@_的情况完全不同。

要是你想得到切片的普通数组引用（修改不影响原数组），得写成\(@arr[1..2])——这时候Perl会先创建临时数组，把@arr[1..2]的元素复制进去，再返回临时数组的引用。改这个引用里的元素只会改副本，碰不到原数组。

@_到底特殊在哪？ #

@_的核心特殊性就是参数传递的别名机制，这是Perl为了性能优化设计的——避免每次调用子例程都复制大量参数。只有@_里的元素是原参数的别名，普通数组（包括临时数组）的元素都是值的副本，所以对普通数组取引用不会有“改引用影响原变量”的魔法效果。

内容的提问来源于stack exchange，提问作者Warpstar22