Chapel域：`low / high`和`first / last`方法之间的差异

Question

Chapel域有两组方法

domain.low, domain.high

和

domain.first, domain.last

什么是这些返回不同结果的各种情况（即何时是domain.first != domain.low和domain.last != domain.high ？

Answer 1

首先，请注意，这些查询不仅支持域，还支持范围（表示许多域及其域查询所基于的整数序列的简单类型）。 出于这个原因，在返回密集矩形域（使用每个维度的范围定义）之前，我的答案最初将集中于简单范围。

作为背景，范围的first和last一个用于指定迭代该范围时将获得的索引。 相反， low和high指定定义范围的最小和最大索引。

• 对于一个简单的范围，如1..10 ， first和low将是相同的，评估为1 ，而last和high将评估为10

• 在Chapel中以相反顺序迭代一个范围的方法是使用负步幅，如1..10 by -1 。 对于此范围， low和high仍将分别为1和10 ，但first将为10 ， last将为1因为范围表示整数10,9,8，...，1。

• Chapel还支持非单位步幅，它们也可能导致差异。 例如，对于范围1..10 by 2 ， low和high仍将分别为1和10 ，并且first仍然是1但是last将是9因为该范围仅表示1到10之间的奇数值。

以下程序演示了这些情况以及1..10 by -2 ，我将作为练习留给读者（您也可以在线试用（TIO） ）：

proc printBounds(r) {
  writeln("For range ", r, ":");
  writeln("  first = ", r.first);
  writeln("  last  = ", r.last);
  writeln("  low   = ", r.low);
  writeln("  high  = ", r.high);
  writeln();
}

printBounds(1..10);
printBounds(1..10 by -1);
printBounds(1..10 by 2);
printBounds(1..10 by -2);

使用每维度的范围来定义密集的矩形域。 此类域上的low ， high ， first和last查询返回一个值元组，每个维度一个，对应于相应范围上的查询结果。 例如，这是根据上述范围（ TIO ）定义的4D域：

const D = {1..10, 1..10 by -1, 1..10 by 2, 1..10 by -2};

writeln("low   = ", D.low);
writeln("high  = ", D.high);
writeln("first = ", D.first);
writeln("last  = ", D.last);