Perl 5空匿名数组引用赋值为何呈现拷贝构造式行为？

测试案例重现 #

先把遇到的情况用代码明确展示：

案例1：空引用赋值后修改原引用

my $array_ref = [];       # 创建空匿名数组引用
my $another_ref = $array_ref;
push @$array_ref, 'foo';  # 向原引用指向的数组添加元素

# 输出结果
print "array_ref: @$array_ref\n";    # array_ref: foo
print "another_ref: @$another_ref\n";# another_ref: 

看起来$another_ref像是深拷贝的结果，但实际并非如此。

案例2：填充后再赋值引用

my $array_ref = [];
push @$array_ref, 'foo';  # 先填充数组
my $another_ref = $array_ref;
push @$array_ref, 'bar';  # 继续添加元素

# 输出结果
print "array_ref: @$array_ref\n";    # array_ref: foo bar
print "another_ref: @$another_ref\n";# another_ref: foo bar

这是正常的浅拷贝行为，两个引用指向同一个数组。

原因：Perl的空数组引用复用优化 #

这是Perl的内存优化特性，不是深拷贝。

Perl会全局复用同一个空数组的引用——当你使用[]创建空匿名数组时，Perl不会每次都分配新的内存空间，而是返回一个预定义的共享空数组引用。

当你尝试修改这个共享的空数组（比如push元素）时，Perl会自动将$array_ref的指向替换为一个新的、专属的私有数组引用（因为共享数组不能被修改）。而$another_ref仍然指向原来的共享空数组，所以看起来像是深拷贝，但本质是原引用被替换了，赋值时还是浅拷贝。

而当数组已经有元素时，它已经是专属的私有数组了，此时赋值引用就是正常的浅拷贝，两个引用始终指向同一个数组，修改自然同步。

验证：查看引用地址 #

用Scalar::Util模块的refaddr函数可以查看引用的内存地址，直观看到变化：

use Scalar::Util qw(refaddr);

my $array_ref = [];
print "初始array_ref地址: ", refaddr($array_ref), "\n";  # 共享空数组地址

my $another_ref = $array_ref;
print "another_ref地址: ", refaddr($another_ref), "\n";  # 和上面地址相同

push @$array_ref, 'foo';
print "push后array_ref地址: ", refaddr($array_ref), "\n";# 新的私有数组地址
print "another_ref地址: ", refaddr($another_ref), "\n";  # 还是原来的共享地址

输出会清晰显示push后$array_ref的地址发生了变化，而$another_ref保持不变。

如何避免这种行为 #

如果需要确保空数组引用是独立的（不会被共享复用），可以不用匿名数组字面量[]，而是显式创建数组再取引用：

my @tmp;
my $array_ref = \@tmp;  # 每次都会创建新的空数组引用
my $another_ref = $array_ref;
push @$array_ref, 'foo';
# 此时$another_ref会同步看到元素变化

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