F# - 运算符

运算符是告诉编译器执行特定数学或逻辑操作的符号。 F#内置丰富的运算符,提供了以下类型的运算符 −

  • 算术运算符
  • 比较运算符
  • 布尔运算符
  • 按位运算符

算术运算符

下表显示了 F# 语言支持的所有算术运算符。 假设变量 A 为 10,变量 B 为 20,则 −

显示示例

运算符 描述 示例
+ 两个操作数相加 A + B 将给出 30
- 从第一个操作数中减去第二个操作数 A - B 将给出 -10
* 将两个操作数相乘 A * B 将给出 200
/ 分子除以分母 B / A 将给出 2
% 模数运算符和整数除法后的余数 B % A 将给出 0
** 求幂运算符,计算一个操作数的另一个操作数次方 B**A 将给出 2010

比较运算符

下表显示了 F# 语言支持的所有比较运算符。 这些二进制比较运算符可用于整型和浮点类型。 这些运算符返回 bool 类型的值。

假设变量 A 为 10,变量 B 为 20,则 −

显示示例

运算符 描述 示例
= 检查两个操作数的值是否相等,如果相等则条件成立。 (A == B) 不成立。
<> 检查两个操作数的值是否相等,如果值不相等则条件成立。 (A <> B) is true.
> 检查左操作数的值是否大于右操作数的值,如果是则条件成立。 (A > B) 不成立。
< 检查左操作数的值是否小于右操作数的值,如果是则条件成立。 (A < B) 成立。
>= 检查左操作数的值是否大于或等于右操作数的值,如果是则条件成立。 (A >= B) 不成立。
<= 检查左操作数的值是否小于或等于右操作数的值,如果是则条件成立。 (A <= B) 成立。

布尔运算符

下表显示了 F# 语言支持的所有布尔运算符。 假设变量 A 为 true,变量 B 为 false,则 −

显示示例

运算符 描述 示例
&& 称为布尔 AND 运算符。 如果两个操作数都非零,则条件为真。 (A && B) 为 false。
|| 称为布尔 OR 运算符。 如果两个操作数中有任何一个非零,则条件为真。 (A || B)为 true。
not 称为布尔 NOT 运算符。 用于反转其操作数的逻辑状态。 如果条件为 true,则逻辑 NOT 运算符将为 false。 not (A && B) 为 true。

显示示例

p q p &&& q p ||| q p ^^^ q
0 0 0 0 0
0 1 0 1 1
1 1 1 1 0
1 0 0 1 1

假设 A = 60; B=13; 现在以二进制格式,它们将如下 −

A = 0011 1100

B = 0000 1101

-----------------

A&&&B = 0000 1100

A|||B = 0011 1101

A^^^B = 0011 0001

~~~A = 1100 0011

下表列出了 F# 语言支持的按位运算符。 假设变量 A 为 60,变量 B 为 13,则 −

运算符 描述 示例
&&& 如果两个操作数中都存在,则二元 AND 运算符会将一位复制到结果中。 (A &&& B) 将给出 12,即 0000 1100
||| 二元或运算符复制一个位(如果任一操作数中存在该位)。 (A ||| B) 将给出 61,即 0011 1101
^^^ 如果在一个操作数中设置了该位,但不是在两个操作数中都设置了该位,则二元异或运算符会复制该位。 (A ^^^ B) 将给出 49,即 0011 0001
~~~ 二进制补码运算符是一元的,具有"翻转"位的效果。 (~~~A) 将给出 -61,即 2 的补码形式的 1100 0011。
<<< 二进制左移运算符。 左操作数的值向左移动右操作数指定的位数。 A <<< 2 将给出 240,即 1111 0000
>>> 二进制右移运算符。 左操作数的值向右移动右操作数指定的位数。 A >>> 2 将给出 15,即 0000 1111

运算符优先级

下表显示了 F# 语言中运算符和其他表达式关键字的优先级顺序(从最低优先级到最高优先级)。

显示示例

运算符 关联性
as Right
when Right
| (pipe) Left
; Right
let Non associative
function, fun, match, try Non associative
if Non associative
Right
:= Right
, Non associative
or, || Left
&, && Left
< op, >op, =, |op, &op Left
&&& , |||, ^^^, ~~~, <<<, >>> Left
^ op Right
:: Right
:?>, :? Non associative
- op, +op, (binary) Left
* op, /op, %op Left
** op Right
f x (function application) Left
| (pattern match) Right
prefix operators (+op, -op, %, %%, &, &&, !op, ~op) Left
. Left
f(x) Left
f<types> Left