Este operador se llama bitwise inclusive OR, en castellano sería: operador OR inclusivo bit a bit
¿Qué hace?
El operador OR inclusivo bit a bit ( | ) compara cada bit del primer operando con el bit correspondiente del segundo operando, produciendo un valor puro que es el OR
de sus operandos. Si uno de los dos bits es 1, el bit del resultado correspondiente se establece en 1. De lo contrario, el bit del resultado correspondiente se establece en 0.
Lo podemos ver claramente en esta imagen. Vemos en los valores de la línea central cómo se va produciendo el resultado final.
Si queremos verlo en código Java, podemos ver los resultados de este pequeño programa:
class Rextester
{
private static int i;
private static int j;
private static int k;
public static void main(String args[])
{
i=7;
j=5;
k=i|j;
printResult(i,j,k);
System.out.println("--------------------------------------------------------------------");
i=141;
j=154;
k=i|j;
printResult(i,j,k);
System.out.println("--------------------------------------------------------------------");
i=788;
j=657;
k=i|j;
printResult(i,j,k);
System.out.println("--------------------------------------------------------------------");
i=10000;
j=12000;
k=i|j;
printResult(i,j,k);
}
private static void printResult(int i, int j, int k)
{
System.out.println("Variable i\tDecimal:\t"+i + "\tBinario:\t" + Integer.toBinaryString(i));
System.out.println("Variable j\tDecimal:\t"+j + "\tBinario:\t" + Integer.toBinaryString(j));
System.out.println("i | j = k \tDecimal:\t"+k + "\tBinario:\t" + Integer.toBinaryString(k));
}
}
Resultado
Se han convertido los números en binario usando Integer.toBinaryString
para poder analizar cómo se construye el resultado final.
Variable i Decimal: 7 Binario: 111
Variable j Decimal: 5 Binario: 101
i | j = k Decimal: 7 Binario: 111
--------------------------------------------------------------------
Variable i Decimal: 141 Binario: 10001101
Variable j Decimal: 154 Binario: 10011010
i | j = k Decimal: 159 Binario: 10011111
--------------------------------------------------------------------
Variable i Decimal: 788 Binario: 1100010100
Variable j Decimal: 657 Binario: 1010010001
i | j = k Decimal: 917 Binario: 1110010101
--------------------------------------------------------------------
Variable i Decimal: 10000 Binario: 10011100010000
Variable j Decimal: 12000 Binario: 10111011100000
i | j = k Decimal: 12272 Binario: 10111111110000
¿Cómo funciona?
El operador |
se evalúa de izquierda a derecha. Y nunca produce una excepción.
Se puede usar por ejemplo con código como este en Java::
setFont("Helvetica", Font.BOLD | Font.ITALIC, 18);
Los operandos deben ser de tipo entero o de tipo booleano, de lo contrario habrá error de compilación.
Si ambos operandos son de tipos enteros, el operador realiza una operación OR inclusiva en el bit. El operador puede realizar conversiones de tipo en los operandos:
- Si cualquiera de los operandos es de tipo
long
, el otro operando se convierte en long
y la operación produce un valor long
.
- De lo contrario, ambos operandos se convierten en
int
y la operación produce un valor int
.
Si ambos operandos son de tipo booleano, el operador realiza una operación lógica OR inclusiva. La operación lógica inclusiva OR produce un valor puro de tipo booleano. Si uno o ambos operandos son verdaderos, la operación produce verdadero (true
); de lo contrario la operación produce falso (false
).
Este operador difiere del operador OR condicional (||
) porque siempre evalúa ambos de sus operandos, incluso si su operando izquierdo se evalúa como verdadero.
Pero... esto suena a medio chino ¿no? ¿Para qué sirve tanto rollo?
Lo cierto es que para la mayoría de aplicaciones que desarrollamos en Java esto no tendría gran utilidad, pero cuando nos vamos a la programación de bajo nivel... Bajo nivel no se refiere a la calidad del programador, sino a que te sumerges más en el código, o sea, que te enfrentas cara a cara con la máquina ... y ahí te quiero ver :)
En programación de bajo nivel esto tiene una utilidad enorme, ya que podemos por ejemplo pasar múltiples opciones a una función usando un sólo número entero, lo cual repercute en un ahorro de memoria considerable.
Esto no es tan fácil de explicar, pero vamos a tomar un ejemplo que nos suene.
Pensemos en un Dialog Box
en el cual nos aparecen varias opciones: SÍ, NO, OK, CANCEL
.
Eso nos suena, ¿verdad?
Supongamos que tenemos que construir una clase para manejar nuestro cuadro de diálogo.
Un programador de alto nivel, es decir, uno que en realidad nunca se enfrenta cara a cara con la máquina, escribiría la clase de este modo:
public class PopupWindow extends Sprite
{
// Variables, Constructor, etc...
public static void showPopup(yesButton:Boolean, noButton:Boolean, okayButton:Boolean, cancelButton:Boolean)
{
if(yesButton)
{
// add YES button
}
if(noButton)
{
// add NO Button
}
// and so on for the rest of the buttons
}
}
Este código tiene algunos problemas:
- Le estamos pasando cuatro parámetros al método
- Tienes que buscar el orden de los argumentos cada vez que llamas a la función.
- Si sólo deseas mostrar el botón Cancelar, debes configurar todos los demás booleanos como falsos.
¿Y que tal si aplicamos operadores bit a bit?
El código quedaría más o menos así:
public class PopupWindow extends Sprite
{
public static const YES:int = 1;
public static const NO:int = 2;
public static const OKAY:int = 4;
public static const CANCEL:int = 8;
public static void showPopup(buttons:int)
{
if(buttons & YES)
{
// add YES button
}
if(buttons & NO)
{
// add NO button
}
}
}
¿Cómo podría un programador llamar a la función para que se muestren el botón Sí, el botón No y el botón Cancelar?
De este modo:
PopupWindow.show(PopupWindow.YES | PopupWindow.NO | PopupWindow.CANCEL);
¿Que esta pasando? Es importante notar que nuestras constantes en el segundo ejemplo son todas potencias de dos. Por lo tanto, si nos fijamos en sus formas binarias, notaremos que todos tienen un dígito igual a 1, y el resto igual a 0. De hecho, cada uno tiene un dígito diferente igual a 1. Esto significa que no importa cómo los combinemos, cuando usemos el operador |
.
Para nuestro ejemplo actual tenemos:
PopupWindow.YES | PopupWindow.NO | PopupWindow.CANCEL
que es equivalente:
1 | 2 | 8
que reescrito en binario es:
00000001 | 00000010 | 00001000
que nos da un resultado de:
00001011
Ahora, si en nuestro método showPopup()
, usamos el operador &
para comprobar qué opciones fueron pasadas. Por ejemplo, cuando comprobamos los botones & YES
, todos los bits en YES
son iguales a 0
excepto el más a la derecha. Por lo tanto, estamos esencialmente comprobando si el bit más a la derecha en los botones es un 1 o no. Si lo es, los botones YES
no serán iguales a 0 y cualquier cosa en la sentencia if
será ejecutada. Por el contrario, si el bit más a la derecha en los botones es 0, los botones & YES
serán iguales a 0 y la sentencia if
no se ejecutará.
Geeenial, ¿no?
Pero eso no es nada, comparado a operaciones más complicadas que pueden hacerse usando estos operadores y combinándolos.
Si queremos empezar a ser programadores de bajo nivel, podemos probar con algo parecido al ejemplo de más arriba... o con algo de mucho más bajo nivel, más complicado.
Cabe decir, que los números asignados son escogidos de forma inteligente por el programador, para que ocurra lo mencionado más arriba, de forma que no haya nunca coincidencia de resultados y el código se nos haga un lío, o la máquina explote o se funda. :)
Un ejemplo típico
Si nosotros analizamos la Clase SWT
de Eclipse, podremos ver fácilmente que utiliza operaciones binarias para casi todo.
Por ejemplo, para un simple botón CANCEL
, dice:
public static final int CANCEL
The MessageBox style constant for a CANCEL button;
valid combinations are OK|CANCEL, YES|NO|CANCEL, RETRY|CANCEL
(value is 1<<8).
Referencias: