List.max<'T> 如何实现工作？

Question

从MSDN文档来看，List.max的签名是：

List.max : 'T list -> 'T (requires comparison)

我的问题是：

• 编译器如何静态验证'T支持比较操作？
• requires 是指定类型约束的关键字吗？如果是，我可以用它指定哪些类型的约束？
• 我可以定义自己的约束类型吗，就像我可以在 Scala 中使用类型类那样？

Answer 1

看一下 Don Syme 的博客：F# 中的相等和比较约束

通常，您可以将这些约束视为轻型类型类的一种形式在这种情况下，重写 Equals/GetHashCode 并实现 IComparable 足以使用它。

对于您的问题：

1. 是的，编译器会
2. 准确地检查这一点，请查看 F# 规范 / Docu 了解更多详细信息
3. - 您可以限制接口等 - 请参阅文章

PS：（需要比较）是通过说 <'a 当 'a 时定义的: 比较> 在通用定义的上下文中，例如

type MyType<'a when 'a : comparision>

Answer 2

卡斯滕的回答涵盖了大部分基础。关于声明约束，在大多数情况下，您不需要声明它，因为它会通过使用比较运算符来推断。例如：

let myListMax l = l |> List.reduce (fun x y -> if x > y then x else y)
// or myListMax l = l |> List.reduce max

正如 Carsten 所说，如果你想用约束显式注释定义，你可以这样做：

let myListMax (l:'a list) : 'a when 'a : comparison = l |> List.reduce max