[F#, Basic] 轻松学习系列 ( 4 ) ─ 关键字

摘要:Visual F#


继前一文 ([F#, Basic] 轻松学习系列 ( 3 ) ─ 数据类型 [2]),今天就再针对 关键字 进行介绍,以利之后相关学习上参考使用!


下表依字母顺序显示所有 F# 关键字及其简短说明,以及提供更多资讯的相关主题连结。

Keyword

Link

描述

abstract

成员 (F#)

抽象类 (F#)

表示在其声明之类型中没有实践的方法,或是虚拟且有默认实践的方法。

and

let 系结 (F#)

成员 (F#)

条件约束 (F#)

用于相互递归系结中、属性声明中,以及在泛型属性上与多个条件约束一起使用。

as

类 (F#)

模式比对 (F#)

用来提供对象名称给目前的类对象。 也用来提供名称给模式比对中的整个模式。

assert

判断提示 (F#)

用于侦错期间验证程序。

base

类 (F#)

继承 (F#)

做为基底类对象的名称。

begin

详细语法 (F#)

在详细语法中,表示程序区块的开头。

class

类 (F#)

在详细语法中,表示类定义的开头。

default

成员 (F#)

表示抽象方法的实践;与抽象方法声明一起用来建立虚拟方法。

delegate

委派 (F#)

用来声明委派 (Delegate)。

do

do 系结 (F#)

循环:for...to 运算式 (F#)

循环:for...in 运算式 (F#)

循环:while...do 运算式 (F#)

用于循环建构或用来执行命令式程序。

done

详细语法 (F#)

在详细语法中,表示循环运算式中程序区块的结尾。

downcast

转型和转换 (F#)

用来转换为继承链接中的较低类型。

downto

循环:for...to 运算式 (F#)

for expression, used when counting in reverse.' data-gu>在 for 运算式中,反向计数时使用。

elif

条件运算式:if... then...else (F#)

用于条件分支。 else if.' data-gu>else if 的简短形式。

else

条件运算式:if... then...else (F#)

用于条件分支。

end

结构 (F#)

已区分的联集 (F#)

数据录 (F#)

类型扩充 (F#)

详细语法 (F#)

在类型定义和类型扩充中,表示成员定义区段的结尾。

begin keyword.' data-gu>在详细语法中,用来表示以 begin 关键字开头之程序区块的结尾。

exception

例外状况处理 (F#)

例外状况类型 (F#)

用来声明例外状况类型。

extern

外部函数 (F#)

表示声明的程序项目定义于另一个二进制档或组件。

false

基本类型 (F#)

做为布尔常值。

finally

例外状况:try...finally 运算式 (F#)

try to introduce a block of code that executes regardless of whether an exception occurs.' data-gu>与 try 一起用来引入无论是否发生例外状况都会执行的程序区块。

for

循环:for...to 运算式 (F#)

循环:for...in 运算式 (F#)

用于循环建构。

fun

Lambda 运算式:fun 关键字 (F#)

用于 Lambda 运算式,也称为匿名函数。

function

搜寻运算式 (F#)

Lambda 运算式:fun 关键字 (F#)

fun keyword and a match expression in a lambda expression that has pattern matching on a single argument.' data-gu>fun 关键字以及 Lambda 运算式中对单一参数执行模式比对之 match 运算式的较短替代方式。

global

命名空间 (F#)

用来参考最上层 .NET 命名空间。

if

条件运算式:if... then...else (F#)

用于条件分支建构。

in

循环:for...in 运算式 (F#)

详细语法 (F#)

用于序列运算式,以及在详细语法中用来分离运算式和系结。

inherit

继承 (F#)

用来指定基底类或基底界面。

inline

函数 (F#)

内嵌函数 (F#)

用来表示应直接整合至调用端程序的函数。

interface

界面 (F#)

用来声明及实践界面。

internal

存取控制 (F#)

用来指定成员在组件内部是可见但在外部是不可见的。

lazy

延迟运算 (F#)

用来指定只在需要结果时才执行的计算。

let

let 系结 (F#)

用来将名称与值或函数产生关联 (或系结)。

let!

异步工作流程

计算运算式

用来将名称系结的异步的计算结果的异步工作流程中,或在其他计算的运算式,用来系结的结果,也就是计算类型的名称。

match

搜寻运算式 (F#)

透过比较值与模式,用于分支。

member

成员 (F#)

用来声明对象类型中的属性或方法。

module

模块 (F#)

用来将名称与相关类型、值和函数群组产生关联,在逻辑上从其他程序分离。

mutable

let 系结 (F#)

用来声明变量,也就是可变更的值。

namespace

命名空间 (F#)

用来将名称与相关类型和模块群组产生关联,在逻辑上从其他程序分离。

new

建构函数 (F#)

条件约束 (F#)

用来声明、定义或叫用建立或可建立对象的建构函数。

在泛型参数条件约束中也用来表示类型必须有特定的建构函数。

not

符号和操作符参考 (F#)

条件约束 (F#)

实际上并不是关键字。 not struct in combination is used as a generic parameter constraint.' data-gu>不过,组合中的 not struct 是做为泛型参数条件约束。

null

Null 值 (F#)

条件约束 (F#)

表示缺少对象。

也用于泛型参数条件约束。

of

已区分的联集 (F#)

委派 (F#)

例外状况类型 (F#)

在已区分的联集中用来表示值分类的类型,也用于委派和例外状况声明。

open

导入声明:open 关键字 (F#)

用来让命名空间或模块的内容可以在没有限定性条件下使用。

or

符号和操作符参考 (F#)

条件约束 (F#)

or operator.' data-gu>在布尔条件中做为布尔 or 操作符。 ||.' data-gu>相当于 ||。

也用于成员条件约束。

override

成员 (F#)

用来实践一个不同于基底版本的抽象或虚拟方法版本。

private

存取控制 (F#)

限制对相同类型或模块中程序成员的存取。

public

存取控制 (F#)

允许对类型外部成员的存取。

rec

函数 (F#)

用来表示函数是递归函数。

return

异步工作流程 (F#)

计算运算式 (F#)

用来表示做为计算运算式的结果值。

return!

计算运算式

异步工作流程

用来指出运算的运算式,评估时,提供包含计算运算式的结果。

select

查询运算式 (F#)

用于查询运算式中指定字段或撷取的数据行为何。 请注意这是内容关键字,也就不是实际的保留的字,它仅就像在适当的内容中的关键字。

static

成员 (F#)

用来表示可在没有类型执行个体的情况下调用的方法或属性,或是所有类型执行个体共用的值成员。

struct

结构 (F#)

条件约束 (F#)

用来声明结构类型。

也用于泛型参数条件约束。

在模块定义中做为 OCaml 相容性之用。

then

条件运算式:if... then...else (F#)

建构函数 (F#)

用于条件运算式。

也用于对象建构后执行副作用。

to

循环:for...to 运算式 (F#)

for loops to indicate a range.' data-gu>在 for 循环中用来表示范围。

true

基本类型 (F#)

做为布尔常值。

try

例外状况:try...with 运算式 (F#)

例外状况:try...finally 运算式 (F#)

用来引入可能会产生例外状况的程序区块。 with or finally.' data-gu>与 with 或 finally 一起使用。

type

F# 类型

类 (F#)

数据录 (F#)

结构 (F#)

枚举 (F#)

已区分的联集 (F#)

类型缩写 (F#)

测量单位 (F#)

用来声明类、记录、结构、已区分的联集、枚举类型、测量单位或类型缩写。

upcast

转型和转换 (F#)

用来转换为继承链接中的较高类型。

use

资源管理:use 关键字 (F#)

let for values that require Dispose to be called to free resources.' data-gu>针对需要调用 Dispose 以释放资源的值,用来取代 let。

use!

计算运算式

异步工作流程

let! in asynchronous workflows and other computation expressions for values that require Dispose to be called to free resources.' data-gu>用来取代let!在异步工作流程和其他的计算值的运算式需要Dispose被调用以释放资源。

val

明确字段:val 关键字 (F#)

签章 (F#)

成员 (F#)

在签章中用来表示值,或在类型中声明成员 (有限情况下)。

void

基本类型 (F#)

void type.' data-gu>表示 .NET void 类型。 与其他 .NET 语言相互操作时使用。

when

条件约束 (F#)

when guards) on pattern matches and to introduce a constraint clause for a generic type parameter.' data-gu>在模式比对上用于布尔条件 (“When 成立条件”(When Guard)),以及引入泛型类型参数的条件约束子句。

while

循环:while...do 运算式 (F#)

引入循环建构。

with

搜寻运算式 (F#)

对象运算式 (F#)

类型扩充 (F#)

例外状况:try...with 运算式 (F#)

match keyword in pattern matching expressions.' data-gu>在模式比对运算式中与 match 关键字一起使用。 在对象运算式、记录复制运算式和类型扩充中也用来引入成员定义,以及引入例外状况处理常式。

yield

序列 (F#)

在序列运算式中用来产生序列的值。

yield!

计算运算式

异步工作流程

用于计算的运算式中将附加到包含计算运算式的结果集合的指定的运算的运算式的结果。


--mlcompatibility compiler option, these keywords are available for use as identifiers.' data-gu>

下列语汇基元是保留关键字,供 F# 语言日后扩充之用:

atomic

break

checked

component

const

constraint

constructor

continue

eager

event

external

fixed

functor

include

method

mixin

object

parallel

process

protected

pure

sealed

tailcall

trait

virtual

volatile


 


 
上述全文引用: http://msdn.microsoft.com/zh-tw/library/dd233249.aspx