以次 <obj> 与序列 <float> 在F＃中

Question

我有以下方法：

  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 ，使其也可以与浮点数一起使用？

Answer 1

内置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

Answer 2

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>并将字符串转换移到函数之外是另一种选择。