F#教程:向函数传入Record类型 - 面向对象网 f# 学习 对象 - 面向对象技术开发

面向对象技术开发

会员投稿 投稿指南 站长资讯通告:
您的位置: 首页 > OOP语言 > F# > 正文

F#教程:向函数传入Record类型

来源: www.bianceng.cn 阅读:

我们继续Record的学习。我们试着定义并调用一个传入Vector类型参数的magnify函数:

type Vector = { x: int; y: int}
let    magnify v n = { x = v.x * n; y = v.y * n}
let v = { x = 10; y = 15 }
printfn "%A" (magnify v 2)

但是,如果是如下代码就会出现编译错误:

type Vector = { x: int; y: int}
type Point = { x: float; y: float}     //    新增行
let    magnify v n = { x = v.x * n; y = v.y * n}
let v : Vector = { x = 10; y = 15 }     // 显式定义为Vector类型
printfn "%A" (magnify v 2)             // 错误:无法传入Vector

原因就是由于新增行magnify函数的参数变成了Point类型。为了传入 Vector类型,必须显式地表明参数是Vector类型的。改写成如下会怎么样呢?

let magnify (v:Vector) n = { x = v.x * n; y = v.y * n}

结果还是不行。再次改写下吧!

let magnify (v:Vector) n : Vector = { x = v.x * n; y = v.y * n}

这样就OK了。(v:Vector) 部分是指定参数的类型,而=之前的: Vector是用来指定函数的返回值的类型。

总之,为了避免上述问题定义Record的时候最好不要让域值的名称相同。例如:

type Vector = { dx: int; dy: int}

这样,如果可以改变值域的名称,就不需要一一指定类型。不需要指定类型的实例代码如下:

type Vector = { dx: int; dy: int}
type Point = { x: float; y: float}
let    magnify v n = { dx = v.dx * n; dy = v.dy * n}
let v = { dx = 10; dy = 15 }
printfn "%A" (magnify v 2)

通常也是不需要指定类型的,不过最好也学习下显式指定类型的方法。这样对于比较大的程序就会有利于提高代码可读性。

Tags:
相关文章列表: