先回顾Perl文档里的两个关键说明：

shift
将数组的第一个值移出并返回它……

数组@是一个局部数组，但它的元素是实际标量参数的别名。特别是，如果更新元素$[0]，对应的实参也会被更新。

你疑惑的点在于：既然@_的元素是实参的别名，那从@_里shift出来的值应该也是别名才对，但代码里shift赋值后的变量却是副本。下面就来拆解这两个问题：

一、为什么shift出来的不是别名？ #

这里的核心是**“@_的元素是别名”和“shift返回的是元素的值”是两回事**：

• $_[0]本身是实参的别名——它就像一个指向实参的“指针”，修改$_[0]会直接改动实参，因为你操作的是指针指向的内存；
• 但shift的作用是取出这个指针指向的“值”，然后把指针从@_里移除。当你把这个值赋给新变量$x时，Perl会为$x分配新的内存空间，把值复制进去——这时候$x和原来的实参已经没有关联了，自然是两个不同的标量（看内存地址就能区分）。

如果想拿到别名而不是副本，你需要取$_[0]的引用，比如：

sub test {
    print \$_[0]; # 输出实参的地址
    my $x_ref = \$_[0];
    shift;
    print $x_ref; # 依然是实参的地址，修改$$x_ref会影响实参
}

二、shift相比my $x = $_[0]的优势 #

虽然两者赋值时都会产生值的副本，但shift有几个不可替代的好处：

1. 自动精简@_，简化后续参数处理
   shift会直接把第一个元素从@_中移除，后续处理剩余参数时，@_里只保留未处理的部分。比如：

   sub process_args {
       my $required_arg = shift;
       # 此时@_里全是可选参数，直接遍历即可
       foreach my $opt (@_) {
           handle_option($opt);
       }
   }
   

   如果用my $required_arg = $_[0]，你还得手动跳过第一个元素（比如splice @_, 0, 1或者从索引1开始遍历），代码会更繁琐。

2. 代码更简洁直观
   当需要逐个获取多个参数时，shift的写法流畅很多：

   sub create_user {
       my $username = shift;
       my $password = shift;
       my $email = shift;
       # ...逻辑处理
   }
   

   相比my $username = $_[0]; my $password = $_[1]; ...，不用记参数的索引位置，可读性更高。

3. 面向对象编程的标准写法
   在Perl OOP中，my $self = shift是约定俗成的写法，所有Perl开发者看到这行代码，立刻就明白这是在获取当前对象实例。这种语义上的清晰性是直接取$_[0]无法替代的。

另外你提到的“速度优化避免按值复制”，其实是针对@本身的设计——Perl不会把实参复制一份放进@，而是用别名代替，这才是优化的核心。而赋值时的复制是Perl变量的默认行为，和shift无关。

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