Java의 + =,-=, * =, / = 복합 할당 연산자에 캐스팅이 필요하지 않은 이유는 무엇입니까?

오늘까지는 예를 들어 다음과 같이 생각했습니다.

i += j;

다음에 대한 바로 가기였습니다.

i = i + j;

그러나 우리가 이것을 시도한다면 :

int i = 5;
long j = 8;

그러면 i = i + j;컴파일되지 않지만 정상적으로 컴파일 i += j;됩니다.

실제로 i += j;이와 같은 바로 가기 라는 것을 의미합니까 i = (type of i) (i + j)?

이러한 질문들과 마찬가지로 JLS는 그 해답을 가지고 있습니다. 이 경우 §15.26.2 복합 할당 연산자 . 추출물 :

형태의 복합 대입 식을 E1 op= E2동등 E1 = (T)((E1) op (E2))여기서 T의 타입 E1즉 제외 E1한번만 평가된다.

§15.26.2 에서 인용 된 예

[...] 다음 코드가 맞습니다 :

short x = 3;
x += 4.6;

x는 다음과 같기 때문에 값 7을 갖습니다.

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

다시 말해, 당신의 가정은 맞습니다.

이 캐스팅의 좋은 예는 * = 또는 / =

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

또는

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

또는

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

또는

char ch = 'A';
ch *= 1.5;
System.out.println(ch); // prints 'a'

아주 좋은 질문입니다. Java 언어 사양은 귀하의 제안을 확인합니다.

예를 들어 다음 코드는 정확합니다.

short x = 3;
x += 4.6;

x는 다음과 같기 때문에 값 7을 갖습니다.

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

예,

기본적으로 우리가 쓸 때

i += l; 

컴파일러는 이것을 이것을

i = (int)(i + l);

방금 .class파일 코드를 확인했습니다 .

정말 좋은 점

당신은에서 캐스트 필요 long로 int explicitly하는 경우에 i = i + l 다음 컴파일하고 정확한 출력을 제공 할 것입니다. 처럼

i = i + (int)l;

또는

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

그러나 +=연산자가 내재적으로 올바른 변수 유형에서 왼쪽 변수 유형으로 유형 캐스팅을 수행하므로 명시 적으로 캐스팅 할 필요가 없으므로 제대로 작동합니다.

여기서 문제는 유형 캐스팅과 관련이 있습니다.

int와 long을 추가하면

1. int 객체는 long으로 캐스트되고 둘 다 추가되며 긴 객체를 얻습니다.
2. 그러나 긴 객체는 암시 적으로 int로 캐스팅 할 수 없습니다. 따라서 명시 적으로해야합니다.

그러나 +=유형 캐스팅을 수행하는 방식으로 코딩됩니다.i=(int)(i+m)

할당 유형의 오른쪽에있는 표현식 유형이 할당의 왼쪽에있는 변수 유형으로 안전하게 승격 될 수있는 경우 Java 유형 변환은 자동으로 수행됩니다. 따라서 다음을 안전하게 할당 할 수 있습니다.

 byte-> short-> int-> long-> float-> double. 

다른 방식으로는 동일하게 작동하지 않습니다. 예를 들어 첫 번째는 두 번째보다 많은 저장 공간이 필요하므로 정보가 손실 될 수 있기 때문에 long을 int로 자동 변환 할 수 없습니다. 그러한 개종을 강요하려면 명시적인 개종을 수행해야합니다.
유형-변환

때로는 인터뷰에서 그러한 질문을 할 수 있습니다.

예를 들어 다음과 같이 쓸 때

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

자동 타입 캐스팅이 없습니다. C ++에서는 위의 코드를 컴파일하는 동안 오류가 발생하지 않지만 Java에서는 다음과 같은 결과가 나타납니다.Incompatible type exception .

따라서이를 피하려면 다음과 같이 코드를 작성해야합니다.

int a = 2;
long b = 3;
a += b;// No compilation error or any exception due to the auto typecasting

가장 큰 차이점은으로 a = a + b타입 캐스팅이 진행되지 않기 때문에 컴파일러가 타입 캐스팅이 아니라고 화를 낸다는 것입니다. 그러나으로 a += b실제로 수행하는 작업은와 b호환되는 유형으로 유형 변환 하는 것입니다 a. 그래서 당신이 할 경우

int a=5;
long b=10;
a+=b;
System.out.println(a);

당신이 정말로하고있는 일은 :

int a=5;
long b=10;
a=a+(int)b;
System.out.println(a);

미묘한 점은 ...

double 이 int 인 i+j경우 암시 적 타입 캐스트가 있습니다 . 자바 항상ji 정수 사이에 연산이있을 때 정수를 double로 변환합니다.

정수가 i+=j어디에 있고 더블 인지 명확히하기 위해 다음과 같이 설명 할 수 있습니다ij

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

참조 : 암시 적 캐스팅에 대한이 설명

이 경우 명확성 j을 위해 typecast 를 입력 할 수 있습니다 (int).

Java 언어 사양이 정의 E1 op= E2에 해당 될 E1 = (T) ((E1) op (E2))경우 T의 유형 E1과 E1한 번 평가됩니다 .

그것은 기술적 인 답변이지만 왜 그런지 궁금 할 것입니다. 다음 프로그램을 생각해 보자.

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

이 프로그램은 무엇을 인쇄합니까?

당신은 3을 추측 했습니까? 이 프로그램은 컴파일되지 않습니다. 왜? Java에 바이트를 추가하면 을 반환하도록 정의됩니다int . Java Virtual Machine은 바이트 코드를 저장하기 위해 바이트 작업을 정의하지 않기 때문에 (결국 제한된 수의 숫자가 있음) 정수 연산을 사용하는 대신 언어에 노출 된 구현 세부 사항입니다.

그러나 작동 a = a + b하지 않으면 로 정의 된 a += b경우 바이트에서 작동하지 않을 것입니다 . 앞의 예에서 알 수 있듯이 실제로는 그럴 것입니다. 바이트와 ​​쇼트에 대해 연산자를 작동 시키는 해킹으로 암시 적 캐스트가 수반됩니다. 그다지 해킹은 아니지만 Java 1.0 작업 중에는 언어를 처음 출시하는 데 중점을 두었습니다. 이전 버전과의 호환성으로 인해 Java 1.0에 도입 된이 핵을 제거 할 수 없었습니다.E1 += E2E1 = E1 + E2+=