为什么这个带成员约束的F#代码不能编译？

Question

对我来说,似乎编译器拥有该点的所有信息,但我收到错误消息.为什么？

let inline getLength< ^a when ^a : (member Length : int ) > (x: ^a) = x.Length

Answer 1

要调用静态约束所需的成员,您需要使用更复杂的语法:

let inline getLength< ^a when ^a : (member Length : int ) > (x: ^a) = 
  (^a : (member Length : int) x)

这有点难看 - 我认为强调静态成员约束不是实现事物的主要方式(通常,您可以使用例如接口或其他更常用的技术).

此外,如果您主要对数学代码感兴趣,那么您可以使用标准运算符和函数(以及一些原语LanguagePrimitives),您不必显式调用成员.