2

我有以下方法：

  member this.addColumnWithHeading heading column =
    this.addColumn (seq { yield heading; yield! (column |> Seq.map string)})

它接受一个字符串标题和任何序列（在这种情况下被编译为 seq），创建一个字符串序列并使用该数据调用另一个方法。但是，它不适用于作为浮点序列的列：

Error   1   The type 'obj' does not match the type 'float'  C:\Users\ga1009\Documents\PhD\cpp\pmi\fsharp\pmi\Program.fs 138

如何定义该方法addColumnWithHeading以使其也适用于浮点数？

4

2 回答 2

4

内置string函数是一个使用静态解析的泛型参数的内联函数；由于您的addColumnWithHeading方法未声明inline，因此 F# 类型推断必须假定序列中的值是类型obj。

不过，有一个简单的解决方案——换掉string函数以支持“手动”调用.ToString()序列中的值。如果你这样做，F# 将能够为序列使用标准的泛型参数类型，这样你就可以传递你想要的任何类型的序列。

member this.addColumnWithHeading heading column =
    seq {
        yield heading
        yield! Seq.map (fun x -> x.ToString()) column }
    |> this.addColumn
于 2012-08-28T15:07:06.537 回答
3

string是内联的，因此它的参数类型必须在编译时解析。由于您的成员没有内联，因此它会选择最通用的类​​型（obj在这种情况下）。内联您的方法将允许column保持通用性。

member inline x.AddColumnWithHeading(heading, column) =
  x.AddColumn(seq { yield heading; yield! Seq.map string column })

编辑

根据对杰克回答的评论，您可能不需要内联您对string. 当然，如果column总是这样seq<float>，您应该只添加一个类型注释。在函数外部传递seq<string>和移动字符串转换是另一种选择。

于 2012-08-28T15:07:42.987 回答