chapel - 有没有办法在 Chapel 中使用 where 子句的函数中使用非标量值？

Question

在过去的一年左右的时间里，我一直在尝试Chapel。我过去曾短暂使用过 C 和 C++，但最近我的大部分经验是使用动态语言，如 Python、Ruby 和 Erlang。

在接触了 Erlang 及其函数子句之后，我很高兴发现 Chapel 中的 where 子句。但是，我在使用它们时遇到了障碍。在 Y 分钟内学习教堂包含以下代码，演示了 where 子句的使用:

proc whereProc(param N : int): void
  where (N > 0) {
    writeln("N is greater than 0");
}

proc whereProc(param N : int): void
  where (N < 0) {
    writeln("N is less than 0");
}

whereProc(10);
whereProc(-1);

这将为两个标量值 10 和 -1 中的每一个生成预期输出。但是，我尝试编写类似的程序来迭代范围或数组。我什至尝试过递归。在所有情况下，我都得到基本相同的错误:

whereproc2.chpl:12: error: unresolved call 'whereProc(int(64))'
whereproc2.chpl:1: note: candidates are: whereProc(param N: int)
whereproc2.chpl:6: note:                 whereProc(param N: int)

产生此特定错误的代码是:

proc whereProc(param N : int): void
  where (N > 0) {
    writeln("N is greater than 0");
}

proc whereProc(param N : int): void
  where (N <= 0) {
    writeln("N is less than or equal to 0");
}

for n in 1..10 do
  whereProc(n);

是否有我遗漏的东西会导致它起作用，或者这不会起作用？我注意到在 Y 分钟内学习教堂它说所有信息都需要在编译时知道。有限范围或初始化数组的内容在编译时是否未知？在我看来，如果 where 子句仅适用于标量值，则它的用处是有限的。

Answer 1

Is there something I'm missing that will cause this to work...?

是的，问题在于您的 for环形:

for n in 1..10 do
  whereProc(n);

迭代范围时，循环索引变量 n是一个执行时常量，它可以防止编译器对其进行推理。为了获得您想要的行为，您需要请求编译器将其设为 param (编译时常量)。这可以使用以下语法完成:

for param n in 1..10 do
  whereProc(n);

这具有制作 n的效果 param value 使编译器能够推理其值。 Try this version of the code online (有一个更有趣的范围)。

使用像这样的参数索引表达式可以被视为完全展开循环:

{
  param n = 1;
  whereProc(n);
}
{
  param n = 2;
  whereProc(n);
}
...
{
  param n = 10;
  whereProc(n);
}

因此，当类型可能从一次迭代到下一次迭代(如异构元组)时，这可能是迭代事物的有用习惯用法。