f# - 为什么这个带有成员约束的 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)

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

此外，如果您主要对数学代码感兴趣，那么您可以只使用标准运算符和函数(连同 LanguagePrimitives 中的一些原语)，而不必显式调用成员。