C Language [핵심정리] - 6

1. 자료형의 확장과 축소

정수와 실수 간의 연산 결과는 실수가 나옵니다. 왜냐하면 실수가 정수보다 표현 범위가 넓기 때문이죠. C언어에서는 다른 자료형을 함께 사용한다면 컴파일러에서 암시적 형 변환(implicit type conversion)을 하게 되는데, 자료형의 크기가 큰 (= 표현 범위가 넓은) 쪽으로 자동 변환됩니다. 이를 형 확장(type promotion)이라고 합니다. 

ex) 크기가 다른 int(4byte)자료형과 long long(8byte)자료형을 함께 연산한다면 두 자료형 모두 정수 자료형이지만, int 보다 long long이 표현범위가 넓기 때문에 long long으로 변환됩니다.

 

만약 실수 → 정수처럼 표현범위가 좁은 쪽으로 변환하게 되면 값의 손실이 생깁니다. 이처럼 자료형의 크기가 작은(= 표현범위가 좁은)쪽으로 변환되는 것을 형 축소(type demotion)라고 합니다.

형 확장과 축소

결과

경고

암튼 각설하고 본론을 말하자면 문제는 형 축소에 있습니다. 형 확장의 경우 일반적으로 값을 보존하기 때문에 상관 없지만 형 축소의 경우 컴파일 할 때 값의 손실이 일어날 수 있다는 경고가 나오며, 실제로도 예상치 못한 버그가 나올 수 있습니다.

여기서 컴파일 경고가 나오지 않게 만드는 방법을 형 변환(type conversion, type casting)이라고 합니다. 이는 프로그래머가 강제로 형 변환을 해준다하여 명시적 형 변환(explicit type conversion)이라고 부르기도 합니다.

명시적 형변환

결과

자료형들의 표현 범위

오른 쪽으로 갈수록 크기가 크고 표현 범위가 넓습니다. 그리고 같은 자료형 안에서도 숫자가 높을 수록 표현범위가 넓습니다.

 

☆ 형 변환에 대한 이야기 - 출처 : 코딩도장

1996년 4월 프랑스에서 발사된 아리안 5호 로켓은 발사된 지 단 37초만에 폭발했습니다. 그 원인은 8byte(64bit) 실수를 2byte(16bit)정수로 변환하는 과정에서 오버 플로우가 발생했기 때문인데요. 형 변환 문제로 인해 잘못된 고도가 입력되는 바람에 자동 폭발 장치가 작동되었던 것입니다. 이렇게 형 변환으로 인한 값의 손실은 생각보다 심각한 결과를 초래하기도 합니다.

 

앞으로 여러분도 큰 자료형에서 작은 자료형으로 형 변환할 때는 문제가 발생하지는 않았는지 확인하는 습관을 가져보시는 건 어떨까요..?