Perl5和Perl6对比使用Sigils的差别

概述

让我们从Perl 5和Perl 6中的Sigils概述开始：

符号	Perl5	Perl6
@	Array	Positional
%	Hash	Associative
&	Subroutine	Callable
$	Scalar	Item
*	Typeglob	N/a

@(Array vs. Positional)

在perl 5中定义数组时，可以创建一个可扩展的标量值列表，并给它一个带有sigil的名称。@:

1 2 3 4

# Perl 5 my @foo = (1,2,3); push @foo, 42; say for @foo; # 1␤2␤3␤42␤

在perl 6中定义数组时，将创建一个新的列阵对象和绑定它以词法垫中的那个名字输入条目。因此：

1 2 3 4

# Perl 6 my @foo = 1,2,3; push @foo, 42; .say for @foo; # 1␤2␤3␤42␤

在功能上与Perl 5中相同。然而，第一行是用于：

1 2	# Perl 6 my @foo := Array.new( 1,2,3 );<br>

这将绑定(而不是赋值)一个新的列阵对象指向词汇定义的名称。@foo。这，这个，那，那个@perl 6中的sigil表示一个类型约束：如果您想用该sigil将某个东西绑定到lexpad条目中，则它必执行位置角色。要确定一个类是否使用SmartMatch执行某个角色并不困难：

1 2	# Perl 6 say Array ~~ Positional; # True

您可以认为perl 6中的所有数组都是以与绑定阵列在Perl 5中实现。而这也离事实不远。如果不深入细节，一个简单的例子可能会澄清这一点。这，这个，那，那个at-POS方法是实现位置角色。每当需要访问单个元素时，都会调用此方法。所以，当你写：

say @a[42]

你正在执行：

say @a.AT-POS(42)

当然，这不是唯一可以实现的方法；更多.

而不是必须绑定您的类来执行位置角色，有一种特殊的语法使用是特质。所以不必写：

1 2	# Perl 6 my @a := YourClass.new( 1,2,3 );<br>

你可以写：

1 2	# Perl 6 my @a is YourClass = 1,2,3;

在Perl 5中，绑定数组比“普通”数组慢得多。在Perl 6中，数组在启动时同样缓慢。幸运的是，rakudo perl 6通过内联和“在定时”(Jiting)优化热代码路径。操作码在可能的情况下使用机器代码。(由于优化器的进步，这种情况发生得更快、更频繁、更好)。

%(Hash vs. Associative)

Perl 6中的散列实现类似于数组；您还可以将它们视为绑定散列(使用Perl 5术语)。而不是位置用于实现数组的角色，则结合性角色应用于实现散列。

同样，一个简单的例子可能会有所帮助。关键方法是实现结合性角色。每当需要访问特定键的值时，都会调用此方法。所以，当你写：

say %h<foo>

你正在执行：

say %h.AT-KEY("foo")

当然，有许多其他方法 你可以实现。

&(Subroutine vs. Callable)

在Perl 5中，只有一种可调用的可执行代码，即子程序：

1 2	# Perl 5 sub frobnicate { shift ** 2 }<br>

而且，如果要将子例程作为参数传递，则需要获得对它的引用：

1 2 3 4 5 6

# Perl 5 sub do_stuff_with {  my $lambda = shift;  &$lambda(shift); } say do_stuff_with( \&frobnicate, 42 ); # 1764

在Perl 6中，多种类型的对象可以包含可执行代码。他们的共同点是他们消耗了可赎回角色.

Sgil强制绑定到执行可赎回角色，就像%信号与结合性角色和@信号与位置角色。一个与Perl 5非常接近的例子是：

1 2 3

# Perl 6 my &foo = sub ($a,$b) { $a + $b } say foo(42,666); # 708<br>

注意，即使变量具有&Sigil，你知道不需要使用它来执行该变量中的代码。实际上，如果您在开始与普通的人相比，没有什么区别分声明：

1 2	# Perl 6 BEGIN my &foo = sub ($a,$b) { $a + $b } # same as sub foo()

与Perl 5不同的是，在Perl 6中，开始块可以是没有块的单个语句，因此它与外部共享其词法范围。但我们将在以后的文章中更多地讨论这个问题。

使用&变量是在编译时知道某物可执行文件，即使某物还不知道。

还有其他方法可以设置一段代码以供执行：

1 2 3 4

# Perl 6 my &boo = -> $a, $b { $a + $b } # same, using a Block with a signature my &goo = { $^a + $^b }   # same, using auto-generated signature my &woo = * + *;     # same, using Whatever currying

还可以使用&在签名内签名以表示被调用者希望在那里执行什么东西。这使我们回到本节中的前两个代码示例：

1 2 3 4 5 6 7

# Perl 5 sub frobnicate { shift ** 2 } sub do_stuff_with {  my $lambda = shift;  &$lambda(shift); } say do_stuff_with( \&frobnicate, 42 ); # 1764<br>

1 2 3 4

# Perl 6 sub frobnicate { $^a ** 2 } sub do-stuff-with(&lambda, $param) { lambda($param) } say do-stuff-with( &frobnicate, 42 ); # 1764

注意，在Perl 6中，您不需要接受引用；您可以简单地传递代码对象如&作为参数。

$(Scalar vs. Item)

与@、%和&Sigils相比，$sigil有点平淡。它不强制执行任何类型检查，因此可以将其绑定到任何类型的对象。因此，当你写：

1 2	# Perl 6 my $answer = 42;

像这样的事情发生了：

1 2	# Perl 6 my $answer := Scalar.new(42);

除了在一个很低的水平。因此，如果您想知道，此代码将无法工作。当你声明标量变量时，就是这样。

在Perl 6中，$还指出，其中的任何内容都应被视为单一的项目。因此，即使标量容器中填充了列阵对象时，在需要迭代的情况下，它将被视为单个项：

1 2 3 4 5

# Perl 6 my @foo = 1,2,3; my $bar = Array.new(1,2,3); # alternately: [1,2,3] .say for @foo; # 1␤2␤3␤ .say for $bar; # [1 2 3]

请注意，后一种情况只适用于一迭代VS三在前一种情况下。您可以通过前缀适当的sigil来指示是否要迭代某些内容：

1 2 3

# Perl 6 .say for $@foo; # [1 2 3] , consider the array as an item .say for @$bar; # 1␤2␤3␤ , consider the scalar as a list

但也许这会把我们带到噪音太远的地方。幸运的是，还有更详细的等价物：

1 2 3

# Perl 6 .say for @foo.item; # [1 2 3] , consider the array as an item .say for $bar.list; # 1␤2␤3␤ , consider the scalar as a list

* (Typeglobs)

正如您可能已经注意到的，Perl 6没有*sigil或type globs的概念。如果你不知道是什么类型的球体，你不必担心这个。您可以很好地度过难关，而不必知道Perl 5中复杂的符号表(也可以跳过下一段)。

• 在Perl 6中，Sigil是存储在符号表中的名称的一部分，而在Perl 5中，名称是在没有信号的情况下存储的。例如，在Perl 5中，如果在程序中引用$foo，编译器将查找foo(没有sigil)，然后获取相关信息(这是一个数组)，并查找它所需的$sigil索引。在Perl 6中，如果引用$foo，编译器将查找$foo并直接使用与该键相关的信息。

请不要混淆用于表示Perl 6中的参数与Perl 5中的Type Gulb SIGL的SLurpy，它们彼此没有任何关系。

Sigilless variables

Perl 5不支持无符号变量（除了可能的左值子程序，但这确实非常笨拙）。

Perl 6也不直接支持Sigilless变量，但它支持通过前缀反斜杠(\)定义中的名称：

1 2 3

# Perl 6 my \the-answer = 42; say the-answer; # 42

由于赋值的右边是常量，这与定义常量基本相同：

1 2 3 4 5 6

# Perl 5 use constant the_answer => 42; say the_answer; # 42 # Perl 6 my constant the-answer = 42; say the-answer; # 42

如果定义的右边是别的东西，那就更有趣了。就像一个容器！这允许使用以下语法技巧来获得无符号变量：

1 2 3 4

# Perl 6 my \foo = $ = 41;    # a sigilless scalar variable my \bar = @ = 1,2,3,4,5;   # a sigilless array my \baz = % = a => 42, b => 666; # a sigilless hash

这基本上是创建匿名词法实体(标量、数组和哈希)，使用正常语义初始化它们，然后绑定生成的对象(标量集装箱列阵对象，以及散列对象)的名称，您可以将其用作Perl 6中的任何其他普通变量。

1 2 3 4 5 6

# Perl 6 say ++foo;  # 42 say bar[2]; # 3 bar[2] = 42; say bar[2]; # 42 say baz<a b>; # (42 666)

当然，这样做，您将失去所有的优势，特别是在插值方面。然后，您将始终需要使用{ }在插值中。

1 2	# Perl 6 say "The answer is {the-answer}."; # The answer is 42.

在Perl 5的大多数版本中，对应的内容更麻烦：

1 2	# Perl 5 say "The answer is @{[the_answer]}."; # The answer is 42.

当使用Perl 5概念考虑这些变量时，Perl 6中的所有变量都可以被视为绑定变量。这使得他们在一开始就有点慢。但是在某些基准测试中，运行时优化和热代码路径的JITting(从一点到机器代码)已经使其速度超过Perl 5变量。

@, %，和&在Perl 6中，不要创建任何特定的对象，而是指示一个类型约束，该约束将应用于名称绑定到的对象。$Sigil在这方面是不同的，因为没有要强制执行的类型约束。

@和$前缀分别表示实值化和项化，尽管使用.清单和.项目方法代替。

通过几个语法技巧，可以不用变量名称中的任何Sigl来编程Perl 6。