如果编译器已经推断出输入参数的类型,为什么它不选择重载方法的正确版本。
在这个例子中,当类型已经正确推断出被比较的元素时,为什么它不能选择正确的 Math.Max 来使用:
let listMax =
List.map2 (fun l r -> Math.Max(l,r)) [2;4] [5;3] //compile error
let listMax2 =
List.map2 (fun (l:int) r -> Math.Max(l,r)) [2;4] [5;3] //no compile error
当然,在这种情况下您可以只使用 max 函数,但还有许多其他方法没有原生的等效方法。
最佳答案
正如@Gos 正确指出的那样,在这种情况下使用管道运算符会有所帮助。原因是类型推断是从左到右进行的 - 因此,如果您使用管道运算符,它会知道其中一个输入是整数列表,并且基于此,它会选择 Math 的正确重载.Max
.
当编译器进行重载决策时,或者当你想调用一个对象的成员时(例如,如果你想在 map 函数中执行 l.Foo()
),编译器通常需要知道类型) - 因为在这种情况下,它需要知道类型到底是什么。
F# 还定义了自己的基本数学函数版本,这些函数可以更好地与类型推断配合使用。因此,您可以将 Math.Max
替换为 max
函数(您也可以很好地将其直接传递给 map2
):
List.map2 max [2;4] [5;3]
这样效果更好,因为 F# 不需要执行重载决议(函数未重载)。它只是跟踪一个特殊的通用约束,该约束稍后会得到满足和解决。
关于.net - Math.Max 上的 F# 类型推断,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/22224048/