如何在 Perl 6 中对形状数组进行切片？

Question

我可以制作一个形状（固定大小）的数组：

my @array[3;3] = (
    < 1 2 3 >,
    < 4 5 6 >,
    < 7 8 9 >
    );

say @array;       # [[1 2 3] [4 5 6] [7 8 9]]
say @array[1;1];  # 5

如何将其切片以获得我想要的任何特定列或对角线（行很容易）？

如何将每个维度中的索引列表转换为放入方括号中的正确内容？

而且，肯定有一些花哨的语法可以阻止我做一些复杂的事情：

my @diagonal = gather {
    my @ends = @array.shape.map: { (0 ..^ $^a).List };
    for [Z] @ends {
        take @array[ $_ ] # how do I make that $_[0];$_[1];...
        };
    }

Answer 1

我怎样才能得到我想要的任何特定的列或对角线？

据我所知，您目前不能将切片语法与成形数组一起使用（尽管您的“（行很容易）”评论让我很困惑 my comment on your post）。

显而易见的解决方案是删除形状并使用切片语法：

my @array = ( < 1 2 3 >, < 4 5 6 >, < 7 8 9 > );

say @array[1];         # 4 5 6 (second row)
say @array[1;*];       # same
say @array[*;1];       # 2 5 8 (second column)

如果您想保留使用成形数组的边界检查安全性（和/或成形本机数组的 C 数组兼容性，如果我是对的话），那么您可能必须保留两个副本周围的阵列，使用一个来保留所需的形状阵列的方面，另一个来切片。

如何将每个维度中的索引列表转换为正确放入方括号的内容？

最后一个叶子之前的每个维度切片必须用;与下一个分隔。

我还不清楚这是因为 ; 是语句分隔符（在下标内）还是列表指示符，也不清楚如何以编程方式将索引列表转换为该形式。 （调查仍在继续。）

而且，肯定有一些花哨的语法可以阻止我做一些复杂的事情[对于对角线切片]：

say @array[*;{$++}];   # 1 5 9 (diagonal)

[...]数组下标中的第一个;分隔字段对应数组中的第一个维度，即数组中的行。

指定* 表示您希望包含所有行而不是指定特定行。

最后一个字段对应于下标的叶子，即要访问的实际元素。

我第一次尝试只尝试$++ 而不是{$++} 但这给了我所有元素的列为零大概是因为语言/烘焙和/或 Rakudo 每次调用 [...] 下标运算符时只评估一次标量索引值.

然后我推断如果索引是Callable，它将被调用，并且可能每行调用一次。这很有效。

我认为这对应于this code in Rakudo。

乍一看，这似乎意味着您不能使用Callable 来计算叶切片，我注意到roast'd slicing for "calculated indices" 不包括使用Callable。也许我只是看的不对。

Answer 2

您可能已经看到，它返回一个尚未实现错误（插入to solve this bug；

Partially dimensioned views of shaped arrays not yet implemented. Sorry.

在这种情况下，最好只取消数组形状并使用更传统的方法：

use v6;

my @array = (
    < 1 2 3 >,
    < 4 5 6 >,
    < 7 8 9 >
    );

my @diagonal = gather {
    my @ends = ((0,0),(1,1),(2,2));
    for @ends -> @indices {
        take @array[ @indices[0] ][@indices[1]];
    };
}
say @diagonal;

通过查看the synopsis on the subject，我想说这种方法并没有真正指定。所以当一切都说完了，你可能不得不使用EVAL 或宏（当它们最终实现时，当然......）