[5.11 자료형 변환] 3:22 부분부터 시작되는 ranking 개념

타입이 다른 두 피연산자를 연산할 때 타입을 같게끔 맞춰야 하는데 그렇다면 어떤 타입으로 통일할 것인가에 대한 랭킹이라고 생각해주시면 될 것 같아요!

a * b 라는 연산을 한다고 가정 할 때 a 가 int 이고 b 가 double 이라면 랭킹이 더 높은 double 로 타입을 같게끔 맞추기로 합니다. 따라서 a 가 double 로 형변환이 됩니다. 이제 두 피연산자가 double로 타입이 맞춰졌습니다! 그러면 double 끼리 연산 한 것이니 이 a * b 의 결과도 double 이 되구요! 

4byte 인 int 에서 8byte double 로 변환하면 그냥 그릇만 커진 것이므로 데이터 손실은 일어나지 않습니다. 반면에 double 에서 int 로 변환한다면 8 byte 짜리 데이터를 4byte 짜리 그릇에 욱여 넣으려고 하는 것이니 데이터 손실이 발생합니다. 그렇기 때문에 주로 크기가 더 큰 타입이 랭킹이 더 높습니다. 

아래 예시 코드는 여기서 배운 랭킹 개념과 상관 없어보입니다. 타입이 다른 두 피연산자를 연산하는 a + c 는 랭킹 개념과 관련이 있겠으나 이 결과를 b 에 대입하겠다는건 랭킹과는 상관 없는 개념입니다.(  a + c 결과는 어찌됐건 -1 이기 때문에 이 결과를 unsigned int 에 대입하면 오버플로우가 발생하겠습니다. )