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

列印頁面