Auswirkung eines bitweisen Operators auf einen booleschen Wert in Java

Question

Die bitweisen Operatoren sollen Variablen bewegen und sie bitweise bearbeiten. Im Fall von Ganzzahlen, Longs, Zeichen ist dies sinnvoll. Diese Variablen können den gesamten Wertebereich enthalten, der durch ihre Größe erzwungen wird.

Bei booleschen Werten kann ein boolescher Wert jedoch nur zwei Werte enthalten. 1 = wahr oder 0 = falsch. Die Größe des Booleschen Werts ist jedoch nicht definiert. Es kann so groß wie ein Byte oder so klein sein.

Also, was ist der Effekt der Verwendung eines bitweisen Operators auf einem booleschen? Versetzt die JVM sie im Wesentlichen in einen normalen logischen Operator und geht weiter? Behandelt es den booleschen Wert als eine Ein-Bit-Entität für den Zweck der Operation? Oder ist das Ergebnis undefiniert mit der Größe eines booleschen Wertes?

Answer 1

Die Betreiber &,^und | sind bitweise Operatoren, wenn die Operanden primitive Integraltypen sind. Sie sind logische Operatoren, wenn die Operanden boolesch sind, und ihr Verhalten wird im letzteren Fall spezifiziert. Details finden Sie in Abschnitt 15.22.2 der Java Language Specification.

Answer 2

Auch wenn es funktioniert, sollten Sie es nicht tun. Sprachspezifikationen definieren bitweise Operatoren nur dann, wenn beide Operanden aus primitiven ganzzahligen Typen bestehen oder beide vom booleschen Typ sind. Ich würde für einen anderen Fall sagen, dass die Ergebnisse nicht definiert sind:

http://java.sun.com/docs/books/jls/second_edition/html/expressions.doc.html#5228

Answer 3

den bitweise-Operator kann einen Kurzschluss Verhalten umgehen:

boolean b = booleanExpression1() && booleanExpression2(); 
boolean b = booleanExpression1() & booleanExpression2(); 

Wenn booleanExpression1()-false auswertet, dann
booleanExpression2() nicht im ersten Fall ausgewertet wird, und
booleanExpression2() (und was auch immer Nebenwirkungen es haben kann) im zweiten Fall ausgewertet ist,

Answer 4

jenseits dessen, was in den anderen Antworten bedeckt ist, ist es wo rth merkt, dass && und || andere Priorität haben als & und |.

Auszug aus the precedence table (mit höchster Priorität an der Spitze).

bitwise AND     & 
bitwise exclusive OR  ^
bitwise inclusive OR  | 
logical AND     && 
logical OR     || 

Was bedeutet das für Sie?

Absolut nichts, solange Sie bleiben entweder nur & und | oder nur && und ||.

Aber da | hat eine höhere precendence als && (im Gegensatz zu || gegenüber, die eine geringere Priorität hat), frei Mischen sie zu unerwartetem Verhalten führen könnte.

So ist a && b | c && d die gleiche wie a && (b | c) && d,
zu a && b || c && d gegenüber, die (a && b) || (c && d) wäre.

Um zu beweisen, sie nicht gleich sind, einen Auszug aus der Wahrheitstabelle betrachten:

a | b | c | d | (b|c) | (a&&b) | (c&&d) | a && (b|c) && d | (a&&b) || (c&&d) 
F | T | T | T | T | F | T |   F  |  T 
               ^   ^
                |- not the same -| 

Wenn Sie oder auf eine höhere Priorität haben wollen, als AND, Sie konnte Verwendung | und && zusammen, aber Dies wird nicht empfohlen.

Aber Sie sollten wirklich in Klammern setzen, um die Präzedenz zu klären, wenn Sie verschiedene Symbole verwenden, d. H. (a && b) || c (Klammern, um die Priorität zu verdeutlichen), a && b && c (keine Klammern erforderlich).