Nothing 타입

Nothing  타입은 실행 흐름이 도달할 수 없는 구역을 나타내기 위한 특수 타입이다.

fun throwing(): Nothing = throw Exception()

fun main(){
   val i:Int = throwing()
}

fun validate(num: Int)

{

    val result: Int = if (num >= 0) num else throw Exception("num이 음수입니다.")

}

if 블록이 Int 타입, else 블록이 Nothing 타입이면, if-else는 Int 타입을 따라간다.

if 블록이 Int 타입, else 블록이 Unit 타입이므로 서로 호환되지않아 if-else 표현식으로 사용할 수 없다.

따라서 Nothing 타입은 throw를 표현식으로 쓸 수 있게 하기 위한 장치이다.