function - 如何在 Chapel 中编写模板函数的类型签名

Question

在尝试编写算术平均函数时，最好编写一个模板函数而不是两个特定类型的函数。可以写： proc mean(data: [?] ?T): real 但是如何将 T 限制为int或real。

也可以定义一个可以包含int或real数据的数组，即有没有一种方法可以表示数组内容的联合类型？

Answer 1

要将 T 的类型限制int为real任何大小的类型，您可以where在函数定义中添加一个子句：

proc mean(data: [] ?T): real where isIntType(T) || isRealType(T) { ... }

和函数在类型模块中定义：isIntTypehttp : //chapel.cray.com/docs/latest/modules/standard/Types.htmlisRealType

Chapel 支持安全联合和联合数组。联合在教堂语言规范的第 17 节中描述：http: //chapel.cray.com/docs/latest/_downloads/chapelLanguageSpec.pdf

union IntOrReal {
  var i: int;
  var r: real;
}

var intRealArray: [1..2] IntOrReal;
intRealArray[1].i = 1;
intRealArray[2].r = 2.0;