- 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<类型> | 左边 |