하지만 코틀린은 지역 변수뿐 아니라 더 넓은 요소에 대해 타입 추론을 해준다. 이는 다음 장에서 살펴보겠다.
▲ 그림 2-1 합계 프로그램을 인텔리J에서 실행하기
필요할 때는 타입을 명시해도 된다. 타입을 명시하려면 변수 이름 뒤에 콜론(:)을 표시하고, 그 뒤에 타입을 적는다.
val n: Int = 100 val text: String = "Hello!"
이 경우 초깃값이 지정한 타입에 속해야 한다. 다음 코드는 컴파일 오류를 일으킨다.
val n: Int = "Hello!" // Error: assigning String value to Int variable
IDE 팁 ≡
인텔리J에서는 컴파일러가 식이나 값에 대해 추론한 타입을 볼 수 있다. 타입을 보려면 원하는 식을 편집창에서 선택하거나, 변수 이름에 캐럿(편집기 커서)을 위치시키고 Ctrl + Shift + P(Cmd + Shift + P)를 누른다.
▲ 그림 2-2 식의 타입 보기
이를 바탕으로 간단한 액션으로 타입을 명시하거나 명시된 타입을 제거할 수 있다. 캐럿을 변수 식별자에 위치시키고 Alt + Enter를 누른 후, Specify type explicitly(타입 명시)나 Remove explicit type(명시된 타입 제거)을 선택하라(타입 제거는 식별자뿐 아니라 타입 지정에 위치시켜도 작동한다).