function - 如何在 Chapel 中指定返回未知大小的数组

Question

我试图依靠类型推断来获得带有签名的函数： proc mode(data: [?]int) 但编译器说它无法解析返回类型（我想这本身就是一个警告，因为只有两个返回语句）。我试过 proc mode(data: [?]int): [?]int 了：但是编译器然后说有一个内部错误： internal error: CAL0057 chpl Version 1.13.1.518d486 指定函数返回的数组的长度只能在运行时知道的正确方法是什么？

Answer 1

如果返回的数组的域/大小不能直接在函数原型中描述，我相信你目前最好的选择是省略任何返回类型的描述，并依靠 Chapel 的类型推断机制来确定你正在返回一个数组（如您所愿）。例如，这里有一个过程，它读入一个以前未知大小的数组并返回它：

proc readArrFromConsole() {
  var len = stdin.read(int);
  var X: [1..len] real;
  for x in X do
    x = stdin.read(real);

  return X;
}

var A = readArrFromConsole();
writeln(A);

运行它并在控制台输入：

3 1.2 3.4 5.6

生成：

1.2 3.4 5.6

您的问题提到了多个返回语句，这引发了关于 Chapel 如何积极地将不同数组中的类型统一起来的问题。一个包含多个相同类型的数组（每个都有唯一的域、大小和边界）的简单示例似乎有效：

proc createArr() {
  var len = stdin.read(int);
  if (len > 0) {
    var X: [1..len] real;
    return X;
  } else {
    var Y: [-1..1] real;
    return Y;
  }
}

var A = createArr();
writeln(A);

要了解编译器为何无法解析示例中的返回类型，可能需要有关您的过程主体/返回语句所包含内容的更多信息。

Answer 2

我不时在递归函数中遇到这种情况，在省略返回类型失败的情况下；在这种情况下，我创建了record一个带有其域的数组，例如：

record stringarray {
  var D: domain(1);
  var strs : [D] string;
}

然后定义递归数组以返回这些记录之一：

proc repeats() : stringarray {
  var reps: stringarray;

  //...

  for child in children do {
    childreps = child.repeats();
    for childrep in childreps do
      reps.push_back(childrep);    
  }

  //...
  return reps;
}