F#基本类型——Records

Records是F#里用来表示简单数据的一种基本数据类型，当你想把数据组成一个结构化的格式，而不需要太复杂的语法时，你可以使用Record类型。

声明Records类型：

Records的语法格式如下：

    [ attributes ]
    type [accessibility-modifier] typename = {
        [ mutable ] label1 : type1;
        [ mutable ] label2 : type2;
        ...
        }
        member-list

这里我们定义一个简单的Point类型：
    type Point = { x : float; y: float; }

创建Records对象：

声明Point类型后，就可以定义Point对象了：
    let mypoint1 = { x = 1.0; y = 1.0; }
    let mypoint2 = { new Point with x = 1.0 and y = 1.0 }

这里我使用了两种方式创建了Point对象，mypoint1并没有指明类型，F#会自动根据其成员推导出其类型。但如果有两个不同的Records具有同样的成员，则会产生二义性，如下所示：

    type Point = { x : float; y: float; }
    type Point2D = { x: float; y: float; }

    let mypoint1 = { x = 1.0; y = 1.0; }
    let mypoint2 = { new Point with x = 1.0 and y = 1.0 }

这个时候，mypoint1就可能和两种类型Point和Point2D都对应，虽然这个时候有了二义性，但本身还是没有语法错误的，系统会自动将mypoint1推导为后定义的point2D类型。如果要定义Point类型，则只有使用mypoint2这种制定类型的方式创建。

另外，还可以通过表达式的方式创建Point对象：
    let mypoint3 = { mypoint1 with y=5.0 }
    //val mypoint3 : Point = {x = 1.0; y = 5.0;}

这里mypoint3继承了mypoint对象，并重新定义了y对象，非常直观，就不多讲了。

定义方法和属性：

定义方法和属性非常简单，示例如下：

    type Point = { x : float; y: float; }
       with
        member p.Length =
               sqrt <| p.x ** 2.0 + p.y ** 2.0
        member p.Show() =
               printf "%A" p

模式匹配

Records的模式匹配和Tuples类似，但由于其成员都有唯一的名称，匹配部分成员是可以不需要通配符，如下所示：

    let filterPoint (points:Point list) =
        points
        |> List.filter
           (function
            | {x = 1.0} | {y = 1.0} –> true
            | _ ->false)

filterPoint [mypoint1; mypoint2; mypoint3]

小结：

Records是F#的一种基本结构，用来定义简单的数据，使用起来也比较灵活而简单。

目前唯一不大习惯的是其创建方式，由于没有构造函数，成员不能使用缺省值，需要指定所有成员。这一点远没有C#创建对象并初始化成员那样来得灵活。并且由于其类型往往是靠推导出来的，创建的时候在VisualStudio中没有智能提示，一旦有一个成员名称拼写错误或类型不正确就有语法错误，这决定了其成员不宜过多，并且不宜使用过于复杂的名称，而C# 的IDE在这方面就要强大很多，基于其强大的智能提示，用C#写的代码基本上都是一次性成功，很少有语法错误。