[부스트코스] 03. 코틀린 null 처리, 자료형 변환

코틀린의 null 처리

코틀린의 변수 선언은 기본적으로 null을 허용하지 않는다.

 

null 가능한 선언 (Nullable)

val a: Int? = null
val b: String? = null

단순 출력은 상관없으나 null인 상태에서 연산되는 멤버에 접근할 때 → NPE 발생

 

NPE (Null Pointer Exception)

사용할 수 없는 null인 변수에 접근하면서 발생하는 예외

 

세이프 콜 ?

fun main() {
    var str1: String?
    str1 = null
    println("str1: $str1, length: ${str1?.length}") // str1이 null이면 length를 실행하지 않는다.
}

? 을 붙이지 않으면 NPE가 발생한다.

non-null 단정 기호 !!

fun main() {
    var str1: String?
    str1 = null
    println("str1: $str1, length: ${str1!!.length}")
}

null일리 없다는 뜻.

위의 코드처럼 값이 null이면 NPE가 발생한다. → 웬만하면 사용하지 않는 것이 좋다..

 

엘비스 연산자(elvise expression) ?:

fun main() {
    var str1: String?
    str1 = null
    val len = if(str1 != null) str1.length else -1
    println("str1: $str1, length: $len")
}

null값이 있을 경우 처리해주는 변수 len과 if문을 작성한 코드이다.

(참고로 코틀린은 if문을 한 줄에 작성 가능하다.)

 

노란 부분에서 Alt + Enter를 하면, 다음과 같이 엘비스 연산자로 바꾸겠다는 안내 메시지가 뜬다.

엘비스 연산자 ?:는 null값이 있을 경우 처리를 어떻게 할 것인지를 도와주는 연산자이다.

 

fun main() {
    var str1: String?
    str1 = null
    val len = str1?.length ?: -1
    println("str1: $str1, length: $len")
}

코드가 다음과 같이 간결하게 바뀐다.

의미는 위의 코드와 똑같다!

 

자료형 변환

변환 메서드

val a: Int = 1
val b: Double = a.toDouble() // 변환 메서드의 사용

• toByte
• toLong
• toShort
• toFloat
• toInt
• toDouble
• toChar

 

표현식에서 자료형의 자동의 자동 변환

val result = 1L + 3 // Long + Int -> result는 Long형

컴파일러가 자동으로 추론

 

이중 등호(==)와 삼중 등호(===)

• ==: 값만 비교
• ===: 값과 참조 주소를 비교

 

fun main() {
    val a: Int = 128
    val b = a
    println(a==b)   // true
    println(a===b)  // true

    val c: Int? = a
    val d: Int? = a
    val e: Int? = c

    println(c==d)   // true
    println(c===d)  // false
    println(c===e)  // true
}

 

위의 코드를 그림으로 나타낸 것

a와 b는 컴파일 시 참조형에서 기본형 변수가 된다. 따라서 stack에 128이라는 값이 각각 저장된다.

c, d, e는 nullable 변수이므로 참조형 변수이다.

따라서 컴파일 시 객체가 되고, Heap이라는 동적 공간에 저장된다.

 

d는 값만 동일할 뿐 c와 다른 객체이다.

e는 c를 그대로 가져온 것이므로 주소도 가져온다. 따라서 A1을 가리킨다.

 

(+) 참고

코틀린에서는 참조형으로 선언한 변수의 값이 -128~127 범위에 있으면,

Heap에 할당하지 않고 캐시에 그 값을 저장한다.

따라서, 그때는 삼중 등호가 먹히지 않을 수도!

 

스마트 캐스트 (Number)

구체적으로 명시되지 않은 자료형을 자동 변환

값에 따라 자료형 결정

Number형은 숫자를 저장하기 위한 특수한 자료형으로 스마트 캐스트 됨

fun main() {
    var test: Number = 12.2 // 12.2에 의해 Float형으로 스마트 캐스트
    println("$test")

    test = 12 // Int형으로 스마트 캐스트
    println("$test")

    test = 120L // Long형으로 스마트 캐스트
    println("$test")

    test += 12.0f // Float형으로 스마트 캐스트
    println("$test")
}

test = "Hello"처럼 숫자형을 완전히 벗어난 타입은 스마트 캐스트 X

 

is 키워드

fun main() {
    val num = 256

    if(num is Int){ // num이 Int형일 때
        print(num)
    } else if (num !is Int){    // num이 Int형이 아닐 때, !(num is Int)와 동일한 표형
        print("Not a Int")
    }
}

 

Any

• 자료형이 정해지지 않은 경우
• 모든 클래스의 뿌리 - Int나 String형은 Any형의 자식 클래스
• Any는 언제든 필요한 자료형으로 자동 변환(스마트 캐스트)

fun main() {
    var a: Any = 1  // Any형 a는 1로 초기화될 때 Int형
    a = 20L // Int형이였던 a는 변경된 값 20L에 의해 Long형
    println("a: $a type: ${a.javaClass}")   // a의 자바 기본형을 출력하면 long이 나온다.
}

 

Any형을 인자로 받는 함수

fun main() {
    checkArg("Hello") // String
    checkArg(5) // Int
}

// 인자를 Any형으로 받는 함수
fun checkArg(x: Any){
    if(x is String){
        println("x is String: $x")
    }
    if(x is Int){
        println("x is Int: $x")
    }
}

 

출처

본 포스팅은 부스트코스 서포터즈 3기 활동으로서

'코틀린 프로그래밍 기본 1' 강의를 듣고 작성하였습니다.

www.boostcourse.org/mo132

코틀린 프로그래밍 기본 1