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

我们继续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)

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

凌众科技专业提供服务器租用、服务器托管、企业邮局、虚拟主机等服务，公司网站：http://www.lingzhong.cn 为了给广大客户了解更多的技术信息，本技术文章收集来源于网络,凌众科技尊重文章作者的版权，如果有涉及你的版权有必要删除你的文章，请和我们联系。以上信息与文章正文是不可分割的一部分,如果您要转载本文章,请保留以上信息，谢谢!