运算符
优质
小牛编辑
134浏览
2023-12-01
运算符是一个符号,告诉编译器执行特定的数学或逻辑操作。 F#内置运算符丰富,提供以下类型的运算符 -
- 算术运算符
- 比较运算符
- 布尔运算符
- 按位运算符
算术运算符 (Arithmetic Operators)
下表显示了F#语言支持的所有算术运算符。 假设变量A保持10,变量B保持20然后 -
操作者 | 描述 | 例 |
---|---|---|
+ | 添加两个操作数 | A + B将给出30 |
- | 从第一个减去第二个操作数 | A - B将给-10 |
* | 将两个操作数相乘 | A * B将给出200 |
/ | Divides numerator by de-numerator | B/A会给2 |
% | 模数运算符和整数除法后的余数 | B%A将给出0 |
** | 指数运算符,为另一个运算符提供操作数 | B ** A将给出20 10 |
比较运算符 (Comparison Operators)
下表显示了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运算符。 用于反转其操作数的逻辑状态。 如果条件为真,则Logical NOT运算符将为false。 | 不(A && B)是真的。 |
按位运算符 (Bitwise Operators)
按位运算符处理位并执行逐位运算。 &&&(按位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#语言支持的Bitwise运算符如下表所示。 假设变量A保持60,变量B保持13,则 -
操作者 | 描述 | 例 |
---|---|---|
&&& | 如果二进制AND运算符存在于两个操作数中,则它会将结果复制到结果中。 | (A &&& B)将给出12,即0000 1100 |
||| | 二进制OR运算符如果存在于任一操作数中,则复制一位。 | (A ||| B)将给出61,即0011 1101 |
^^^ | 二进制异或运算符如果在一个操作数中设置但不在两个操作数中设置,则复制该位。 | (A ^^^ B)将给出49,即0011 0001 |
~~~ | 二元一元补语运算符是一元的,具有“翻转”位的效果。 | (~~~ A)将给出-61,即2的补码形式的1100 0011。 |
<<< | 二进制左移运算符。 左操作数值向左移动右操作数指定的位数。 | <<< 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 | 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 |