코틀린(Kotlin) 유형 추론이란?

< 코틀린 유형 추론이란? >

유형 추론이란 코틀린 컴파일러가 변수가 어떤 데이터 유형이어야 하는지 추론하거나 결정할 수 있는 경우를 말한다. 변수 선언문에서 변수의 초깃값을 작성하면 변수 선언 시 데이터 유형을 생략할 수 있다. 개발자가 데이터 유형을 작성하지 않았더라도 컴파일러가 변수의 초깃값을 확인하고 개발자의 의도를 가정한다.

< 코틀린 변수 선언문 >

< 데이터 유형까지 입력한 표현식 >

일반적인 코틀린 변수 선언문은 위와 같다. 변수를 선언하기 위한 키워드, 이름, 데이터 유형, 초깃값을 차례대로 입력해야 한다.

< 유형 추론 >

< 데이터 유형을 입력하지 않은 표현식 >

하지만 위와 같은 방법으로도 변수를 정의할 수 있다. 데이터 유형이 입력되지 않았지만, count라는 변수에 정수 5라는 값이 할당되어야 한다는 사실을 통해 컴파일러가 데이터 유형을 정수(Integer)로 설정한다. 서로 다른 2가지 표현식이지만 코드를 실행하면 동일한 결과를 얻는다.