带记录的静态解析类型

Question

您可能知道下面的适配器示例：

type Cat() =
member this.Walk() = printf "Cat walking"

type Dog() =
    member this.Walk() = printf "Dog walking"


let inline walk (animal : ^T ) =
    (^T : (member Walk : unit -> unit) (animal))

let cat = new Cat()
let dog = new Dog()

walk cat
walk dog

为 Cat 和 Dog 类静态编译不同版本的 walk。

然后我尝试了以下操作：

type Cat = { Name : string }
type Dog = { Name : string }

let inline showName (animal : ^T ) =
    let name = (^T : (member Name : string) (animal))
    printf "%s" name

let cat = { Name = "Miaou" } : Cat
let dog = { Name = "Waf" } : Dog

showName cat
showName dog

但出现以下编译错误：

The type 'Dog' does not support any operators named 'get_Name'

对于 Cat 类也是如此。

但是，当探索两条记录的生成类时，它实际上包含生成的 Name 属性的 get_Name 方法。

是否有不同的语法来访问静态解析泛型中的记录字段，或者这是 F# 编译器的限制？

Answer 1

值得一提的是，记录类型可以实现接口。

type INamedObject =
  abstract Name : string

type Cat = 
  { Name : string }
  interface INamedObject with
    member this.Name = this.Name

type Dog = 
  { Name : string }
  interface INamedObject with
    member this.Name = this.Name

let showName (namedObject : INamedObject) =
    printf "%s" namedObject.Name

你也可以做

type Cat = { Name : string }
type Dog = { Name : string }

let showName (animal : obj) =
  let name =
    match animal with
    | :? Cat as cat -> cat.Name
    | :? Dog as dog -> dog.Name
    | _ -> invalidArg "animal" "Not an animal"
  printf "%s" name

Answer 2

您的 showName 函数实现适用于具有 Name 属性的标准 .NET 类。尽管 Cat 和 Dog 都不是这样；相反，两者都是F#记录类型。

尽管访问记录字段看起来与访问标准类属性进行 F# 类型推断非常相似，但这两种情况是完全不同的。

您定义了两种具有非唯一字段名称 Name 的记录类型；访问记录类型Cat的实例cat的字段Name是cat.Name，与类似狗它是dog.Name。但是，当您尝试 showName cat 或 showNamedog 时，编译器会抱怨这些记录类型中缺少 Name 属性，这是预期的行为，因为有这些记录中没有此类财产。

附录：
为了说明我的观点，我对原始代码做了一点修改，向 Cat 和 Dog 添加属性 Nickname：

type Cat = { Name : string } member x.Nickname = x.Name
type Dog = { Name : string } member x.Nickname = x.Name

let inline showName (animal : ^T ) =
    let name = (^T : (member Nickname : string) (animal))
    printfn "%s" name

let cat = { Name = "Miaou" } : Cat
let dog = { Name = "Waf" } : Dog

showName cat
showName dog

这会很高兴地工作。

注意修改类的签名：现在是

type Cat =
  {Name: string;}
  with
    member Nickname : string
  end

最后，编译器将禁止同时使用类似于 命名的记录类型的字段和属性无法定义成员“Xyzzy”，因为名称“Xyzzy” ' 与此类型或模块消息中的字段“Xyzzy”冲突。