95

So for binary operators on booleans, Java has &, |, ^, && and ||.

Let's summarize what they do briefly here:

For &, the result value is true if both operand values are true; otherwise, the result is false.

For |, the result value is false if both operand values are false; otherwise, the result is true.

For ^, the result value is true if the operand values are different; otherwise, the result is false.

The && operator is like & but evaluates its right-hand operand only if the value of its left-hand operand is true.

The || operator is like |, but evaluates its right-hand operand only if the value of its left-hand operand is false.

Now, among all 5, 3 of those have compound assignment versions, namely |=, &= and ^=. So my question is obvious: why doesn't Java provide &&= and ||= as well? I find that I need those more than I need &= and |=.

And I don't think that "because it's too long" is a good answer, because Java has >>>=. There must be a better reason for this omission.


From 15.26 Assignment Operators:

There are 12 assignment operators; [...] = *= /= %= += -= <<= >>= >>>= &= ^= |=


A comment was made that if &&= and ||= were implemented, then it would be the only operators that do not evaluate the right hand side first. I believe this notion that a compound assignment operator evaluates the right hand side first is a mistake.

From 15.26.2 Compound Assignment Operators:

A compound assignment expression of the form E1 op= E2 is equivalent to E1 = (T)((E1) op (E2)), where T is the type of E1, except that E1 is evaluated only once.

As proof, the following snippet throws a NullPointerException, not an ArrayIndexOutOfBoundsException.

    int[] a = null;
    int[] b = {};
    a[0] += b[-1];
7
  • 2
    I go for the second, no one cares :P also, all these question about 'why feature x is not in language y?' should be asked to the language's designers, not to us :P Oct 1, 2009 at 17:40
  • 1
    What does &= mean ? Some one please can tell me ?
    – Tarik
    Oct 1, 2009 at 17:43
  • @Aaron: a = a & b. It's written in the question Oct 1, 2009 at 17:44
  • 1
    possible duplicate of Why does a "&&=" Operator not exist?
    – Josh Lee
    Aug 16, 2010 at 14:57
  • 1
    @jleedev: That question is older, but this has more votes and incoming links. I'd say if there's any merge, merge the old one to this one (yes, that can be done). Aug 16, 2010 at 15:20

12 Answers 12

33

Reason

The operators &&= and ||= are not available on Java because for most of the developers these operators are:

  • error-prone
  • useless

Example for &&=

If Java allowed &&= operator, then that code:

bool isOk = true; //becomes false when at least a function returns false
isOK &&= f1();
isOK &&= f2(); //we may expect f2() is called whatever the f1() returned value

would be equivalent to:

bool isOk = true;
if (isOK) isOk = f1();
if (isOK) isOk = f2(); //f2() is called only when f1() returns true

This first code is error-prone because many developers would think f2() is always called whatever the f1() returned value. It is like bool isOk = f1() && f2(); where f2() is called only when f1() returns true.

If the developer wants f2() to be called only when f1() returns true, therefore the second code above is less error-prone.

Else &= is sufficient because the developer wants f2() to be always called:

Same example but for &=

bool isOk = true;
isOK &= f1();
isOK &= f2(); //f2() always called whatever the f1() returned value

Moreover, the JVM should run this above code as the following one:

bool isOk = true;
if (!f1())  isOk = false;
if (!f2())  isOk = false;  //f2() always called

Compare && and & results

Are the results of operators && and & the same when applied on boolean values?

Let's check using the following Java code:

public class qalcdo {

    public static void main (String[] args) {
        test (true,  true);
        test (true,  false);
        test (false, false);
        test (false, true);
    }

    private static void test (boolean a, boolean b) {
        System.out.println (counter++ +  ") a=" + a + " and b=" + b);
        System.out.println ("a && b = " + (a && b));
        System.out.println ("a & b = "  + (a & b));
        System.out.println ("======================");
    }

    private static int counter = 1;
}

Output:

1) a=true and b=true
a && b = true
a & b = true
======================
2) a=true and b=false
a && b = false
a & b = false
======================
3) a=false and b=false
a && b = false
a & b = false
======================
4) a=false and b=true
a && b = false
a & b = false
======================

Therefore YES we can replace && by & for boolean values ;-)

So better use &= instead of &&=.

Same for ||=

Same reasons as for &&=:
operator |= is less error-prone than ||=.

If a developer wants f2() not to be called when f1() returns true, then I advice the following alternatives:

// here a comment is required to explain that 
// f2() is not called when f1() returns false, and so on...
bool isOk = f1() || f2() || f3() || f4();

or:

// here the following comments are not required 
// (the code is enough understandable)
bool isOk = false;
if (!isOK) isOk = f1();
if (!isOK) isOk = f2(); //f2() is not called when f1() returns false
if (!isOK) isOk = f3(); //f3() is not called when f1() or f2() return false
if (!isOK) isOk = f4(); //f4() is not called when ...
9
  • 1
    Hi @StriplingWarrior. I have checked with my colleague Yannick, our best Java expert. I have updated my answer using the Java code source used to check that point. As you said & and &&give the same results. Thank you very much for your feedback. Do you like my answer? Cheers.
    – oHo
    Apr 3, 2012 at 8:31
  • 2
    What if I want to do this very fast? &&= would be faster than &=, if it existed, so you should use if (a) a = b for speed Jun 18, 2012 at 17:55
  • Hi @adventurerOK. Sorry I am not sure to understand what you mean... I think a&=b; is faster than if(a) a=b; when using values stored within the CPU registers. However, if b is in external memory (not cached), then if(a) a=b; is faster. Is it what you mean? Please provide more example code ;-) I am curious about your opinion. See you. Cheers
    – oHo
    Jun 25, 2012 at 13:08
  • 17
    I don't agree when you say "And this is not what we want." If I write isOK &&= f2(); I would want it to short circuit just like && does. Jun 4, 2013 at 13:32
  • 4
    I do not agree with your claim that the operators would be error-prone or useless. Using compound assignments is something you do to take a shortcut for the usual A = A op B, so everyone perfectly knows what they are doing and can care for the implications themselves. If your reasons were indeed the cause for its absence, I would see it as unwanted patronizing. However, I wanna thank you for adding the line bool isOk = f1() || f2() || f3() || f4(); because that's what I was to blind to see myself.
    – Franz B.
    Jul 17, 2015 at 14:26
17

Probably because something like

x = false;
x &&= someComplexExpression();

looks like it ought to be assigning to x and evaluating someComplexExpression(), but the fact that the evaluation hinges on the value of x isn't apparent from the syntax.

Also because Java's syntax is based on C, and no one saw a pressing need to add those operators. You'd probably be better off with an if statement, anyway.

6
  • 44
    I think this is not a good answer, because one can argue that x() && y() looks like it ought to evaluate both sides of the expression. Obviously people accept that && is short-circuiting, so that should also follows to &&= as well. Feb 24, 2010 at 8:41
  • 2
    @jleedev, agreed. I believe in these situations it's important to remember that this isn't the equivalent of x = x && someComplexExpression() but the equivalent of x = someComplexExpression() && x. The right-hand side will/should be evaluated first to be consistent with every other assignment operator. And given that, &&= would have no different behavior than &=.
    – PSpeed
    Feb 24, 2010 at 8:46
  • 3
    @PSpeed, you are mistaken. The JLS is very clear on what the compound assignment is supposed to do. See my addition above. Feb 24, 2010 at 8:52
  • 1
    I think saying that they aren't there because the designers simply followed the precedence set by C is misleading, since they did add >>> and >>>=, which are entirely new. Feb 24, 2010 at 9:52
  • 2
    @PSpeed: In that case, a -= b; would work entirely differently from a &&= b;. Mar 22, 2010 at 14:09
12

It is this way in Java, because it is this way in C.

Now the question why it is so in C is because when & and && became different operators (sometime preceding C's descent from B), the &= variety of operators was simply overlooked.

But the second part of my answer does not have any sources to back it up.

1
  • 2
    On the funny side - the question was recently asked in the C forum; and this answer was linked (though not marked duplicate) Which makes completes the circular argument!
    – UKMonkey
    Mar 13, 2019 at 15:10
7

Largely because Java syntax is based on C (or at least the C family), and in C all those assignment operators get compiled to arithmetic or bitwise assembly instructions on a single register. The assignment-operator version avoids temporaries and may have produced more efficient code on early non-optimising compilers. The logical operator (as they are termed in C) equivalents (&&= and ||=) don't have such an obvious correspondence to single assembly instructions; they usually expand to a test and branch sequence of instructions.

Interestingly, languages like ruby do have ||= and &&=.

Edit: terminology differs between Java and C

4
  • I believe you mean the conditional operator equivalents don't have such obvious correspondence. In JLS terminology, the boolean logical operators are &, | and ^; && and || are the conditional operators. Feb 24, 2010 at 8:40
  • In C terminology, && and || are "logical operators", s6.5.13-14 in ISO 9899:1999. The bitwise operators are only "logical" when applied to a single bit (a boolean in java); there is no single-bit type in C and the logical operators there apply to all scalar types.
    – p00ya
    Feb 24, 2010 at 9:29
  • before C99, C didn't even have a bool type. That's 20 years in the language history with no bool. There was no reason to have &&=. bitwise operations were enough.
    – v.oddou
    Apr 2, 2020 at 8:05
  • +1 The only answer that really makes sense. There are no deeper reasons for the lack of those operators than Java's C heritage. C was (and largely still is) just a "high level assembler", and from this perspective there was no need for those operators, since they would not compile into more efficient machine code. Oct 15, 2021 at 8:20
4

One of Java's original aims was to be "Simple, Object Oriented, and Familiar." As applied to this case, &= is familiar (C, C++ have it and familiar in this context meant familiar to someone who knows those two).

&&= would not be familiar, and it would not be simple, in the sense that the language designers were not looking to think of every operator they could add to the language, so less extra operators are simpler.

3

For Boolean vars, && and || would use short circuit evaluation while & and | don't, so you would expect &&= and ||= to also use short circuit evaluation. There is a good use case for this. Especially if you are iterating over a loop, you want to be fast, efficient and terse.

Instead of writing

foreach(item in coll)
{
   bVal = bVal || fn(item); // not so elegant
}

I want to write

foreach(item in coll)
{
  bVal ||= fn(item);    // elegant
}

and know that once bVal is true, fn() will not be called for the remainder of the iterations.

1
  • 2
    For that loop you probably just want to do if (fn(item)) { bVal = true; break; }.
    – Radiodef
    Jun 12, 2015 at 13:19
3

Brian Goetz (Java Language Architect at Oracle) wrote:

https://stackoverflow.com/q/2324549/ [this question] shows that there is interest in having these operators and there are no clear arguments why they don't exist yet. The question is therefore: Has the JDK team discussed adding these operators in the past and if so what where the reasons against adding them?

I'm not aware of any specific discussion on this particular issue, but if someone were to propose it, the answer would likely be: it's not an unreasonable request, but it doesn't carry its weight.

"Carrying its weight" needs to be judged by its costs and benefits, and by its cost-benefit ratio relative to other candidate features.

I think you are implicitly assuming (by the phrase "there is interest") that the cost is near zero and the benefit is greater than zero, so it seems an obvious win. But this belies an incorrect understanding of cost; a feature like this affects the language spec, the implementation, the JCK, and every IDE and Java textbook. There are no trivial language features. And the benefit, while nonzero, is pretty small.

Secondarily, there are infinitely many features we could do, but we only have capacity to do a handful every few years (and users have a limited capacity to absorb new features.) So we have to be very careful as to which we pick, as each feature (even a trivial-seeming one) consumes some of this budget, and invariably takes it away from others.
It's not "why not this feature", but "what other features will we not do (or delay) so we can do this one, and is that a good trade?" And I can't really imagine this being a good trade against anything else we're working on.

So, it clears the bar of "not a terrible idea" (which is already pretty good, a lot of feature requests don't even clear that), but seems unlikely to ever clear the bar of "a better use of our evolution budget than anything else."

2

'&' and '&&' are not the same as '&&' is a short cut operation which will not do if the first operand is false while '&' will do it anyway (works with both number and boolean).

I do agree that it make more sense to exist but it is not that bad if it is not there. I guess it was not there because C does not have it.

Really can't think of why.

1

Funny I came across this question.

The operators ||= and &&= do not exist as their semantics are easily misunderstood; if you think you need them, use an if-statement instead.

Ely (post just above) got the gist right:

||

stops evaluating if the first operand evaluates to true since the result will be true, it's a logical operator.

So imagine what will happen if b == true;

b ||= somethingreturningaboolean(); // !!??

this will not invoke somethingreturningaboolean(), if b == true.

This behavior is more obvious in the long form:

b = b || somethingreturningaboolean();

That's why ||= and &&= ops do not exist. The explanation should be given as: The operators ||= and &&= do not exist as their semantics are easily misunderstood; if you think you need them, use an if-statement instead.

0

It is allowed in Ruby.

If I were to guess, I would say that it is not frequently used so it wasn't implemented. Another explanation could be that the parser only looks at the character before the =

2
  • 1
    Java supports <<=, >>= and >>>=, so that isn't strictly true.
    – Yishai
    Oct 1, 2009 at 18:01
  • true. I didn't think of those. I guess the only explanation is then how frequently it is used.
    – zzawaideh
    Oct 5, 2009 at 14:41
0

I cannot think of any better reason then 'It looks incredible ugly!'

2
  • 10
    But then C/Java was never meant to be beautiful.
    – EFraim
    Oct 1, 2009 at 17:45
  • 2
    I'd barely consider &&= to be ugly
    – asgs
    May 17, 2017 at 7:32
0

&

verifies both operands, it's a bitwise operator. Java defines several bitwise operators, which can be applied to the integer types, long, int, short, char, and byte.

&&

stops evaluating if the first operand evaluates to false since the result will be false, it's a logical operator. It can be applied to booleans.

The && operator is similar to the  & operator, but can make your code a bit more efficient. Because both expressions compared by the & operator must be true for the entire expression to be true, there’s no reason to evaluate the second expression if the first one returns false. The & operator always evaluates both expressions. The && operator evaluates the second expression only if the first expression is true.

Having a &&= assignment operator wouldn't really add new functionality to the language. The bitwise operator's arithmetic is much more expressive, you can do integer bitwise arithmetic, which includes Boolean arithmetic. The logical operators can merely do Boolean arithmetic.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.