let 绑定 (F#)

绑定可将一个标识符与一个值或函数关联在一起。使用 let 关键字可将一个名称绑定到一个值或函数。

// Binding a value:
let identifier-or-pattern [: type] =
   expression
body-expression
// Binding a function value:
let identifier parameter-list [: return-type ] =
   expression
body-expression

备注

可在绑定表达式中使用 let 关键字为一个或多个名称定义值或函数值。let 表达式的最简单形式是将一个名称绑定到一个简单值,如下所示。

let i = 1

如果使用新行将表达式与标识符分离,则必须将表达式的每个行缩进,如以下代码中所示。

let someVeryLongIdentifier =
    // Note indentation below.
    3 * 4 + 5 * 6

还可以指定包含多个名称的模式(如元组),而不仅仅是指定一个名称,如以下代码中所示。

let i, j, k = (1, 2, 3)

body-expression 是在其中使用名称的表达式。主体表达式出现在自己的行上,并缩进到与 let 关键字中的第一个字符刚好对齐的位置:

let result =
    let i, j, k = (1, 2, 3)
    // Body expression: 
    i + 2*j + 3*k

let 绑定可以出现在模块级别、类类型的定义中或本地范围(如函数定义)中。位于模块或类类型中的最高级别的 let 绑定不需要有主体表达式,但位于其他范围级别的此类绑定需要有主体表达式。绑定名称在定义后才可用,而不能在 let 绑定出现前使用,如以下代码中所示。

// Error:
printfn "%d" x  
let x = 100
// OK: 
printfn "%d" x

函数绑定

函数绑定遵循值绑定的规则,只不过函数绑定包含函数名和参数,如以下代码所示。

let function1 a =
    a + 1

一般来说,参数是模式,如元组模式:

let function2 (a, b) = a + b

let 绑定表达式的计算结果为最后一个表达式的值。因此,在下面的代码示例中,将从 100 * function3 (1, 2) 计算 result 的值,计算结果为 300。

let result =
    let function3 (a, b) = a + b
    100 * function3 (1, 2)

有关更多信息,请参见函数 (F#)

类型批注

可以通过以下方式为参数指定类型:包含一个冒号 (:),其后跟一个类型名称,并用括号将它们括起来。也可以通过在最后一个参数后追加冒号和类型来指定返回值的类型。function1 的完整类型批注(其中整数作为参数类型)如下所示。

let function1 (a: int) : int = a + 1

没有显式类型参数时,会使用类型推理来确定函数的参数类型。这可能包括自动将参数的类型通用化为泛型。

有关更多信息,请参见自动泛化 (F#)类型推理 (F#)

类中的 let 绑定

let 绑定可以出现在类类型中,但不可以出现在结构或记录类型中。若要在一个类类型中使用 let 绑定,相应的类必须具有主构造函数。构造函数参数必须出现在类定义中的类型名称之后。一个类类型中的 let 绑定为该类类型定义私有字段和成员,并与该类型中的 do 绑定一起,构成该类型的主构造函数的代码。下面的代码示例演示了包含私有字段 field1 和 field2 的类 MyClass。

type MyClass(a) =
    let field1 = a
    let field2 = "text"
    do printfn "%d %s" field1 field2
    member this.F input =
        printfn "Field1 %d Field2 %s Input %A" field1 field2 input

field1 和 field2 的范围限制在声明它们的类型中。有关更多信息,请参见类中的 let 绑定 (F#)类 (F#)

let 绑定中的类型参数

在类型或计算表达式中,模块级别的 let 绑定可以具有显式类型参数。表达式(如函数定义)中的 let 绑定不能具有类型参数。有关更多信息,请参见泛型 (F#)

let 绑定上的特性

可以对模块中的顶级 let 绑定应用特性,如下面的代码所示。

[<Obsolete>]
let function1 x y = x + y

范围和辅助功能的 let 绑定

实体的大小声明的 let 绑定绑定到包含范围中 (如函数、模块、文件或类),在绑定出现后。因此,可以添加 let 绑定引入名称范围内。在模块中,一个允许一个值或函数对于模块的客户端来访问,只要模块来访问,因此,因为使模块中的绑定编译到模块的公共函数。相反,使类中的绑定是私有的。类。

通常,必须限定模块中的函数名为的模块,当使用由客户端代码。例如,因此,如果模块 Module1 具有函数 function1,用户将指定 Module1.function1 引用该功能。

模块的用户可以使用导入声明使该模块内的功能可用于使用,而不需要限定按模块名称。中提到的示例中,模块的用户在这种情况下可以打开模块使用导入声明打开 Module1 和直接的引用 function1

module Module1 =
    let function1 x = x + 1.0

module Module2 =
    let function2 x =
        Module1.function1 x

    open Module1
    let function3 x =
        function1 x

某些模块具有特性 RequireQualifiedAccess,这意味着,显示的函数必须限定用模块的名称。例如, F# 列表模块具有此特性。

有关模块和访问控件的更多信息,请参见 模块 (F#)访问控制 (F#)

请参见

参考

函数 (F#)

类中的 let 绑定 (F#)