F# - 变量

变量是我们的程序可以操作的存储区域的名称。 每个变量都有一个特定的类型，它决定了变量内存的大小和布局； 该内存中可以存储的值的范围； 以及可以应用于变量的操作集。

F# 中的变量声明

let关键字用于变量声明 −

例如，

let x = 10

它声明了一个变量 x 并为其分配了值 10。

您还可以将表达式分配给变量 −

let x = 10
let y = 20
let z = x + y

下面的例子说明了这个概念 −

示例

let x = 10
let y = 20
let z = x + y

printfn "x: %i" x
printfn "y: %i" y
printfn "z: %i" z

当您编译并执行该程序时，它会产生以下输出 −

x: 10
y: 20
z: 30

F# 中的变量是不可变的，这意味着一旦变量绑定到值，就无法更改。 它们实际上被编译为静态只读属性。

以下示例演示了这一点。

示例

let x = 10
let y = 20
let z = x + y

printfn "x: %i" x
printfn "y: %i" y
printfn "z: %i" z

let x = 15
let y = 20
let z = x + y

printfn "x: %i" x
printfn "y: %i" y
printfn "z: %i" z

编译并执行程序时，显示以下错误消息 −

Duplicate definition of value 'x'
Duplicate definition of value 'Y'
Duplicate definition of value 'Z'

带有类型声明的变量定义

变量定义告诉编译器应在何处创建变量以及应创建多少存储空间。 变量定义可以指定一种数据类型，并包含一个或多个该类型变量的列表，如以下示例所示。

示例

let x:int32 = 10
let y:int32 = 20
let z:int32 = x + y

printfn "x: %d" x
printfn "y: %d" y
printfn "z: %d" z

let p:float = 15.99
let q:float = 20.78
let r:float = p + q

printfn "p: %g" p
printfn "q: %g" q
printfn "r: %g" r

编译并执行程序时，显示以下错误消息 −

x: 10
y: 20
z: 30
p: 15.99
q: 20.78
r: 36.77

可变变量

有时您需要更改存储在变量中的值。 为了指定声明和分配的变量的值可以更改，在程序的后面部分，F# 提供了 mutable 关键字。 您可以使用此关键字声明和分配可变变量，您将更改其值。

mutable 关键字允许您在可变变量中声明和赋值。

您可以使用 let 关键字为可变变量分配一些初始值。 但是，要为其分配新的后续值，您需要使用 ← 运算符。

例如，

let mutable x = 10
x ← 15

下面的例子将阐明这个概念 −

示例

let mutable x = 10
let y = 20
let mutable z = x + y

printfn "Original Values:"
printfn "x: %i" x
printfn "y: %i" y
printfn "z: %i" z

printfn "Let us change the value of x"
printfn "Value of z will change too."

x <- 15
z <- x + y

printfn "New Values:"
printfn "x: %i" x
printfn "y: %i" y
printfn "z: %i" z

当您编译并执行该程序时，它会产生以下输出 −

Original Values:
x: 10
y: 20
z: 30
Let us change the value of x
Value of z will change too.
New Values:
x: 15
y: 20
z: 35