码迷,mamicode.com
首页 > 其他好文 > 详细

8.2.3.1 可变状态使用引用单元

时间:2014-12-03 15:45:10      阅读:189      评论:0      收藏:0      [点我收藏+]

标签:f#   实用函数编程   函数编程   mutable   ref   

8.2.3.1 可变状态使用引用单元

 

要回答这个问题,我们需要能够创建一些要捕获的状态。一个方法是用 let mutable,但是,这样,并不能运行,因为这种可变值只能用于局部,不能被闭包捕获。

第二个方法是使用引用(ref)类型创建可变值,即引用单元(reference cell)的缩写,它是能够包含可变值的小对象(实际上,声明为 F# 的记录类型)。要理解引用类型的原理,我们在 C# 中定义同样的类型,可以看到,相当简单:

 

class Ref<T> { 

  public Ref(T value) { Value = value;} 

  public T Value { get; set; } 

}

 

这里最重要的是 Value 属性是可变的,所以,当我们创建了一个不可变的 Ref<int>类型的变量时,仍然可以改变它代表的值。清单 8.8 是在 F# 中使用引用单元的例子,显示了相当于 C# 使用Ref<T> 类型的代码;在 F# 中,不直接访问类型,因为有一个函数,也叫 ref,创建引用单元,以及设置和读取值的两个运算符。

 

清单 8.8 在 F# 和 C# 中使用引用单元

F# Interactive

C#

let st = ref 10

st := 11 

printfn "%d" (!st)

var st = new Ref<int>(10);

st.Value = 11; 

Console.WriteLine(st.Value);

 

第一行,我们创建了一个包含整数的引用单元,如同刚刚在 C# 中声明的 Ref<T>  类型一样,F# 的 ref 类型是泛型的,所以,我们可以用它来保存任何类型的值;接下来的两行演示了使用引用单元的运算符:赋值(:=)和取消引用(!),F# 的运算符对应于设置和读取属性值,但语法更便利。

 

[

在 F# 4.0 中,对可变值的使用进行了简化。

在 F# 中,虽然值默认是不可变的,但是,可变值也是是允许的。过去,关键字 mutable用于说明可变值使用栈,这种值使用 <- 运算符进行修改;如果可变值是由闭包捕获的,那么值就使用堆,需要使用ref 语法,愈发值是通过 := 运算符。

这些语法上的差异既使代码不优雅,也让开发人员困惑,很难弄清楚到底应该使用哪一种方法。

现在,使用 F# 4.0,开发人员只要用一个关键字 mutable,就能搞定所有可变值,余下的工作由编译器完成:如果可能,就在栈上创建变,否则,隐式转换成引用单元。

对于非常了解栈、堆语有钱人高级用户,能够启用警告 3180(在 fsc.exe 或 fsi.exe 中,使用 --warnon:3180),当 mutable 声明隐式转换成 ref 时,会发出通知。

]

8.2.3.1 可变状态使用引用单元

标签:f#   实用函数编程   函数编程   mutable   ref   

原文地址:http://blog.csdn.net/hadstj/article/details/41697681

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!