타입 시스템은 자바와 비교시 코드의 가독성을 향상시키는 데 도움이 되는 특성을 제공한다.

널 가능성(Nullable)

• 널 가능성은 NPE를 피할 수 있게 돕기 위한 코틀린 타입 시스템의 특성이다.
• 널이 될 수 있는지 여부를 타임 시스템에 추가함으로써 컴파일시 미리 감지해 예외의 가능성을 줄일 수 있다.

널이 될 수 있는 타입

• 코틀린은 타입 시스템이 널이 될 수 있는 타입을 명시적으로 지원한다.
• 널이 될 수 있는 타입은 프로퍼티나 변수에 null을 허용하게 만드는 방법이다.
• 널이 될 수 있는 타입으로 선언하려면 타입 뒤에 ? 를 명시하면 된다.

fun strLen(s: String) = s.length 
// 인자로 null이거나 널이 될 수 있는 인자를 넘기기 불가능
// s는 항상 String의 인스턴스여야함.

fun nullableStrLen(s: String?) = s?.length // 널, 문자열을 인자로 넘기기 가능

<aside> 💡 어떤 타입이든 타입 뒤에 물음표를 붙이면 그 타입의 변수나 프로퍼티에 null 참조를 저장할 수 있다.

Type? = Type 또는 null String? = String 또는 null

</aside>

• 물음표가 없는 타입은 null을 참조할 수 없다.
• 널이 될 수 있는 타입은 그에 대한 수행할 수 있는 연산이 제한된다.
• 널이 될 수 있는 값을 널이 될 수 없는 타입의 변수에 대입이 불가능하다.
  • 널이 될 수 있는 값을 널이 될 수 없는 타입의 파라미터를 받는 함수도 마찬가지다.

val x: String? = null
var y: String = y // 불가능

strLen(x) // 불가능

• 널 검사를 통해서 해당 값이 널이 될 수 없는 타입의 값처럼 사용이 가능하다.

if(s != null) s.length else 0

안전한 호출 연산자(safe call) : ?.

코틀린은 널이 될 수 있는 타입을 구분하면 각 타입의 값에 대해 어떤 연산이 가능할지 명확히 이해할 수 있다.

실햄 시점에 예외를 발생시킬 수도 있고, 그런 연산을 금지시킬 수 있다.

<aside> 💡 실햄 시점에 널이 될 수 있는 타입이나 널이 될 수 없는 타입의 객체는 같다. → 모든 검사는 컴파일 시점에 수행된다.

즉, 코틀린은 널이 될 수 있는 타입을 처리하는 데 별도의 실행시점 부가 비용이 들지 않는다.

</aside>