制御フロー

条件分岐

if / else は条件を括弧で囲みません。式としても使えます。

if condition { doThis() } else { doThat() }

val max = if a > b { a } else { b }      // if は式

else if のチェーンも書けます。条件内での代入は括弧で囲みます（while (x = read()) != null）。

ループ

while cond { ... }

for var i: Int = 0; i < 10; i++ { ... }

do { ... } while cond

foreach x: Int in 0..10 { ... }          // 範囲: a..b は包含、a..<b は排他
foreach (k, v) in map { ... }            // Map のエントリ分解

パターンマッチング（select）

switch ではなく select を使います。

select value {
case 1, 2, 3: handleSmall()
case s is String: handleString(s)        // 型パターン（: ではなく is）
case Point(x, y): handlePoint(x, y)      // レコード分解
case n when n > 0: handlePositive(n)     // ガード
case re"(\d+)" (num): handleNumber(num)  // 正規表現パターン（コンパイル時に検査）
else: handleOther()
}

パターンは入れ子にできます。型パターンも同様で、成分をその場で絞り込んで 絞り込んだ型のまま使えます。

sealed interface E {}
record Num(v: Int) conforms E
record Add(l: E, r: E) conforms E
record Wrap(x: Object)

select e {
  case Add(l, n is Num): println("added " + n.v())  // ここでの n は Num
  case Add(l, r):        println("added something else")
  case n is Num:         println("just " + n.v())
}

// 成分の宣言型がレコードでない場合にも使えます
// （入れ子のコンストラクタパターンでは表現できないケース）
select w {
  case Wrap(s is String): println(s.toUpperCase())
  case Wrap(o):           println("not a string")
}

sealed な階層に対しては網羅性が検査されます（漏れは E0042）。

break / continue

ラベル付きの break / continue も使えます。

while true {
  if done { break }
  if skip { continue }
}

例外処理

try {
  riskyOperation()
} catch e: Exception {
  println(e.message())
} finally {
  cleanup()
}

複数の catch、multi-catch（catch e: IOException | SQLException）、try-with-resources（try (val r = open()) { ... }、逆順にクローズ）も書けます。

Do記法（モナド合成）

do[Option] { a <- getA(); b <- getB(); ret a + b }
do[List]   { x <- [1, 2]; y <- ["a", "b"]; ret x + y }   // 内包表記

次のステップ

• 関数 - 関数定義とラムダ
• Null安全 - nullable型とスマートキャスト