6.6 类型推断
我们曾经讨论过值的类型推断,看到了在 C# 3.0 中用 var 关键字,在 F#中用 let 绑定。我们将从本节开始,另一个方面是由 C# 和 F# 共享的。当在 C# 中调用泛型方法时,如 Option.Some(清单 5.9)或 Option.Map(清单 6.13),可以显式指定类型参数值,像这样:
var dt = Option.Some(DateTime.Now);
var nt = dt.Map(d => d.Year);
这太冗长了,我们几乎从来不用这样的风格写代码,在前面的例子中,因为, C# 会为泛型方法调用执行类型推理。它可以自动推断类型参数值,因此,在上一例子中,我们可以只写成
dt.Map(d => d.Year)。
在 C# 中的类型推理的过程是非常复杂的,但它工作得很好,通常,在隐私级别上理解它,并不重要。如果你真的需要详细信息,可以在 C# 语言规范 [ECMA 2006] 或深入 C# [Skeet 2008] 中找到完整的文档。类型参数值是从正常的方法的参数值推断的,用匿名函数来获得特殊的处理,使整个过程更顺畅。另外要注意,在 C# 3.0 中,参数的顺序并不重要。