符号和运算符参考 (F#)

更新：2010 年 10 月

本主题包含一个表，其中列出了 F# 语言中使用的符号和运算符。

符号和运算符表

下表描述了 F# 语言中使用的符号，提供了包含更多信息的主题的链接，还提供了有关某些符号用法的简要说明。 这些符号根据 ASCII 字符集顺序进行了排序。

符号或运算符	链接	说明
!	引用单元格 (F#) 计算表达式 (F#)	取消对引用单元格的引用。 用在一个关键字之后，指示该关键字的行为的修改版本（由一个工作流控制）。
!=	不适用。	F# 中未使用。 将 <> 用于不等运算。
"	文本 (F#)	分隔文本字符串。
#	编译器指令 (F#) 可变类型 (F#)	为预处理器或编译器指令添加前缀，如 #light。 在与某个类型一起使用时，指示一个可变类型，该类型引用一个类型或其任一派生类型。
$	未提供更多信息。	在内部用于某些编译器生成的变量和函数名称。
%	算术运算符 (F#) 代码引用 (F#)	计算整数模数。 用于接合引用。
&	match 表达式 (F#)	计算可变值的地址，以便在与其他语言进行互操作时使用。 在“与”模式中使用。
&&	布尔运算符 (F#)	计算布尔“与”运算。
&&&	位运算符 (F#)	计算按位“与”运算。
'	文本 (F#) 自动泛化 (F#)	分隔单字符文本。 指示泛型类型参数。
``...``	未提供更多信息。	分隔一个标识符（如果不进行分隔，则它不是合法的标识符，例如一个语言关键字）。
( )	unit 类型 (F#)	表示单元类型的单个值。
(...)	元组 (F#) 运算符重载 (F#)	指示计算表达式的顺序。 分隔元组。 在运算符定义中使用。
(*...*)		分隔可跨多行的注释。
(|...|)	活动模式 (F#)	分隔活动模式。 也称作“香蕉夹”。
*	算术运算符 (F#) 元组 (F#) 度量单位 (F#)	在用作二元运算符时，将左侧数字与右侧数字相乘。 在类型中，指示在元组中配对。 在度量单位类型中使用。
**	算术运算符 (F#)	计算求幂运算（x ** y 表示 x 的 y 次幂）。
+	算术运算符 (F#)	在用作二元运算符时，将左侧数字与右侧数字相加。 在用作一元运算符时，指示正数量。 （从形式上看，它会生成符号不变的相同值。）
,	元组 (F#)	分隔元组元素或类型参数。
-	算术运算符 (F#)	在用作二元运算符时，将从左侧数字减去右侧数字。 在用作一元运算符时，执行求反运算。
->	函数 (F#) match 表达式 (F#)	在函数类型中，分隔参数和返回值。 生成一个表达式（在序列表达式中）；与 yield 关键字等效。 在匹配表达式中使用
.	成员 (F#) 基元类型 (F#)	访问一个成员，并用完全限定名称分隔各个名称。 指定浮点数中的小数点。
..	循环：for...in 表达式 (F#)	指定一个范围。
.. ..	循环：for...in 表达式 (F#)	指定一个范围和一个增量。
.[...]	数组 (F#)	访问一个数组元素。
/	算术运算符 (F#) 度量单位 (F#)	用左侧数字（分子）除以右侧数字（分母）。 在度量单位类型中使用。
//		指示单行注释的开头。
///	XML 文档 (F#)	指示 XML 注释。
:	函数 (F#)	在类型注释中，将参数或成员名称与其类型分离。
::	列表 (F#) match 表达式 (F#)	创建一个列表。 将左侧的元素追加到右侧的列表中。 在模式匹配中使用以分隔列表的各个部分。
:=	引用单元格 (F#)	给引用单元格赋值。
:>	强制转换和转换 (F#)	将一个类型转换为层次结构中更高层的类型。
:?	match 表达式 (F#)	如果值与指定的类型匹配，则返回 true；否则，返回 false（类型测试运算符）。
:?>	强制转换和转换 (F#)	将一个类型转换为层次结构中更低层的类型。
;	详细语法 (F#) 列表 (F#) 记录 (F#)	分隔表达式（通常在详细语法中使用）。 分隔列表元素。 分隔记录字段。
<	算术运算符 (F#)	计算小于运算。
<<	函数 (F#)	按照相反的顺序组合两个函数；首先执行第二个函数（后向组合运算符）。
<<<	位运算符 (F#)	将左侧数量中的位左移右侧指定的位数。
<-	值 (F#)	给变量赋值。
<...>	自动泛化 (F#)	分隔类型参数。
<>	算术运算符 (F#)	如果左侧的数字不等于右侧的数字，则返回 true；否则返回 false。
<=	算术运算符 (F#)	如果左侧的数字小于或等于右侧的数字，则返回 true；否则返回 false。
<|	函数 (F#)	将右侧表达式的结果传递给左侧的函数（后向管道运算符）。
<@...@>	代码引用 (F#)	分隔类型化代码引用。
<@@...@@>	代码引用 (F#)	分隔非类型化的代码引用。
=	算术运算符 (F#)	如果左侧的数字等于右侧的数字，则返回 true；否则返回 false。
==	不适用。	F# 中未使用。 将 = 用于相等运算。
>	算术运算符 (F#)	如果左侧的数字大于右侧的数字，则返回 true；否则返回 false。
>>	函数 (F#)	组合两个函数（前向组合运算符）。
>>>	位运算符 (F#)	将左侧数量中的位右移右侧指定的位数。
>=	算术运算符 (F#)	如果右侧的数字大于或等于左侧的数字，则返回 true；否则返回 false。
?	形参和实参 (F#)	指定可选参数。 用作动态方法和属性调用的运算符。 必须提供自己的实现。
? ... <- ...	未提供更多信息。	用作设置动态属性的操作符。 必须提供自己的实现。
@	列表 (F#) 字符串 (F#)	串联两个列表。 当置于一个字符串文本之前时，指示将对该字符串逐字解释，并且没有任何转义字符的解释。
[...]	列表 (F#)	分隔列表元素。
[|...|]	数组 (F#)	分隔数组元素。
[<...>]	特性 (F#)	分隔特性。
\	字符串 (F#)	对下一个字符进行转义；在字符和字符串文本中使用。
^	静态解析的类型参数 (F#) 字符串 (F#)	指定必须在编译时而不是运行时解析的类型参数。 串联字符串。
^^^	位运算符 (F#)	计算按位“异或”运算。
_	match 表达式 (F#) 泛型 (F#)	指示通配符模式。 指定匿名泛型参数。
`	自动泛化 (F#)	在内部用于指示泛型类型参数。
{...}	序列 (F#) 记录 (F#)	分隔序列表达式和计算表达式。 在记录定义中使用。
|	match 表达式 (F#)	分隔各个匹配用例、各个可区分联合用例以及枚举值。
||	布尔运算符 (F#)	计算布尔“或”运算。
|||	位运算符 (F#)	计算按位“或”运算。
|>	函数 (F#)	将左侧的结果传递给右侧的函数（前向管道运算符）。
~~	运算符重载 (F#)	用于声明一元求反运算符的重载。
~~~	位运算符 (F#)	计算按位“非”运算。
~-	运算符重载 (F#)	用于声明一元减号运算符的重载。
~+	运算符重载 (F#)	用于声明一元加号运算符的重载。

运算符优先级

下表显示 F# 语言中的运算符和其他表达式关键字的优先级顺序（按照从最低优先级到最高优先级的顺序）。 此外，还列出了结合性（如果适用）。

运算符	结合性
as	向右
when	向右
| （管道）	Left
;	向右
let	不可结合
function, fun, match, try	不可结合
if	不可结合
->	向右
:=	向右
,	不可结合
or, ||	Left
&, &&	Left
<op, >op, =,|op, &op	Left
&&&, |||, ^^^, ~~~, <<<, >>>	Left
^op	向右
::	向右
:?>, :?	不可结合
-op、+op（二元）	Left
*op, /op, %op	Left
**op	向右
f x（函数应用程序）	Left
| （模式匹配）	向右
前缀运算符（+op、-op、%、%%、&、&&、!op、~op）	Left
.	Left
f(x)	Left
f<types>	Left

F# 支持自定义运算符重载。 这就意味着您可以定义自己的运算符。 在上表中，op 可以是任何有效的运算符字符序列（可能为空），而不论运算符字符是内置的还是用户定义的。 因此，您可以使用此表来确定为自定义运算符使用什么样的字符序列，以实现所需的优先级级别。 当编译器确定优先级时，将忽略前导 . 字符。

请参见

参考

运算符重载 (F#)

其他资源

F# 语言参考

修订记录

Date	修订记录	原因
2010 年 10 月	添加了有关相等运算符或不等运算符的信息。	信息补充。
2011 年 4 月	已将位运算符添加到优先级表。	客户反馈