F# 入门(十三)：Record(记录)

Record在F#中是一种很重要的用来存贮数据的结构.它与元组和F# 中的枚举（DiscriminatedUnions）差不多，但是又有比他们更方便的地方，如：我们可以很轻松的访问Record中的每个元素的值，而不需要如元组那样做更多的操作才可取得。

下面我们看看Record的定义及与之相关的操作

Record的定义

我们使用type 关键字来定义Record，如我们定义一个名为myRecord的Record：

type myRecord = { Name : string ; Age : int }

在定义这个Record 之后，可以将myRecord当作一个模板，然后照此模板实例化自己的Record.如：

let record1 = { Name = "H";Age = 20 }

let record2 = { Name = "J";Age = 21 }

let record3 = { Name = "K";Age = 24 }

这三个Record均是由模板myRecord实例化而来的，其Interactive运行结果如下：

val record1 : myRecord = {Name ="H"; Age = 20;}

val record2 : myRecord = {Name ="J"; Age = 21;}

val record3 : myRecord = {Name ="K"; Age = 24;}

Record的相关操作——获取元素值

获取Record中元素的值很方便，由于每个元素都如同属性一样，我们可以通过使用Record名字加上.再加元素名即可获取其值，如：record1.Name就可以得到值“H”。

Record的相关操作——复制

有时候我们需要复制一个已知的Record 实例，然后在源Record基础上做小小的改动即可，其实现方法如下：

let copyRecord1 = { record1 with Name ="X" }

这里我们复制了record1,然后仅改动Name的值，其Interactive运行结果如下：

val copyRecord1 : myRecord = {Name= "X"; Age = 20;}

Record的相关操作——为Record添加属性或方法

Record和F# 的枚举一样，我们可以为之添加属性和方法，其方法如下：

type advanceRecord =

{ Name :string; Age : int }

member this.Property = "Hi"

member this.PrintfInfo() = printfn "%s is%d years old" this.Namethis.Age

这里我们定义了一个名为Property的属性，以及一个名为PrintfInfo的方法， 其Interactive 的运行结果为：

type advanceRecord1 =

{Name: string;

Age: int;}

with

member PrintfInfo : unit -> unit

member Property : string

end

使用定义了属性与方法的Record与没有方法与属性的Record没有什么区别。其使用方法和获取元素值的方法一样，如：

let advrcd = { Name = "Z";Age = 24}

advrcd.PrintfInfo()

其运行结果：

Z is 24 years old

Record的相关操作——模式匹配

Record可以做为模式匹配的一部分，这也是Record相比传统数据类型的一项优势，在interactive 中运行下面代码：

type myRecord = { Name : string ; Age : int }

let record1 = { Name = "H";Age = 20 }

let record2 = { Name = "J";Age = 21 }

let record3 = { Name = "K";Age = 24 }

let recordList = [ record1; record2; record3 ]

let result =

recordList

|> List.filter

( function

| {Age = 20} -> true

| _ -> false )

其运行结果为：

val it : myRecord list = [{Name ="H";

Age = 20;}]

Record相对于传统面向对象数据结果的优势

• Record中的元素默认情况下是不可变的，相比类而言更安全
• Record不能被继承，进一步提高了其安全性
• Record可以被用来做模式匹配
• Record可以进行比较，可以使用等号