JAVA 타입간의 기초 형변환 문제

Question

public class MIDEXAM_CODE { public static void main(String[] args) { char c1 &#61; 'A' &#43; 1; // 왜 에러가 발생하지 않는가? char c2 &#61; 'A'; char c3 &#61; c2 &#43; 1; // 에러 발생 System.out.println(&#34;c1&#34; &#43; c1); System.out.println(&#34;c2&#34; &#43; c2); System.out.println(&#34;c3&#34; &#43; c3); short a &#61; 100; int b &#61; 50000; a &#61; (short) b; System.out.println(a); } }char c3 &#61; c2 &#43; 1; 라인에서 incompatible types: possible lossy conversion from int to char 에러가 발생합니다.c2 와 1의 연산과정을 통해 결과 값이 int 형으로 나오기 때문에, char형인 c3에 값을 담기 위해서 강제 형 변환이 필요하다는 것은 이해했습니다.그런데, 같은 원리로 char c1 &#61; 'A' &#43;1; 라인 또한 Char형과 int형의 연산이므로 결과 값이 int이니까 강제 형 변환이 필요하다고 생각되는데 오류가 발생하지 않습니다.두 라인의 차이는 피연산자가 리터럴로만 구성되어있냐, 피연산자에 변수가 있느냐 차이뿐인데, 이런 차이때문에 char c1 &#61; 'A' &#43; 1; 라인에 오류가 발생하지 않은건지 여쭤보고 싶습니다.

사과맛오렌지 · Answer

전자는 컴파일 타임 상수고, 후자는 그렇지 않기 때문입니다.https://stackoverflow.com/questions/3680625/integer-arithmetic-in-java-with-char-and-integer-literalchar c1 = 'A' + 200000; //컴파일 에러 : Type mismatch: cannot convert from int to char

adduci · Answer

char 타입은 long 처럼 접미사가 따로 없죠"이 리터럴은 char 타입이야!" 라고 표현할 방법이 없습니다그래서 자바에선 char 타입의 범위를 넘어서지 않는 선에서 integer형 리터럴을 char타입 변수에 대입하는걸 허용합니다char c = 'A' + 1; 에서 1은 integer 형 리터럴이지만 'A' + 1 의 결과가 char의 범위를 넘어서지 않기 때문에 에러가 안나는거죠근데 이건 어디까지나 리터럴의 경우에만 해당합니다리터럴은 컴파일 타임에 계산이 되거든요근데 c2 + 1; 이건 리터럴이 아니죠 c2는 변수니까요컴파일러는 컴파일 타임에 변수에 들어있는 값이 뭔지 정확히 추적을 못합니다c2 변수에 char 타입의 max 값이 들어있을지 모르니 컴파일 에러가 나는거죠

RWB · Answer

다른분들이 잘 설명해주셨는데, 쉽게 말씀드리자면 코드 컴파일 시점에 컴파일러가 직접 해석 가능(리터럴 상수)하냐 아니냐(변수)의 차이입니다.변수의 경우 말 그대로 값의 변환이 가능한 수이므로, 컴파일 단계에선 해당 변수를 예측할 수 없습니다.int 이하의 자료형은 연산 시 int 로 변환하여 자동으로 연산합니다.이 개념을 토대로 컴파일러의 시점에서 아래 식을 살펴보면char c1 = 'A' + 1 컴파일러는 c1 에 'A' + 1 의 결과인 'B' 가 들어갈 것임을 예측하여 할당할 수 있습니다.char c3 = c1 + 1 반대로 위의 경우, 'A' + 1 과 동일한 연산임에도 불구하고, 컴파일러 시점에서는 c1 이 뭔지 알 수 없습니다.이로 인해 컴파일 단계에서 오류가 발생하게 됩니다.컴파일 단계에선 해당 변수를 예측할 수 없습니다.만약 컴파일러가 변수를 예측할 수 있다면 변수를 통한 연산도 가능하긴 합니다.final char c1 = 'A' + 1; char c2 = c1 + 1;위 연산의 경우, final 식별자로 인해 c1이 변하지 않는 상수임을 명시했습니다.이 경우엔 c1이 불변이므로 컴파일러가 연산할 수 있게 됩니다.

JAVA 타입간의 기초 형변환 문제

3개의 답변

#casting 목록