Question

我看到Seq有一个从IEnumerable到Seq的强制转换功能，但是如何让它工作？

open System.Text.RegularExpressions;;
let v = Regex.Match("abcd", "(ab)");;
Seq.cast (v.Captures);;

这会产生，

错误FS0030：值限制。值'it'被推断为具有泛型类型 val it：seq＆lt;'_ a＆gt;
将'it'定义为一个简单的数据项，使其成为具有显式参数的函数，或者，如果您不打算将其作为泛型，则添加类型注释。

Answer 1

明确说明类型：

Seq.cast<Match> (v.Captures)

否则cast需要上下文来推断正确的返回类型，并且在一行上就像那里一样，没有类型推断使用的上下文。

（此行将非通用IEnumerable转换为通用IEnumerable<Match> a.k.a. seq<Match>。）

Answer 2

实际上有两种方法可以指定您想要获得的类型。 Brian通过明确指定函数的类型参数来发布如何执行此操作：

let res = Seq.cast<Match> v.Captures

另一个选项是使用 type annotations ，它可以放在任何F＃表达式周围并指定表达式的类型 - 这样你就可以提示编译器类型的推理（通过说某些表达式有一种特殊的类型）。如果以一种巧妙的方式提供信息，编译器将能够确定Seq.cast的类型参数应该是什么。几个例子：

// By specifying type of the value
let (res:seq<Match>) = Seq.cast v.Captures 

// By specifying return type of a function
let getCaptures () : seq<Match> = 
  // ...
  Seq.cast v.Captures

// By specifying element type when iterating over the result
for (m:Match) in Seq.cast v.Captures do
  // ...

从所有选项中，我认为Brians（显式）和我的第二个（函数的返回类型）是那些最惯用的选项，但是，您可以选择任何您认为最易读的选项。

如何通过F＃的Seq.cast避免“价值限制”错误？

2 个答案: