코틀린은 널 값에 대한 안정성을 높이기 위해 널 타입 정보 추론과 타입 유추 기능을 제공합니다. 이 기능을 통해 코드 작성 시 컴파일러가 변수의 널 가능성을 추론하고 이를 이용해 타입을 유추할 수 있습니다.

널 타입 정보 추론 (Nullable Type Inference)

코틀린은 변수에 대한 널 타입 정보를 추론할 수 있습니다. 변수에 대해 명시적으로 널 가능성을 표시하지 않아도 컴파일러가 할당된 값이 널이 될 수 있는지 여부를 분석하여 타입을 추론합니다.

예를 들어, 다음과 같이 변수를 선언하면:

val name: String? = possiblyNullValue()

컴파일러는 possiblyNullValue() 함수의 반환 타입을 분석하여 name 변수의 널 가능성을 추론할 수 있습니다.

타입 유추 기능 (Smart Cast)

코틀린의 타입 유추 기능을 통해 널 타입 정보를 활용하여 코드의 안정성을 높일 수 있습니다.

예를 들어, 다음과 같이 널 타입 정보를 활용하여 안전하게 코드를 작성할 수 있습니다:

fun printLength(str: String?) {
    if (str != null) {
        println(str.length) // 여기서 컴파일러는 smart cast를 수행하여 str을 자동으로 String으로 캐스팅하여 사용합니다.
    }
}

결론

널 타입 정보 추론과 타입 유추 기능을 사용하면 코드 작성 시 프로그래머가 명시적으로 널 가능성을 다루지 않아도 될 때가 많아지며, 이를 통해 안전성을 확보하고 코드를 간결하게 작성할 수 있습니다.

더 자세한 정보는 코틀린 공식 문서를 참조할 수 있습니다.