F# - 运算符


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

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

算术运算符

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

显示示例

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

比较运算符

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

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

显示示例

操作员 描述 例子
= 检查两个操作数的值是否相等,如果相等则条件为真。 (A == B) 不正确。
<> 检查两个操作数的值是否相等,如果值不相等则条件成立。 (A <> B) 为真。
> 检查左操作数的值是否大于右操作数的值,如果是,则条件为真。 (A > B) 不正确。
< 检查左操作数的值是否小于右操作数的值,如果是,则条件为真。 (A < B) 为真。
>= 检查左操作数的值是否大于或等于右操作数的值,如果是,则条件为真。 (A >= B) 不正确。
<= 检查左操作数的值是否小于或等于右操作数的值,如果是,则条件为真。 (A <= B) 为真。

布尔运算符

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

显示示例

操作员 描述 例子
&& 称为布尔 AND 运算符。如果两个操作数均非零,则条件为真。 (A && B) 是错误的。
|| 称为布尔或运算符。如果两个操作数中的任何一个非零,则条件为真。 (A || B) 为真。
不是 称为布尔非运算符。用于反转其操作数的逻辑状态。如果条件为真,则逻辑 NOT 运算符将为假。 不是 (A && B) 为真。

按位运算符

位运算符作用于位并执行逐位运算。&&&(按位与)、||| 的真值表 (按位或)和^^^(按位异或)如下 -

显示示例

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
^^^ 如果在一个操作数中设置了该位,但不是在两个操作数中都设置了该位,则二进制 XOR 运算符会复制该位。 (A ^^^ B) 将给出 49,即 0011 0001
~~~ 二进制补码运算符是一元的,具有“翻转”位的效果。 (~~~A) 将给出 -61,即 2 的补码形式的 1100 0011。
<<< 二进制左移运算符。左操作数的值向左移动右操作数指定的位数。 A <<< 2 将给出 240,即 1111 0000
>>> 二进制右移运算符。左操作数的值向右移动右操作数指定的位数。 A >>> 2 将得到 15,即 0000 1111

运算符优先级

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

显示示例

操作员 关联性
作为 正确的
什么时候 正确的
| (管道) 左边
; 正确的
非关联性
功能、乐趣、搭配、尝试 非关联性
如果 非关联性
正确的
:= 正确的
, 非关联性
或者,|| 左边
&, && 左边
<操作、>操作、=、|操作、&操作 左边
&&& , |||, ^^^, ~~~, <<<, >>> 左边
^ 操作 正确的
:: 正确的
:?>, :? 非关联性
- op,+op,(二进制) 左边
* 操作,/操作,%操作 左边
** 操作 正确的
fx(函数应用) 左边
| (模式匹配) 正确的
前缀运算符(+op、-op、%、%%、&、&&、!op、~op) 左边
左边
f(x) 左边
f<类型> 左边