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