F # - Operadores bit a bit

Los operadores bit a bit trabajan en bits y realizan operaciones bit a bit. Las tablas de verdad para &&& (AND bit a bit), ||| (OR bit a bit) y ^^^ (OR exclusivo bit a bit) son los siguientes:

pags 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

Suponga si A = 60; y B = 13; ahora en formato binario serán los siguientes:

A = 0011 1100

B = 0000 1101

-----------------

A &&& B = 0000 1100

A ||| B = 0011 1101

A ^^^ B = 0011 0001

~~~ A = 1100 0011

Los operadores bit a bit admitidos por el lenguaje F # se enumeran en la siguiente tabla. Suponga que la variable A tiene 60 y la variable B tiene 13, entonces -

Operador Descripción Ejemplo
&&& El operador AND binario copia un bit al resultado si existe en ambos operandos. (A &&& B) dará 12, que es 0000 1100
||| El operador OR binario copia un bit si existe en cualquiera de los operandos. (A ||| B) dará 61, que es 0011 1101
^^^ El operador binario XOR copia el bit si está configurado en un operando pero no en ambos. (A ^^^ B) dará 49, que es 0011 0001
~~~ El operador de complemento binario es unario y tiene el efecto de "voltear" bits. (~~~ A) dará -61, que es 1100 0011 en forma de complemento a 2.
<<< Operador binario de desplazamiento a la izquierda. El valor de los operandos de la izquierda se mueve a la izquierda el número de bits especificado por el operando de la derecha. Un <<< 2 dará 240 que es 1111 0000
>>> Operador de cambio a la derecha binario. El valor de los operandos de la izquierda se mueve hacia la derecha el número de bits especificado por el operando de la derecha. A >>> 2 dará 15 que es 0000 1111

Ejemplo

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

Cuando compila y ejecuta el programa, produce el siguiente resultado:

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