我知道F#中的变量默认是不可变的。 但是,例如在F#interactive中:
> let x = 4;;
val x : int = 4
> let x = 5;;
val x : int = 5
> x;;
val it : int = 5
>
所以,我将4分配给x,然后将5分配给x并且它正在改变。这是对的吗?它应该给出一些错误或警告吗?或者我只是不明白它是如何工作的?
答案 0 :(得分:14)
当您编写let x = 3
时,您将标识符x
绑定到值3
。如果您在同一范围内第二次执行此操作,则声明一个隐藏前一个标识符的新标识符,因为它具有相同的名称。
通过破坏性更新运算符<-
对F#中的值进行变换。对于不可变值,这将失败,即:
> let x = 3;;
val x : int = 3
> x <- 5;;
x <- 5;;
^^^^^^
stdin(2,1): error FS0027: This value is not mutable
要声明可变变量,请在mutable
之后添加let
:
let mutable x = 5;;
val mutable x : int = 5
> x <- 6;;
val it : unit = ()
> x;;
val it : int = 6
但你可能会问,两者之间的区别是什么?一个例子就足够了:
let i = 0;
while i < 10 do
let i = i + 1
()
尽管有外表,但这是一个无限循环。在循环内声明的i
是一个隐藏外部i
的{{1}}。外部的一个是不可变的,因此它始终保持其值0
并且循环永远不会结束。写这个的正确方法是使用一个可变变量:
let mutable i = 0;
while i < 10 do
i <- i + 1
()
答案 1 :(得分:5)
x
没有改变,它只是被下一个声明隐藏了。
例如:
> let x = 4;;
val x : int = 4
> let x = "abc";;
val x : string = "abc"
>
答案 2 :(得分:4)
您没有为x
分配5,而是定义了一个新变量。
以下示例显示有两个不同的变量。 (它还表明你可以“访问”旧的x,如果它在一个闭包中,由另一个函数使用):
let x = 5;;
let f y = y+x;;
f 10;;
let x = 0;;
f 10;;
产量
>
val x : int = 5
>
val f : int -> int
> val it : int = 15
>
val x : int = 0
> val it : int = 15
如您所见,对f的两次调用都使用第一个变量x
。定义let x = 0;;
定义了一个新变量x
,但没有重新定义f
。
答案 3 :(得分:3)
这是一个最小的例子,用于说明F#中的标识符“阴影”(即隐藏):
let x = 0
do //introduce a new lexical scope
let x = 1 //"shadow" (i.e. hide) the previous definition of x
printfn "%i" x //prints 1
//return to outer lexical scope
printfn "%i" x //prints 0, proving that our outer definition of x was not mutated by our inner definition of x
您的示例实际上有点复杂,因为您正在使用F#Interactive(FSI)。 FSI在您的示例中动态发出类似于以下内容的代码:
module FSI_0001 =
let x = 4;;
open FSI_0001 //x = 4 is now available in the top level scope
module FSI_0002 =
let x = 5;;
open FSI_0002 //x = 5 is now available in the top level scope, hiding x = 4
module FSI_0003 =
let it = x;;
open FSI_0003
//... subsequent interactions