F# 入门(十)：mutable关键字

F#中的变量的值在声明初始化后就不可以被修改了。

但如果想使用可变的变量时，用mutable关键字修饰变量就可以被修改了。

 

使用mutable关键字声明变量后，使用<-可以修改变量的值。

下面我们来看一些例子。

// 定义一个可变整形变量，初始值为1，改变值后为10

> letmutable num = 1;;

valmutable num : int = 1

>num;;

val it :int = 1

> num<- 10;;

val it :unit = ()

>num;;

val it :int = 10

// 这里是一个Record(记录)，里面的Miles字段为可变值

> typeMutableCar = { Make : string; Model : string; mutable Miles : int };;

 

typeMutableCar =

  {Make: string;

   Model: string;

   mutable Miles: int;}

 

mutable与引用类型是有区别的，引用类型是针对变量本身，而mutable值只是针对值。

可以通过下面例子看出：

//引用变量

> letnum = ref 1

let b =num

b := 2

//这里声明一个引用变量，然后赋值给b后，改变b值为2

val num :int ref = {contents = 2;}

val b :int ref = {contents = 2;}

>!num;;

val it :int = 2

 

//mutable变量

//这里定义一个mutable变量，然后赋值给mutable变量b，改变b的值为2

> letmutable num = 1

letmutable b = num

b<- 2;;

 

valmutable num : int = 1

valmutable b : int = 2

>num;;

val it :int = 1

 

实际上，引用类型可以理解为包含一个mutable字段(contents)的记录类型。