Int的数组与Int的数组的数组

Question

我想要一个多子,其中一个用于Ints数组,另一个多子用于Ints数组.

这似乎可以解决问题:

multi sub abc(Int @array) { say 10; }

multi sub abc(Array[Int] @array) { say 20; }

但是,构建满足这些约束的文字是非常冗长的:

abc Array[Int].new([1,2,3]);   # -> 10

abc Array[Array[Int]].new([Array[Int].new([1,2,3]), Array[Int].new([2,3,4])]);   # -> 20

理想情况下,我只能说:

abc [1,2,3]
abc [[1,2,3], [2,3,4]]

有没有办法构建一个abc如上所示可以调度而没有所有显式类型注释的方法？

可以multi sub设置为在运行时调度吗？

Answer 1

您可以使用where子句执行昂贵的结构检查,而不是廉价的名义类型检查

multi sub abc(@array-of-Int where .all ~~ Int) { ... }

要么

multi sub abc(@matrix-of-Int where .all ~~ Positional & { .all ~~ Int }) { ... }

如果你走标称类型的路线,形状数组也可能值得考虑,可以通过匿名变量更紧凑地声明

abc my Int @[2;3] = (1,2,3), (2,3,4);
abc Array[Int].new(:shape(2,3), (1,2,3), (2,3,4));

并通过检查

multi sub abc(Array[Int] $matrix where .shape == 2) { ... }