Why don't Java's +=, -=, *=, /= compound assignment operators require casting?

后端 未结 11 1307
暖寄归人
暖寄归人 2020-11-21 05:06

Until today, I thought that for example:

i += j;

Was just a shortcut for:

i = i + j;

But if we try this:<

相关标签:
11条回答
  • 2020-11-21 05:21

    Java Language Specification defines E1 op= E2 to be equivalent to E1 = (T) ((E1) op (E2)) where T is a type of E1 and E1 is evaluated once.

    That's a technical answer, but you may be wondering why that's a case. Well, let's consider the following program.

    public class PlusEquals {
        public static void main(String[] args) {
            byte a = 1;
            byte b = 2;
            a = a + b;
            System.out.println(a);
        }
    }
    

    What does this program print?

    Did you guess 3? Too bad, this program won't compile. Why? Well, it so happens that addition of bytes in Java is defined to return an int. This, I believe was because the Java Virtual Machine doesn't define byte operations to save on bytecodes (there is a limited number of those, after all), using integer operations instead is an implementation detail exposed in a language.

    But if a = a + b doesn't work, that would mean a += b would never work for bytes if it E1 += E2 was defined to be E1 = E1 + E2. As the previous example shows, that would be indeed the case. As a hack to make += operator work for bytes and shorts, there is an implicit cast involved. It's not that great of a hack, but back during the Java 1.0 work, the focus was on getting the language released to begin with. Now, because of backwards compatibility, this hack introduced in Java 1.0 couldn't be removed.

    0 讨论(0)
  • 2020-11-21 05:26

    A good example of this casting is using *= or /=

    byte b = 10;
    b *= 5.7;
    System.out.println(b); // prints 57
    

    or

    byte b = 100;
    b /= 2.5;
    System.out.println(b); // prints 40
    

    or

    char ch = '0';
    ch *= 1.1;
    System.out.println(ch); // prints '4'
    

    or

    char ch = 'A';
    ch *= 1.5;
    System.out.println(ch); // prints 'a'
    
    0 讨论(0)
  • 2020-11-21 05:27

    Sometimes, such a question can be asked at an interview.

    For example, when you write:

    int a = 2;
    long b = 3;
    a = a + b;
    

    there is no automatic typecasting. In C++ there will not be any error compiling the above code, but in Java you will get something like Incompatible type exception.

    So to avoid it, you must write your code like this:

    int a = 2;
    long b = 3;
    a += b;// No compilation error or any exception due to the auto typecasting
    
    0 讨论(0)
  • 2020-11-21 05:29

    Subtle point here...

    There is an implicit typecast for i+j when j is a double and i is an int. Java ALWAYS converts an integer into a double when there is an operation between them.

    To clarify i+=j where i is an integer and j is a double can be described as

    i = <int>(<double>i + j)
    

    See: this description of implicit casting

    You might want to typecast j to (int) in this case for clarity.

    0 讨论(0)
  • 2020-11-21 05:30

    As always with these questions, the JLS holds the answer. In this case §15.26.2 Compound Assignment Operators. An extract:

    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.

    An example cited from §15.26.2

    [...] the following code is correct:

    short x = 3;
    x += 4.6;
    

    and results in x having the value 7 because it is equivalent to:

    short x = 3;
    x = (short)(x + 4.6);
    

    In other words, your assumption is correct.

    0 讨论(0)
  • 2020-11-21 05:31

    you need to cast from long to int explicitly in case of i = i + l then it will compile and give correct output. like

    i = i + (int)l;
    

    or

    i = (int)((long)i + l); // this is what happens in case of += , dont need (long) casting since upper casting is done implicitly.
    

    but in case of += it just works fine because the operator implicitly does the type casting from type of right variable to type of left variable so need not cast explicitly.

    0 讨论(0)
提交回复
热议问题