- F# 基础教程
- F# - 首页
- F# - 概述
- F# - 环境设置
- F# - 程序结构
- F# - 基本语法
- F# - 数据类型
- F# - 变量
- F# - 运算符
- F# - 决策制定
- F# - 循环
- F# - 函数
- F# - 字符串
- F# - 可选类型
- F# - 元组
- F# - 记录
- F# - 列表
- F# - 序列
- F# - 集合
- F# - 映射
- F# - 判别联合
- F# - 可变数据
- F# - 数组
- F# - 可变列表
- F# - 可变字典
- F# - 基本 I/O
- F# - 泛型
- F# - 委托
- F# - 枚举
- F# - 模式匹配
- F# - 异常处理
- F# - 类
- F# - 结构体
- F# - 运算符重载
- F# - 继承
- F# - 接口
- F# - 事件
- F# - 模块
- F# - 命名空间
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> | 左结合 |
广告