contract を試してみる - Qiita

contract? 長澤太郎さんによる、とてもわかりやすいスライドがすでにあるので見てください(完) Kotlin Contract で、終わるわけにもいけないので、具体的に試してみたことを書いてみます。 試してみること Nullableな引数を受け取って、Nullじゃないかつ、特定の状態であればtrueを返すメソッドを作成する このメソッドで判定を行った場合に、trueなら NonNullな型にスマートキャストされるようにする 具体的な例 nullかもしれない曜日の文字列を受け取って、休みの日(null ではない)なら hello ${曜日} と出力する /** * 渡された曜日が休日かどうかを判定する * * @param dayOfWeek: "月", "火", "水", "木", "金", "土", "日", null * @return true: 休日 * false: 休日で