- 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# - 有用的资源
- 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 会给 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<类型> | 左边 |