6.6 类型推断

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 中，参数的顺序并不重要。