Java booleschen operator"|="

Kürzlich sah ich einen code mit diesem:

boolean val = something();
val |= somethingElse();

Interessante Teil ist, | = (binären wie) - operator auf primitiven Typ boolean.

Wundert es mich, dass |= existiert für boolean, als wenn es integer-Typ, und suchte Java-Spezifikation für diesen operator, konnte aber keine finden.

Ich würde gespannt sein, ob die Rechte operand wird ausgewertet, wenn der linke Wert bereits true ist.

Kann mir jemand zeigen, um Java-Spezifikation dieses?

  • Es ist lediglich val = val | ähnliches(); // ähnliches() erwartet als return boolean. Es ist ein standard ODER
  • OP weiß, fragt er nach Angabe in einem Dokument.
  • Antwort ist hier dudes: stackoverflow.com/q/2486472/544983
  • Ich dachte, es ist nur || für Boolesche Ausdrücke, so würde ich erwarten, dass Betreiber wie die ||= . Macht es Sinn machen Binär - | ein boolean?
  • Keine Verknüpfung, Auswertung, obwohl nicht ausdrücklich erwähnt. Nur in || den shortcut Logik ist ausdrücklich erwähnt.
  • es ist nicht ein standard-ODER, es ist eine bitweise ODER-operator (im Gegensatz zu einer booleschen operator). Es ist auch eine aggressive operator, im Gegensatz zu einem Kurzschluss-operator (der wie der Boolesche operator).

InformationsquelleAutor Pointer Null | 2013-03-14
  1. 30

    Aus der JLS:

    15.26.2. Zusammengesetzte Zuweisungsoperatoren

    Eine zusammengesetzte Zuweisung Ausdruck der form E1 op= E2 entspricht E1 = (T) ((E1) op (E2)), wo T ist die Art der E1, außer dass E1 wird nur einmal ausgewertet.

    15.22.2. Boolesche Logische Operatoren &, ^ und |

    Wenn beide Operanden eines &, ^ oder | Betreiber sind vom Typ boolean oder Boolean, dann den Typ der bitweisen operator Ausdruck ist boolean. In allen Fällen werden die Operanden unterliegen unboxing-Konvertierung (§5.1.8) als notwendig.

    Für |, das Ergebnis ist false, wenn beide Operanden Werte false sind; ansonsten ist das Ergebnis true.

    Dies bedeutet, dass

    val |= somethingElse();

    ist streng äquivalent zu

    val = val | somethingElse();

    (vorausgesetzt somethingElse() zurück boolean oder Boolean).

    Ich würde gespannt sein, ob die Rechte operand wird ausgewertet, wenn der linke Wert bereits true ist.

    Ja, würde es bewertet werden, da | nicht Kurzschluß:

    15.7.2. Bewerten Operanden vor der Operation

    Der Programmiersprache Java garantiert, dass jeder operand eines operators (außer die bedingte Operatoren &&, ||, und ? :) wird vollständig ausgewertet werden, bevor irgendein Teil der operation selbst durchgeführt wird.

    15.24. Bedingt-Oder-Operator ||

    So || berechnet, das gleiche Ergebnis wie | auf boolean oder Boolean Operanden. Es unterscheidet sich nur darin, dass die rechten Operanden-Ausdruck ausgewertet wird, bedingt anstatt immer.

    InformationsquelleAutor NPE
  2. 4

    Sehen http://docs.oracle.com/javase/specs/jls/se7/html/jls-15.html#jls-15.22.2 für die definition von |. Sehen http://docs.oracle.com/javase/specs/jls/se7/html/jls-15.html#jls-15.26.2 für die Definition des |=. Die Definitionen sind genau das, was Sie denken würde.

    Was mich wundert, ist das fehlen einer ||= Betreiber.

    • links funktionieren nicht mehr 🙁
    • Für was es Wert ist, ich habe aktualisiert die links.
    InformationsquelleAutor Theodore Norvell
  3. 2
    >>I'd be curious if right operand is evaluated if left value already is true.

    Bitweise Operatoren (wie |, &, ..) bewerten beide Seiten, vor der Fertigstellung.

    Logische Operatoren (wie &&, ||, ..) können überspringen Sie die Auswertung des zweiten Teils, in einigen Fällen. Dies wird als short-circuit.

    InformationsquelleAutor Ostap Andrusiv
  4. 2

    Bitweiser Logik-Operatoren haben die gleiche Wirkung der "normalen" Logik-Operatoren auf Boolean.

    Vom Java Language Specification 15.22:

    Wenn beide Operanden von a &, ^, oder | Betreiber sind vom Typ boolean oder
    Boolean, dann den Typ der bitweisen operator-Ausdrucks ist boolean.
    In allen Fällen werden die Operanden unterliegen unboxing-Konvertierung (§5.1.8)
    wie notwendig.

    Zur & der Rückgabewert ist true, wenn beide Operanden die Werte true;
    ansonsten ist das Ergebnis false.

    Für ^, das Ergebnis Wert ist true, wenn die Operanden die Werte unterschiedlich sind;
    ansonsten ist das Ergebnis false.

    Für |, das Ergebnis ist false, wenn beide Operanden Werte sind false;
    ansonsten ist das Ergebnis true.

    Der einzige wirkliche Unterschied ist, dass die bitweisen Operatoren kann nicht verwendet werden, um short-circuit-evaluation.

    Zum Beispiel wird mit diesem code werfen NullPointerException:

    Boolean b1 = new Boolean(true);
Boolean b2 = null;
if (b1 || b2) {
    //no null pointer here;
}
if (b1 | b2) {
    //null pointer here;
}
    InformationsquelleAutor Jean Waghetti
  5. 0

    Es ist nicht Binär, es ist eine "ODER" Logik-Anweisung bedeutet, dass 

     val |= {something else}

    ist der gleiche wie der Boolesche Ausdruck:

    val == val or {something else}

    ist inclusive oder ( regulären oder in der Mathematik Ausdrücke und informatik)

    In einigen Programmiersprachen oder ist bereits von beiden | | - Zeichen und in einigen von einem | einer von Ihnen ist SQL und Datenbanken aller Sprachen, die ich kenne DTD JSON etc..

    InformationsquelleAutor sivi
Schreibe einen Kommentar