模式匹配和 Unpacking

模式匹配和 Unpacking

当在 Perl 6 中讨论模式匹配时,人们通常会考虑正则表达式或 Grammar。这些确实是非常强大的模式匹配工具,但不是唯一的工具。

另一个用于模式匹配和解包数据结构的强大工具使用签名。

签名是“只是”参数列表:

sub repeat(Str $s, Int $count) {
    #     ^^^^^^^^^^^^^^^^^^^^  the signature
    # $s and $count are the parameters
    return $s x $count
}

几乎所有的现代编程语言都有签名,所以你可能会说:没有什么特别的,继续说。但是有两个特征使它们比其他语言中的签名更有用。

第一种是 multi dispatch,它允许你用同一个名字写多个例程,但签名不同。虽然非常强大和有用,但我不想纠缠于他们。请参阅“使用Perl 6”一书的第6章以获取更多详细信息。

第二个特征是子签名。它允许你为 sigle 参数写签名。

这听起来很无聊,但是举例来说, 它可以让你对数据结构进行声明式验证。对于每个插槽必须是特定但不同类型的数组,Perl 6 没有内置类型。但是你仍然可以在子签名中检查:

sub f(@array [Int, Str]) {
    say @array.join: ', ';
}
f [42, 'str'];      # 42, str
#f [42, 23];         # Type check failed in binding to parameter ''; expected Str but got Int (23)

这里我们有一个名为 @array 的参数,后面跟着一个方括号,它为数组引入一个子签名。在调用该函数时,将根据签名 (Int,Str) 检查数组,因此如果数组不包含恰好一个 Int 和一个 Str,则会引发类型错误。

同样的机制不仅可以用于验证,还可以用于解包,这意味着可以提取数据结构的某些部分。这只需在内部签名使用变量即可:

sub head(*@ [$head, *@]) {
    $head;
}
sub tail(*@ [$, *@tail]) {
    @tail;
}
say head ;      # a
say tail ;      # b c

这里的外部参数是匿名的 (@),尽管对于内部参数和外部参数都可以使用变量。

匿名参数甚至可以省略,并且可以直接写成 sub tail( [$, *@tail] )

子签名不限于数组。为了处理任意对象,请使用圆括号而不是方括号括住它们,并在里面使用命名参数:

multi key-type ($ (Numeric :$key, *%)) { "Number" }
multi key-type ($ (Str     :$key, *%)) { "String" }
for (42 => 'a', 'b' => 42) -> $pair {
    say key-type $pair;
}

# Output:
# Number
# String

这是有效的,因为 => 构造了一个 Pair,它有一个 key 和一个 value 属性。子签名中的 :$key 命名参数提取属性 key

您可以使用此功能创建令人印象深刻的内容,例如基于多重分派和签名解包的红黑平衡树。 (对代码的更详细的解释。)大多数使用情况并不令人印象深刻,但仍然偶尔会非常有用。就像这个小小的计算器一样。

你可能感兴趣的:(模式匹配和 Unpacking)