F# - 位运算符

位运算符作用于位，并执行逐位运算。 &&&（按位与）、|||（按位或）和^^^（按位异或）的真值表如下：

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，则：

运算符	描述	示例
&&&	按位与运算符：如果位同时存在于两个操作数中，则将其复制到结果中。	(A &&& B) 将得到 12，即 0000 1100
\|\|\|	按位或运算符：如果位存在于任一操作数中，则将其复制。	(A \|\|\| B) 将得到 61，即 0011 1101
^^^	按位异或运算符：如果位在一个操作数中设置，但在另一个操作数中未设置，则将其复制。	(A ^^^ B) 将得到 49，即 0011 0001
~~~	按位取反运算符：它是单目运算符，具有“翻转”位的效果。	(~~~A) 将得到 -61，在二进制补码形式下为 1100 0011。
<<<	左移位运算符：左操作数的值向左移动由右操作数指定的位数。	A <<< 2 将得到 240，即 1111 0000
>>>	右移位运算符：左操作数的值向右移动由右操作数指定的位数。	A >>> 2 将得到 15，即 0000 1111

示例

在线演示

let a : int32 = 60 // 60 = 0011 1100
let b : int32 = 13 // 13 = 0000 1101
let mutable c : int32 = 0

c <- a &&& b // 12 = 0000 1100
printfn "Line 1 - Value of c is %d" c

c <- a ||| b // 61 = 0011 1101
printfn "Line 2 - Value of c is %d" c

c <- a ^^^ b // 49 = 0011 0001
printfn "Line 3 - Value of c is %d" c

c <- ~~~a // -61 = 1100 0011
printfn "Line 4 - Value of c is %d" c

c <- a <<< 2 // 240 = 1111 0000
printfn "Line 5 - Value of c is %d" c

c <- a >>> 2 // 15 = 0000 1111
printfn "Line 6 - Value of c is %d" c

编译并执行程序后，将产生以下输出：

Line 1 - Value of c is 12
Line 2 - Value of c is 61
Line 3 - Value of c is 49
Line 4 - Value of c is 49
Line 5 - Value of c is 240
Line 6 - Value of c is 15

fsharp_operators.htm

打印页面