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，则 −
| 运算符 | 描述 | 示例 |
|---|---|---|
| &&& | 如果两个操作数中都存在，则二进制 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 |
示例
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
