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 |
