require() / check() / error()

// 引数の前提条件チェック（IllegalArgumentException）
require(条件) { "エラーメッセージ" }
requireNotNull(値) { "値が null のときのメッセージ" }

// 状態の前提条件チェック（IllegalStateException）
check(条件) { "エラーメッセージ" }
checkNotNull(値) { "値が null のときのメッセージ" }

// 常に例外を投げる（IllegalStateException）
error("エラーメッセージ")

class BankAccount(initialBalance: Double) {
    private var balance: Double = initialBalance
    private var isOpen: Boolean = true

    init {
        // コンストラクタ引数の検証
        require(initialBalance >= 0) { "初期残高は0以上が必要です（入力: $initialBalance）" }
    }

    fun deposit(amount: Double) {
        require(amount > 0) { "入金額は0より大きい必要があります" }
        check(isOpen) { "口座がすでに閉鎖されています" }
        balance += amount
        println("入金: $amount → 残高: $balance")
    }

    fun close() {
        isOpen = false
    }
}

fun processInput(input: String?) {
    // requireNotNull で non-null の値を取得します。
    val value = requireNotNull(input) { "入力は null にできません" }
    println("処理: $value")  // value は String（non-null）
}

fun getDayName(day: Int): String = when (day) {
    1 -> "月曜"
    2 -> "火曜"
    // ...
    else -> error("無効な曜日: $day")  // 到達すべきでないパス
}

fun main() {
    val account = BankAccount(1000.0)
    account.deposit(500.0)   // 入金: 500.0 → 残高: 1500.0

    try {
        account.deposit(-100.0)  // IllegalArgumentException
    } catch (e: IllegalArgumentException) {
        println("引数エラー: ${e.message}")
    }

    account.close()
    try {
        account.deposit(100.0)   // IllegalStateException
    } catch (e: IllegalStateException) {
        println("状態エラー: ${e.message}")
    }

    processInput("Hello")  // 処理: Hello

    println(getDayName(1))  // 月曜
    try {
        println(getDayName(8))  // IllegalStateException
    } catch (e: IllegalStateException) {
        println("エラー: ${e.message}")
    }
}

『require()』は引数の検証（関数の入口で使う）、『check()』は状態の検証（オブジェクトの状態が正しいか確認する）という使い分けが一般的です。

メッセージをラムダで遅延評価するため、条件が true の場合は文字列が生成されず効率的です。

try-catch による例外処理はtry / catch / finallyを参照してください。