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) 为真。
> 检查左操作数的值是否大于右操作数的值,如果大于则条件为真。 (A > B) 为假。
< 检查左操作数的值是否小于右操作数的值,如果小于则条件为真。 (A < B) 为真。
>= 检查左操作数的值是否大于或等于右操作数的值,如果大于或等于则条件为真。 (A >= B) 为假。
<= 检查左操作数的值是否小于或等于右操作数的值,如果小于或等于则条件为真。 (A <= B) 为真。

布尔运算符

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

显示示例

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

位运算符

位运算符在位上操作,并执行逐位运算。&&&(按位 AND)、|||(按位 OR)和 ^^^(按位异或)的真值表如下:

显示示例

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
||| 二进制 OR 运算符将位复制到结果中,如果它存在于任何一个操作数中。 (A ||| B) 将得到 61,即 0011 1101
^^^ 二进制 XOR 运算符将位复制到结果中,如果它在一个操作数中设置,但在另一个操作数中没有设置。 (A ^^^ B) 将得到 49,即 0011 0001
~~~ 二进制一补码运算符是一元的,其作用是“翻转”位。 (~~~A) 将得到 -61,在二进制补码形式中为 1100 0011。
<<< 二进制左移运算符。左操作数的值向左移动由右操作数指定的位数。 A <<< 2 将得到 240,即 1111 0000
>>> 二进制右移运算符。左操作数的值向右移动由右操作数指定的位数。 A >>> 2 将得到 15,即 0000 1111

运算符优先级

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

显示示例

运算符 结合性
as 右结合
when 右结合
| (管道) 左结合
; 右结合
let 非结合
function, fun, match, try 非结合
if 非结合
右结合
:= 右结合
, 非结合
or, || 左结合
&, && 左结合
< op, >op, =, |op, &op 左结合
&&& , |||, ^^^, ~~~, <<<, >>> 左结合
^ op 右结合
:: 右结合
:?>, :? 非结合
- op, +op, (二元) 左结合
* op, /op, %op 左结合
** op 右结合
f x (函数应用) 左结合
| (模式匹配) 右结合
前缀运算符 (+op, -op, %, %%, &, &&, !op, ~op) 左结合
. 左结合
f(x) 左结合
f<types> 左结合
广告
© . All rights reserved.