Perl 6的多派遣如何决定使用哪个例程？

Question

考虑这个程序，我在参数列表中构造一个数组。虽然有这么接受一个数组的签名，这个调用接受列表中的一个：

foo([ 1, 2, 3 ]); 

multi foo (Array @array) { put "Called Array @ version" } 
multi foo (Array $array) { put "Called Array \$ version" } 
multi foo (List $list) { put "Called List version" } 
multi foo (Range $range) { put "Called Range version" } 

我得到的输出从一个意想不到的例行：

Called Array $ version 

如果我取消，其他签名，那一个被称为：

Called List version 

为什么它不叫(Array @array)版本？调度员如何做出决定（以及它在哪里记录）？

Answer 1

我犯了一个非常愚蠢的错误，这就是为什么我没有看到我的预期。您无法约束以@开头的变量。任何约束都适用于其元素。 Array @array表示我有一个位置排序的东西，其中每个元素是Array。这是the same thing that raiph said。奇怪的是，语法看起来一样，但它做了不同的事情。这是我以前绊倒过的东西。

，因为它是在做不同的东西，这不是去上班了，即使数据结构相匹配：

foo([ [1], [2], [3] ]); 
foo([ 1, 2, 3 ]); 

multi foo (Array @array) { put "Called Array @ version" } 
multi foo (Array $array) { put "Called Array \$ version" } 
multi foo (List $list) { put "Called List version" } 
multi foo (Range $range) { put "Called Range version" } 

我仍然得到的版本我不希望基于约束和数据结构：

Called Array $ version 
Called Array $ version 

我认为这只是普通用户必须学习的Perl 6的一个瑕疵。

Answer 2

为什么不调用（Array @array）版本？

您的测试foo调用只有一个阵列（[1,2,3]）作为它的参数，而不是一个数组的Array小号（如[[1,2,3],[4,5,6]]）。

（在@array的@指示值does Positional，例如数组或列表。Array @array表示同样的事情，但与所述附加约束或阵列，列表的每个元素无论是Array。）

调度员如何做出决定？

简化，它的采摘最窄的匹配类型：（Diagram of subtype relationships of Array, List and Positional）

multi foo (Array  )    {} # Narrowest 
multi foo (List  )    {} # Broader 
multi foo (Positional )    {} # Broader still 
multi foo (@array  )    {} # Same as `Positional` 

对于很多细节见jnthn's authoritative answer to a related SO question。

（以及它在哪里记录）？

我不确定该文档。 Multi-dispatch看起来很小。

Answer 3

似乎在设计文档（更完整但更过时）和文档（已知不完整，docs.perl6.org承认，但希望更新）之间存在权衡。前者解释了Synopsis 12中的多分辨率分辨率。摘录：

当您调用具有特定短名称的例程时，如果有多个可见的长名称，则它们都被视为候选者。根据参数的运行时间类型与每个候选参数的声明类型的匹配程度，将它们排序为一个顺序。最好的候选人被称为，除非有平局，在这种情况下，并列候选人使用任何额外的平局策略（见下文）重新分配。 [...]

有三种打破平局模式，在绝望的顺序增加：

A）内或衍生范围

B）的运行时约束处理

C）使用的候选的标记“是默认的”

Tiebreaker A只是比其他派生范围内的候选人更偏爱内部派生范围或更多派生范围内的候选人。对于同一范围内的候选人，我们继续执行决胜局B.

在没有任何约束的情况下，tiebreaker A中的联系人立即故障转移到tiebreaker C;如果没有被C解决，他们会在编译时警告一个模糊的调度。 [...]

我不太了解Perl 6来证明它的准确性，但它似乎与raith’s answer一致，并且还涵盖了其他方面。

Answer 4

这是关于“容器”。我不能提出一个完整的规则，但能够展示一些例子。

有了明确兴建货柜my @array

my Array @array = [ [1], [2], [3] ]; 

foo(@array); 

multi foo (Array @array) { put "Called Array @ version" } 
multi foo (Array $array) { put "Called Array \$ version" } 

# Ambiguous call to 'foo'; these signatures all match: 
# :(Array @array) 
# :(Array $array) 

如果我们做出一些改变：

my @array = [ 1, 2, 3 ]; 

foo(@array); 

multi foo (@array) { put "Called Array @ version" } 
multi foo (Array $array) { put "Called Array \$ version" } 

# Called Array $ version 

看来Array $array太窄。 my @array = [1, 2, 3]，@array是Positional。

foo([ 1, 2, 3 ]); 

multi foo (@array) { put "Called Array @ version" } 
multi foo ($array) { put "Called Array \$ version" } 

# Called Array @ version 

和

foo([ 1, 2, 3 ]); 

multi foo ($array) { put "Called Array \$ version" } 

# Called Array $ version 

回到第一实例，Array @array意味着该参数是与类型约束阵列的位置的事情，而Array $array意味着它是一个阵列（在某种程度上更“窄”比位置），结果仍然是平局。