【Kotlin練習問題】Nothing型

Nothing型とは
問題
- 答え
完全無料で通えるプログラミングスクール
おすすめ書籍

Nothing型とは

throwという式がKotlinにありますが、エルビス演算子（?:）を使った式の一部などで使われます。

val s = person.name ?: throw IllegalArgumentException("Name required")

throw式の型にはNothing型という特別な型が使われます。この型は特に値を持たず、コードが到達しえない場所を示すために使われます。また、Nothingを使うことで何も返さない関数をマークすることができます。

fun fail(message: String): Nothing {
    throw IllegalArgumentException(message)
}

この関数を呼び出す際、コンパイラーにこの関数の呼び出しより先は実行しないということを知らせることができます。

val s = person.name ?: fail("Name required")
println(s)     // person.nameがnullだった場合、failが呼び出され、sは出力されない。

また、型推論がされるときにもこの型が見られます。

この型のnull許容型はNothing?ですが、nullしか代入されることはありません。もし型推論の値を初期化するのにnullを使い、他に特定の型を決めるのに使われ得る情報がない場合、コンパイラーはNothing?型であると推測します。

val x = null           // xはnothing?型です
val l = listOf(null)   // lはList<Nothing?>型です

問題

failWithWrongAge関数の戻り値にNothing型を指定してください。

import java.lang.IllegalArgumentException

fun failWithWrongAge(age: Int?)    {
    throw IllegalArgumentException("Wrong age: $age")
}

fun checkAge(age: Int?) {
    if (age == null || age !in 0..150) failWithWrongAge(age)
    println("Congrats! Next year you'll be ${age + 1}.")
}

fun main() {
    checkAge(10)
}

Kotlin Playgroundでコードの編集・動作確認ができます。

答え

import java.lang.IllegalArgumentException

fun failWithWrongAge(age: Int?): Nothing {
    throw IllegalArgumentException("Wrong age: $age")
}

fun checkAge(age: Int?) {
    if (age == null || age !in 0..150) failWithWrongAge(age)
    println("Congrats! Next year you'll be ${age + 1}.")
}

fun main() {
    checkAge(10)
}

[解説]

fun failWithWrongAge(age: Int?): Nothingとすることで戻り値をNothing型に指定しています。

Nothing型がないとcheckAge関数がコンパイルされないということが重要です。コンパイラーはageがnullである場合を考えてしまうためです。

答え

その他の問題はこちらからどうぞ。