Perl中使用$符号声明数组哈希及箭头运算符相关疑问

首先明确核心规则：示例里用$声明的变量，存储的从来不是数组或哈希本身，而是数组引用、哈希引用——这是Perl引用体系的基础设计，也是箭头运算符的标准使用前提。

• 先理清变量类型、构造符号的对应关系：
  • @开头的是原生数组变量，直接存储数组元素列表，赋值时使用圆括号()包裹列表内容，比如my @arr = (4,5,6);。访问原生数组元素时直接写$arr[下标]即可，不需要箭头操作符。
  • %开头的是原生哈希变量，直接存储键值对集合，赋值时同样用圆括号()包裹键值对列表，比如my %has = ('a'=>1, 'b'=>2);。访问原生哈希的值时直接写$has{'键名'}即可，不需要箭头操作符。
  • $开头的是标量变量，仅能存储单个值——这个值可以是数字、字符串，也可以是指向其他数据结构的引用。示例中用来包裹元素的方括号[]不是“数组的专属符号”，是匿名数组引用构造器，执行后会生成一个没有变量名的匿名数组，返回指向这个数组的标量引用值；同理花括号{}是匿名哈希引用构造器，返回指向匿名哈希的标量引用值。这两类构造器的返回值本身就是标量类型，自然要用$符号声明的标量变量承接。
• 替换为@/%报错的原因：
  如果强行写my @arr1 = [4,5,6];，本质是把「一个数组引用值」作为单个元素存入了@arr1数组，此时@arr1是原生数组类型，不是引用值，不符合箭头运算符的语法要求——箭头运算符的左侧必须是标量形式的引用，对原生数组/哈希变量直接使用箭头会触发类型不匹配错误。
• 箭头运算符的核心作用就是对引用做解引用访问：
  当标量变量存储数组引用时，$ref->[下标]等价于解引用后取对应下标的元素；存储哈希引用时，$ref->{'键名'}等价于解引用后取对应键的值。嵌套引用结构中，相邻两层的箭头可以省略，比如示例里的$arr2->[2][0]就是$arr2->[2]->[0]的简写，$has2->{'d'}{'x'}是$has2->{'d'}->{'x'}的简写。

两种写法的对比例如下：

# 原生数组、哈希写法：@/%声明，()赋值，无箭头访问
my @native_arr = (4,5,6);
print $native_arr[0]; # 输出4

my %native_has = (a => 1, b => 2);
print $native_has{a}; # 输出1

# 引用写法：$声明，[]/{}构造匿名结构返回引用，箭头访问
my $arr_ref = [4,5,6];
print $arr_ref->[0]; # 输出4

my $has_ref = {a => 1, b => 2};
print $has_ref->{a}; # 输出1

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