Wendet der Java-Operator &= & oder && an?

Vorausgesetzt

boolean a = false;

Ich habe mich gefragt, ob ich Folgendes tue:

a &= b; 

ist äquivalent zu

a = a && b; //logical AND, a is false hence b is not evaluated.

oder andererseits bedeutet es

a = a & b; //Bitwise AND. Both a and b are evaluated.

Aus der Java-Sprachspezifikation – 15.26.2 Zusammengesetzte Zuweisungsoperatoren.

Ein zusammengesetzter Zuweisungsausdruck des Formulars E1 op= E2 ist äquivalent zu E1 = (T)((E1) op (E2))wo T ist die Art von E1außer dass E1 wird nur einmal ausgewertet.

So a &= b; ist äquivalent zu a = a & b;.

(In einigen Verwendungen macht die Typumwandlung einen Unterschied im Ergebnis, aber in dieser b muß sein boolean und die Typumwandlung tut nichts.)

Und fürs Protokoll, a &&= b; ist kein gültiges Java. Es gibt kein &&= Operator.

In der Praxis gibt es kaum einen semantischen Unterschied zwischen a = a & b; und a = a && b;. (Wenn b eine Variable oder eine Konstante ist, wird das Ergebnis für beide Versionen gleich sein. Es gibt nur einen semantischen Unterschied wann b ist ein Unterausdruck, der Nebeneffekte hat. In dem & Fall tritt die Nebenwirkung immer auf. In dem && Fall tritt es je nach Wert auf a.)

Auf der Leistungsseite besteht der Kompromiss zwischen den Bewertungskosten bund die Kosten für einen Test und Zweig des Wertes von aund die potenzielle Einsparung durch Vermeidung einer unnötigen Zuordnung zu a. Die Analyse ist nicht einfach, aber es sei denn, die Kosten für die Berechnung b nicht trivial ist, ist der Leistungsunterschied zwischen den beiden Versionen zu gering, um eine Überlegung wert zu sein.

sehen 15.22.2 des JLS. Für boolesche Operanden ist die & Operator ist boolesch, nicht bitweise. Der einzige Unterschied zw && und & für boolesche Operanden ist das für && es ist kurzgeschlossen (was bedeutet, dass der zweite Operand nicht ausgewertet wird, wenn der erste Operand als falsch ausgewertet wird).

Also in Ihrem Fall, wenn b ist ein Primitiv, a = a && b, a = a & bund a &= b alle machen das gleiche.

Es ist das letzte:

a = a & b;

Hier ist eine einfache Möglichkeit, es zu testen:

public class OperatorTest {     
    public static void main(String[] args) {
        boolean a = false;
        a &= b();
    }

    private static boolean b() {
        System.out.println("b() was called");
        return true;
    }
}

Die Ausgabe ist b() was calleddaher wird der rechte Operand ausgewertet.

Also, wie schon von anderen erwähnt, a &= b ist das gleiche wie a = a & b.

Ich bin auf eine ähnliche Situation mit booleschen Werten gestoßen, in der ich vermeiden wollte, b() aufzurufen, wenn a bereits falsch war.

Das hat bei mir funktioniert:

a &= a && b()