자바에서는 참조를 다른 타입으로 강제 타입 변환(cast)해야 할 때가 가끔 있다. 참조 대상 객체가 지정한 타입으로 변환이 불가능한 타입의 객체라면 ClassCastException이 발생한다. 따라서 항상 instanceof 연산자로 먼저 타입 변환이 가능한지 검사해야 한다.

Object payload = message.getPayload();
int length = -1;

if (payload intanceof String) {
    String stringPayload = (String) payload;
    length = stringPayload.length();
}

이 코드는 지저분하다. 진짜 객체 지향 프로그래밍에서는 객체의 타입을 검사해 강제로 타입을 변환하는 것을 나쁜 습관으로 간주하는 경우가 많다.⁷ 아마도 그래서 강제 타입 변환을 쓰기 쉽게 만들려는 노력이 거의 이뤄지지 않는지도 모르겠다. 하지만 코틀린에는 스마트 캐스트(smart cast)라는 특별한 기법이 있다. 앞의 코드를 스마트 캐스트를 사용해 다시 작성하면 다음과 같다.

val payload: Any = message.payload

val length: Int = if (payload is String)
    payload.length

else
    -1