Kotlin

他の多くのチュートリアルがそうであるように、私たちもまずはKotlinの世界にあいさつすることから始めましょう。hello.ktというファイルを作り、次のように書いて保存して下さい(Kotlinのソースファイルの拡張子は .kt です)。

hello.kt

fun main() = println("Hello, World!")

それでは、ソースプログラムをコンパイルして実行してみましょう。

% kotlinc hello.kt -include-runtime -d hello.jar
% java -jar hello.jar
Hello, World!
% _

fun main() :
- funは関数（function）を宣言するためのキーワードです。
- mainはプログラムのエントリーポイントとなる特別な関数の名前です。通常、プログラムの実行が始まるところです。
= :
- このイコール記号は、関数の本体が始まることを示します。Kotlinでは、単一の式の関数を記述する際に、本体とイコールを省略して1行で記述できます。
println("Hello, World!") :
- printlnはコンソールに文字列を表示するための関数です。("Hello, World!")は引数として渡される文字列です。
- この行全体は、関数の呼び出しとして、文字列 "Hello, World!" をコンソールに表示するものです。

これにより、この一行のコードは「mainという関数を宣言し、その中で 'Hello, World!' という文字列をコンソールに表示する」という単純なプログラムを実現しています。Kotlinはこのようにシンプルかつ読みやすい構文を持っており、初学者にも優れた学習言語となっています。

クイックツアー[編集]

Kotlinのクイックツアーでは、基本的な構文や機能に焦点を当て、簡単なコード例を通じて言語の特徴を理解していきます。

変数と基本的なデータ型

fun main() {
    // 変数の宣言
    val message: String = "Hello, Kotlin!"

    // 自動型推論も可能
    val number = 42

    // 文字列テンプレート
    println("$message The answer is $number")
}

条件分岐とループ

fun main() {
    val score = 75

    // 条件分岐
    if (score >= 80) {
        println("Great job!")
    } else if (score >= 60) {
        println("Good job!")
    } else {
        println("You can do better.")
    }

    // ループ
    for (i in 1..5) {
        println("Count: $i")
    }
}

関数の定義と呼び出し

fun main() {
    // 関数の呼び出し
    greet("Alice")

    // 関数の定義
    fun greet(name: String) {
        println("Hello, $name!")
    }
}

クラスとオブジェクト

fun main() {
    // クラスの定義
    class Person(val name: String, val age: Int)

    // オブジェクトの作成
    val person = Person("John", 25)

    // プロパティへのアクセス
    println("${person.name} is ${person.age} years old.")
}

Null安全性

fun main() {
    // Null許容型
    var name: String? = "Bob"

    // 安全呼び出し演算子
    val length: Int? = name?.length

    // Elvis演算子
    val result = name ?: "Guest"

    println("Name length: $length")
    println("Result: $result")
}

拡張関数

fun main() {
    // 拡張関数の定義
    fun String.addExclamation(): String {
        return "$this!"
    }

    // 拡張関数の呼び出し
    val greeting = "Hello".addExclamation()
    println(greeting)
}

コルーチン

import kotlinx.coroutines.*

fun main() {
    // コルーチンの起動
    GlobalScope.launch {
        delay(1000) // 1秒待つ
        println("World!")
    }

    println("Hello, ")

    // プログラムを待機して終了しないようにする
    Thread.sleep(2000) // 2秒待つ
}

Kotlin DSL

data class Person(val name: String, val age: Int)

fun buildPerson(block: PersonBuilder.() -> Unit): Person {
    val builder = PersonBuilder()
    builder.block()
    return builder.build()
}

class PersonBuilder {
    var name: String = ""
    var age: Int = 0

    fun build(): Person {
        return Person(name, age)
    }
}

fun main() {
    val person = buildPerson {
        name = "Alice"
        age = 30
    }

    println("Built person: $person") // => Built person: Person(name=Alice, age=30)
}

この例では、Kotlin DSLを使用して、特定のドメイン（ここではPersonオブジェクトの構築）に特化した言語拡張を行っています。

これらの例はKotlinの基本を紹介するものであり、より高度な概念や機能も学ぶことができます。

インストール方法[編集]

Kotlinは、ターゲットごとに

Kotlin/JVM: Java仮想マシン(JVM)で実行可能なコードを生成。
Kotlin/JS: JavaScriptのコードを生成。
Kotlin/Native: バックエンドにLLVMインフラストラクチャーを利用してネイティブコードコードを生成。

の３つの実装があり、ツールチェインとしては統合されていますが、使用するコマンドやオプションが異なります。

Kotlin/JVM 環境のインストール[編集]

インストール方法に戻る

Kotlin/JVM 環境をインストールする手順は以下の通りです：

Java JDK のインストール:
Kotlin は JVM 上で動作するため、まずは Java Development Kit (JDK) をインストールする必要があります。

Oracle JDK や OpenJDK のいずれかを選択してインストールしてください。

JDK 11 以上を推奨します。

⇒ Java/プログラミングのための準備
Kotlin Compiler のダウンロード:
Kotlin コンパイラをダウンロードしてインストールします。

公式の Kotlin ダウンロードページ ( https://kotlinlang.org/docs/command-line.html ) から最新のバージョンを入手してください。
パスの設定: Kotlin コンパイラのパスをシステムの環境変数 PATH に追加します。これにより、コマンドラインから Kotlin を直接実行できるようになります。
簡単なプロジェクトの作成と実行:
テキストエディタを使って Kotlin コードを作成し、コンパイル・実行してみてください。例えば、以下の Hello World プログラムを作成し、hello.kt という名前で保存します。
hello.kt
fun main() = println("Hello, Kotlin!")
このファイルをコンパイルして実行するには、ターミナルまたはコマンドプロンプトで次のコマンドを実行します。
kotlinc hello.kt -include-runtime -d hello.jar java -jar hello.jar
これにより、"Hello, Kotlin!" というメッセージが出力されます。

以上で、Kotlin/JVM 環境のインストールが完了します。

Kotlin/JS 環境のインストール[編集]

インストール方法に戻る

詳細は「Set up a Kotlin/JS project」を参照

Kotlin/Native 環境のインストール[編集]

インストール方法に戻る

詳細は「Get started with Kotlin/Native using Gradle」を参照

実行方法[編集]

Kotlin/JVM[編集]

Kotlin/JVM では、Kotlin のソースファイルからJARファイルをコンパイルします。 Kotlin のソースファイルの拡張子は .kt です。

hello.kt をコンパイルして hello.jar を得るのであれば

コンパイル

kotlinc hello.kt -include-runtime -d hello.jar

とします。

生成された hello.jar を実行するには

kotlinから生成したJARファイルの実行

java -jar hello.jar

とします。

-jar を忘れると

$ java hello.jar 
Error: Could not find or load main class hello.jar
Caused by: java.lang.ClassNotFoundException: hello.jar

とエラーになります

別のKotlinのソースファイル universe.kt をコンパイル/実行するには hello を filename に読替えて同じ手順を行えばいいのですが、このような単純作業はコンピューターに任せましょう。

make の利用[編集]

ビルド手順の自動化を行うツールに make があります。 make にはいくつかの方言がありますが、BSD-make と GNU-make に共通した構文を紹介します。

Makefile

# Makefile for Kotlin

.SUFFIXES: .kt .jar .run

.kt.jar:
        kotlinc $^ -include-runtime -d $@

.jar.run:
        java -jar $^

all:

この内容をカレントディレクトリーに Makefile の名前で保存します（カレントディレクトリーに hello.kt がある場合）。

タブと空白には区別され、先頭の空白８つ分はタブです。

コマンドラインでの操作は

tcshの場合

% cat hello.kt 
fun main() {
    println("Hello world!")
}
% make hello.jar
kotlinc hello.kt -include-runtime -d hello.jar
% make hello.run
java -jar hello.jar
Hello world!
% sed -e s/world/universe/ hello.kt > universe.kt
% cat universe.kt 
fun main() {
    println("Hello universe!")
}
% make universe.run
kotlinc universe.kt -include-runtime -d universe.jar
java -jar universe.jar
Hello universe!
rm universe.jar
% make universe.jar
kotlinc universe.kt -include-runtime -d universe.jar
% make universe.run
java -jar universe.jar
Hello universe!

make hello.jar とすると

ルール

.kt.jar:
        kotlinc $^ -include-runtime -d $@

が適用され

アクション

kotlinc hello.kt -include-runtime -d hello.jar

が実行されます。

make hello.run とすると

ルール

.jar.run:
        java -jar $^

が適用され

アクション

java -jar hello.jar

が実行されます。

universe.jar がない状態で make universe.run とすると。

ルール

.kt.jar:
        kotlinc $^ -include-runtime -d $@

.jar.run:
        java -jar $^

が連鎖的に適用され

アクション

java -jar universe.jar
Hello universe!
rm universe.jar

となります。

もともと universe.jar はなかったので最後に rm universe.jar して消しています。

この様に、make を使うとファイルのタイムスタンプから必要な処理を判断し実行します。

make と同じくビルドツールに gradle があり、gradle のビルドルールは Kotlin Script で書けるので、Kolin の学習には gradle が適しているとも言えますが、ビルドルールを書くためにKotlinのコードを読み書きする必要があるという「鶏卵問題」に陥るので、より一般的な make を紹介しました。

ここでは、kotlinソースからJARファイルをコンパイルし実行する最小限のルールを書きましたが、機会をみて、make のチュートリアルを書こうと思います。

特徴[編集]

コンパイル型言語

Kotlinはコンパイラーとして実装されています。REPLやスクリプティングエンジンもあります。

Kotlin/JVM: １つまたは複数のソースコードをコンパイルしてJavaバイトコードを生成し、生成したJavaバイトコードを実行します。
Kotlin/JS: １つまたは複数のソースコードをコンパイルしてJavaScriptを生成し、生成したJavaScriptを実行します。
Kotlin/Native: １つまたは複数のソースコードをコンパイルしてLLVMインフラストラクチャーをバックエンドに実行形式を生成し、生成した実行形式を実行します。
Kotlin/Wasm: １つまたは複数のソースコードをコンパイルしてWebAssembly（Wasm）バイナリを生成し、WebAssembly仮想マシン上で実行します。

静的型付け

値・変数・関数のパラメーター・関数の戻値などの型はコンパイル時に検証され、型安全性が担保されます。

例外

try-catch-finally 形の例外処理をサポートします。

演算子オーバーロード

サポートします。a + b は、メソッド形式 a.plus(b) と同義です。

関数オーバーロード

同じ名前で引数の数が異なる関数を定義することが可能です。

ラムダ式

サポートします。{ a: Int, b: Int -> a + b }

無名関数

サポートします。fun(a: Int, b: int) = a + b

拡張関数

既存のクラスに新しいメソッドを生やすことができます。これは Java のクラスライブラリーのクラスも例外ではありません。

宣言や定義にはキーワードを伴う

関数定義なら fun、定数宣言なら val、変数宣言なら var、クラス定義なら class など、明示的にキーワードを使い宣言するので grep フレンドリーです。また、列挙型は enum ではなく、enum class で列挙だと知らなくても class で検索すれば見落としません。C/C++は、int f(int ch){...}, int i = 9;のように、よく読まないと関数定義なのか変数宣言かわからないのとは対照的です。特にC++は、int a(3)が関数定義なのか変数宣言なのかに曖昧さがあり、パースの時点では確定せずコンパイラーもプログラマーも悩まされます。

型推論

サポートします。

ガベージコレクション

サポートします。

クラス

クラスベースのオブジェクト指向言語です。

全てがオブジェクト: Javaで言うプリミティブもオブジェクトで、メソッドを持ちます。
祖先クラス: Any
コンストラクター: プライマリーコンストラクター・セカンダリコンストラクター・init の３つのメソッドがインスタンス化の機能が割振られます。
デストラクター: ありません。
継承: 単一継承をサポートします。
抽象クラス: Java や Go の interface や Swift の protocol はありませんが、abstract class があります。

Mix-in: サポートします。
名前空間: パッケージが名前空間を持ちます。
defer: ありません。
分岐構造は式: if, whenは式です。
文末の;（セミコロン）: 必要ありません。

コード・ギャラリー[編集]

エラトステネスの篩[編集]

エラトステネスの篩を、若干 Kotlin らしく書いてみました。

エラトステネスの篩

fun eratosthenes(n: Int) {
    var sieve = BooleanArray(n + 1){ it >= 2 }
    for (i in 2..<sieve.size) {
        if (!sieve[i])
            continue;
        print("$i ")
        for (j in 2 * i until sieve.size step i)
            sieve[j] = false
    }
}

fun main() {
    eratosthenes(100);
}

実行結果

2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97

使用頻度の高い sieve は、実行効率の良いプリミティブ型配列の BooleanArray として、初期化式を it >= 2 として宣言と同時に素数候補をマークしました。

i のループはオーソドックスな IntRange をコレクションにした for ですが、j のループは少し変則的で until は制御構造に見えますが、メソッド infix Int.until(to: Int) : IntProgression で、infix 修飾による中置構文です。

最大公約数と最小公倍数[編集]

最大公約数と最小公倍数を、若干 Kotlin らしく書いてみました。

最大公約数と最小公倍数

tailrec fun gcd2(a: Int, b: Int): Int = if (b == 0) a else gcd2(b, a % b)
fun gcd(vararg numbers: Int): Int = numbers.reduce(::gcd2)
fun lcm2(a: Int, b: Int): Int = a * b / gcd2(a, b)
fun lcm(vararg numbers: Int): Int = numbers.reduce(::lcm2)

fun main() {
    println("gcd2(30, 45) => ${gcd2(30, 45)}")
	println("gcd(30, 72, 12) => ${gcd(30, 72, 12)}")
	println("lcm2(30, 72) => ${lcm2(30, 72)}")
	println("lcm(30,42,72) => ${lcm(30,42,72)}")
}

実行結果

gcd2(30, 45) => 15
gcd(30, 72, 12) => 6
lcm2(30, 72) => 360 
lcm(30,42,72) => 2520

関数 gcd2() は、2つの整数の最大公約数をユークリッドの互除法で求めています。

gcd2() の修飾子 tailrec は、コンパイラーに末尾再帰が行なわれていることを教え、再帰をループにするヒントを与えています。

関数 gcd() は可変引数関数で、全ての引数に gcd2() を適用し最大公約数を返します。

関数 lcm2() は、2つの整数の最小公倍数を、

GCD(m,n)\cdot LCM(m,n)=m\cdot n

を利用して求めています。

関数 lcm() は可変引数関数で、全ての引数に lcm2 を適用し最小公倍数を返します。

それぞれの関数定義は式形式で１行なので拍子抜けですが、概念を簡素にかけていると思います。

二分法[編集]

二分法を、若干 Kotlin らしく書いてみました。

二分法

import kotlin.math.abs

tailrec fun bisection(low_: Number, high_: Number, f: (Double) -> Double) : Double {
    var low = low_.toDouble()
    var high = high_.toDouble()
    val x = (low + high) / 2;
    val fx = f(x);
    if (abs(fx) < +1.0e-10)
        return x;
    if (fx < 0.0)
        low = x;
    else
        high = x;
    return bisection(low, high, f);
}

fun main() {
    println(bisection(0, 3){x : Double -> x - 1})
    println(bisection(0, 3){x : Double -> x * x - 1})
}

実行結果

0.9999999999417923 
1.0000000000291038

旧課程(-2012年度)高等学校数学B/数値計算とコンピューター#2分法の例を Kotlin に移植しました。

命題の式をラムダで渡すのが肝ですが、Kotrinは関数の最後パラメーターが関数型の場合括弧の外に追い出せるので

bisection(0, 3){x : Double -> x - 1}のような表現ができます。

引数で受取った範囲を一旦varに移替えているのは、関数の引数がイミュータブルなためです。

また、どうせローカル変数に移すならパラメータは Number 型としてIntなども受け入れるようにし、.toDouble()で型を揃えています。

このコードはまた、tailrec の好例にもなっています。

複素数型[編集]

オーソドックスな複素数型の実装（Kotlinの標準ライブラリーには複素数型が見当たらなかったので）

Complex.kt

import kotlin.math.abs
import kotlin.math.atan2
import kotlin.math.hypot

import kotlin.math.sin
import kotlin.math.cos
import kotlin.math.tan
import kotlin.math.sinh
import kotlin.math.cosh
import kotlin.math.tanh

import kotlin.math.PI

class Complex(real_: Double, imag_: Double) : Number() {
    private val pair = doubleArrayOf(real_, imag_)
    val real get() = pair[0]
    val imag  get() = pair[1]
    constructor(real_: Number, imag_: Number) : this(real_.toDouble(), imag_.toDouble()) {
        // println("($real_, ${imag_}.i) => (${this.real}, ${this.imag}.i)")
    }
    companion object {
     	public val i = Complex(0, 1)
     	public val NaN = Complex(Double.NaN, Double.NaN)
     	public val INFINITY = Complex(Double.POSITIVE_INFINITY, Double.POSITIVE_INFINITY)
    }
    fun isNaN() = real.isNaN() or imag.isNaN()
    fun isFinite() = real.isFinite() and imag.isFinite()
    fun imagAsZero() = abs(imag) < 1e-12
    fun check() = 
    	when {
        	this.isNaN() -> throw Exception("NaN!")
        	!this.imagAsZero() -> throw Exception("imag($imag) != 0")
        	else -> true
        }
    override fun toChar()   = toInt().toChar()
    override fun toByte()   = toInt().toByte()
    override fun toShort()  = toInt().toShort()
    override fun toInt()    = if (check()) real.toInt() else 0
    override fun toLong()   = if (check()) real.toLong() else 0L
    override fun toFloat()  = if (check()) real.toFloat() else 0.0F
    override fun toDouble() = if (check()) real else 0.0
    override fun toString() = "${real.toString()}+${imag.toString()}.i".replace("+-","-")
    val abs get() = hypot(real, imag)
    val arg get() =
    	when {
            isNaN() -> Double.NaN
            !isFinite() -> Double.NaN
            real > 0.0 -> atan2(imag, real)
            real < 0.0 && imag >= 0.0 -> atan2(imag, real) + PI
            real < 0.0 && imag < 0.0 -> atan2(imag, real) - PI
            real == 0.0 && imag > 0.0 -> +PI / 2
            real == 0.0 && imag < 0.0 -> -PI / 2
            else -> 0.0 // indeterminate
     	}
    val angle get() = arg
    val phase get() = arg
    val conjugate get() = Complex(+real, -imag)
    val conj get() = conjugate
    operator fun plus(r: Number)  = Complex(real + r.toDouble(), imag)
    operator fun plus(r: Complex) = Complex(real + r.real, imag + r.imag)
    operator fun minus(r: Number) = Complex(real - r.toDouble(), imag)
    operator fun minus(r: Complex) = Complex(real - r.real, imag - r.imag)
    operator fun times(r: Number) = Complex(real * r.toDouble(), imag * r.toDouble())
    // (a+bi)(c+di) = a c + bi c + a di + bi di = ac - b d + (b c + a d)i
    operator fun times(r: Complex) = Complex(real * r.real - imag * r.imag, imag * r.real + real * r.imag)
    operator fun div(r: Number) = Complex(real / r.toDouble(), imag / r.toDouble())
    // this / r = this * r.conjugate / r * r.conjugate
    operator fun div(r: Complex) = this * r.conjugate / (r.real * r.real + r.imag * r.imag)
    operator fun unaryMinus() = Complex(-real, -imag)
    override fun equals(other: Any?) = when {
        this === other -> true
        other !is Complex -> false
        real != other.real -> false
        else ->  imag == other.imag
    }
    fun sin() : Complex { val c = Complex(-imag, real).sinh(); return Complex(c.imag, -c.real) }
    fun sinh()  = sinh(real) * cos(imag) + (cosh(real) * sin(imag)).i
}
operator fun Number.plus(c:Complex)  = Complex(this.toDouble(), 0.0) + c
operator fun Number.minus(c:Complex) = Complex(this.toDouble(), 0.0) - c
operator fun Number.times(c:Complex) = Complex(this.toDouble(), 0.0) * c
operator fun Number.div(c:Complex)   = Complex(this.toDouble(), 0.0) / c
val Number.r get() = Complex(toDouble(), 0.0)
val Number.i get() = Complex(0.0, toDouble())

fun main() {
    val a =  2.1 +  3.9.i
    val b = -7.8 + 11.11.i
    val c =  3 + 4.i
    val p = 2.3.r
    val q = 1.3.i

    try { Complex.NaN.toDouble()                } catch (e: Exception) { println("Complex.NaN.toDouble() raises $e") }
    try { Complex.INFINITY.toDouble()           } catch (e: Exception) { println("Complex.INFINITY.toDouble() raises $e")}
    try { Double.POSITIVE_INFINITY.r.toDouble() } catch (e: Exception) { println("Double.POSITIVE_INFINITY.r.toDouble() raises $e")}
    try { 1.i.toDouble()                        } catch (e: Exception) { println("1.i.toDouble() raises $e")}

    println(
"""
a == a => ${a == a}
a != a => ${a != a}
a == 2.1 + 3.9.i => ${a == 2.1 + 3.9.i}
3.14.i == 3.14.i => ${3.14.i == 3.14.i}
Double.NaN.i == Double.NaN.i => ${Double.NaN.i == Double.NaN.i} 
Double.POSITIVE_INFINITY.r == Double.POSITIVE_INFINITY.r + 1 => ${Double.POSITIVE_INFINITY.r == Double.POSITIVE_INFINITY.r + 1}

Complex(0, 1).arg => ${Complex(0.0, 1).arg}
Complex(0, -1).arg => ${Complex(0.0, -1).arg}
Complex(1, 1).arg => ${Complex(1.0, 1).arg}
Complex(1, -1).arg => ${Complex(1.0, -1).arg}
Complex(1, 0.0).arg => ${Complex(1.0, 0.0).arg}
Complex(-1, 0.0).arg => ${Complex(-1.0, 0.0).arg}
Complex(0.0, 0.0).arg => ${Complex(0.0, 0.0).arg}

2.toBigDecimal() = ${2.toBigDecimal()}
2.toBigDecimal().i = ${2.toBigDecimal().i}
a => $a
b => $b
c => $c
p => $p
q => $q

Double.NaN.r => ${Double.NaN.r}
Double.NaN.i => ${Double.NaN.i}
Double.POSITIVE_INFINITY.r => ${Double.POSITIVE_INFINITY.r}
Double.POSITIVE_INFINITY.i => ${Double.POSITIVE_INFINITY.i}
-Double.POSITIVE_INFINITY.r => ${-Double.POSITIVE_INFINITY.r}
Double.POSITIVE_INFINITY.i.conj => ${Double.POSITIVE_INFINITY.i.conj}

(1+2.i) / 0 => ${(1+2.i) / 0}
(0+0.i) / 0 => ${(0+0.i) / 0.0}
Double.NaN.i.isNaN() => ${Double.NaN.i.isNaN()}
Double.NaN.i.isFinite() => ${Double.NaN.i.isFinite()}
1.i.isNaN() => ${1.i.isNaN()}
1.i.isFinite() => ${1.i.isFinite()}
Complex.INFINITY.isNaN() => ${Complex.INFINITY.isNaN()}
Complex.INFINITY.isFinite() => ${Complex.INFINITY.isFinite()}

-a => ${-a}
a + 8 => ${a + 8}
8 + a => ${8 + a}
a + b => ${a + b}
a - b => ${a - b}
a * b => ${a * b}
a * Complex(1, 1) => ${a * Complex(1, 1)}
a / 2 => ${a / 2}
a / b => ${a / b}
a / b * b => ${a / b * b}
a * 1.i => ${a * 1.i}
a / 1.i => ${a / 1.i}
1.i => ${1.i}
1.i / 1.i => ${1.i / 1.i}
1.0 + 3.2.i => ${1.0 + 3.2.i}
a + 3.2 => ${a + 3.2}
a.conjugate => ${a.conjugate}
1 + 2.i => ${1 + 2.i}
"""
    )
}

実行結果

Complex.NaN.toDouble() raises java.lang.Exception: NaN!
Complex.INFINITY.toDouble() raises java.lang.Exception: imag(Infinity) != 0
1.i.toDouble() raises java.lang.Exception: imag(1.0) != 0

a == a => true
a != a => false
a == 2.1 + 3.9.i => true
3.14.i == 3.14.i => true
Double.NaN.i == Double.NaN.i => false 
Double.POSITIVE_INFINITY.r == Double.POSITIVE_INFINITY.r + 1 => true

Complex(0, 1).arg => 1.5707963267948966
Complex(0, -1).arg => -1.5707963267948966
Complex(1, 1).arg => 0.7853981633974483
Complex(1, -1).arg => -0.7853981633974483
Complex(1, 0.0).arg => 0.0
Complex(-1, 0.0).arg => 6.283185307179586
Complex(0.0, 0.0).arg => 0.0

2.toBigDecimal() = 2
2.toBigDecimal().i = 0.0+2.0.i
a => 2.1+3.9.i
b => -7.8+11.11.i
c => 3.0+4.0.i
p => 2.3+0.0.i
q => 0.0+1.3.i

Double.NaN.r => NaN+0.0.i
Double.NaN.i => 0.0+NaN.i
Double.POSITIVE_INFINITY.r => Infinity+0.0.i
Double.POSITIVE_INFINITY.i => 0.0+Infinity.i
-Double.POSITIVE_INFINITY.r => -Infinity-0.0.i
Double.POSITIVE_INFINITY.i.conj => 0.0-Infinity.i

(1+2.i) / 0 => Infinity+Infinity.i
(0+0.i) / 0 => NaN+NaN.i
Double.NaN.i.isNaN() => true
Double.NaN.i.isFinite() => false
1.i.isNaN() => false
1.i.isFinite() => true
Complex.INFINITY.isNaN() => false
Complex.INFINITY.isFinite() => false

-a => -2.1-3.9.i
a + 8 => 10.1+3.9.i
8 + a => 10.1+3.9.i
a + b => -5.699999999999999+15.01.i
a - b => 9.9-7.209999999999999.i
a * b => -59.70899999999999-7.088999999999999.i
a * Complex(1, 1) => -1.7999999999999998+6.0.i
a / 2 => 1.05+1.95.i
a / b => 0.14624568776282462-0.2916936421737203.i
a / b * b => 2.1000000000000005+3.8999999999999995.i
a * 1.i => -3.9+2.1.i
a / 1.i => 3.9-2.1.i
1.i => 0.0+1.0.i
1.i / 1.i => 1.0+0.0.i
1.0 + 3.2.i => 1.0+3.2.i
a + 3.2 => 5.300000000000001+3.9.i
a.conjugate => 2.1-3.9.i
1 + 2.i => 1.0+2.0.i

クラス定義とインスタンス化とメンバー関数[編集]

シンプルなクラス定義

class Hello(val s : String = "world") {
    override fun toString() = "Hello $s!"
    fun print() = println(s)
}

fun main() {
    val hello1 = Hello()
    println(hello1)
    hello1.print()

    val hello2 = Hello("my friend")
    println(hello2);
    hello2.print()

    print(
"""
Hello::class.simpleName => ${Hello::class.simpleName}
hello1 => $hello1
hello2.s => ${hello2.s}
"""
    )
}

実行結果

Hello world!
world
Hello my friend!
my friend

Hello::class.simpleName => Hello
hello1 => Hello world! 
hello2.s => my friend

Ruby#クラスの例を、Kotlin に移植しました。

冒頭4行がクラス定義です。

クラス定義に、他のオブジェクト指向言語ならコンストラクタに渡すような引数が渡されています。

メンバーを公開するケースなら、この様に宣言的な引数リストを使うとメンバー定義と暗黙の初期値を与えられます。

toString は、オブジェクトを文字列化するメンバー関数で、Anyの同名のメンバー関数をオーバーライドしています。

print は、このクラスに独自なメンバー関数で、println() の戻値型(= Unit)を戻値型としています。

ファイルの読出し[編集]

JavaのI/Oシステムを使いファイルを読込む

import java.nio.file.Files
import java.nio.file.Paths
import java.nio.charset.Charset
import java.io.IOException

fun main() {
    try {
        for (s in Files.readAllLines(Paths.get("/etc/hosts"), Charset.forName("UTF-8"))) {
            println(s)
        }
    } catch (e: IOException) {
        e.printStackTrace()
    }
}

readText版

import java.io.File

fun main(args: Array<String>) {
    print(File("/etc/hosts").readText())
}

チートシート[編集]

エントリーポイント

コマンドライン引数を受取らない場合

fun main() {
    // ...
}

コマンドライン引数を受取る場合

fun main(args: Array<String>) {
    println(args.contentToString()) 
}

コメント

// Kotlinには、行末で終わるコメントと
fun main() { /*
              * 複数行に渡ることと
              * /*
                 * 入れ子にすることができる
                 * コメントがあります
                 */
               */
    println("Hello, World!") 
}

プリミティブデータ型

データ型	サイズ (ビット)	初期値
Boolean	1	false
Byte	8	0
Short	16	0
Int	32	0
Long	64	0L
Float	32	0.0f
Double	64	0.0

変数宣言

イミュータブル

val 識別子 : 型 = 初期化式 ;

型推論版: val 識別子 = 初期化式 ;

ミュータブル: var 識別子 : 型 = 初期化式 ;

リテラル

整数リテラル

123, 0b11010, 0o177, 0xbadbeef

浮動小数点数リテラル

3.14, 1.2e-9

文字リテラル

'a', '漢', '¥t'

文字列リテラル

”abc”, "了解🏝👅"

複数行に渡る文字列リテラル

"""
複数行に渡る場合は
この様に
３つの"（ダブルクオーテーションマーク）で囲むことで記述できます。
"""

配列の生成: arrayOf(2,3,5,7), Array(5){1+it)

制御構造

分岐

if

else節のないif: if ( 条件式 ) 式; else節のないifは、値を取ろうとするとコンパイルエラーになります。
ifの値: if ( 条件式 ) 式１ else 式２; 条件式が false でなければifの値は式１; false ならば式２

when

式で分岐

when ( 式 ) {
    値0 -> 式０
    値1, 値2... , 値n　-> 式１
    in 範囲式 -> 式２
    !in 範囲式 -> 式３
    is 型 -> 式４
    !is 型 -> 式５
　　elase -> 式ｘ
}

式を省略すると true が仮定されます

when {
    式０ -> 式０ｘ
    式１, 式２... , 式n　-> 式１ｘ
　　elase -> 式ｘ
}

値を返すwhen（による再帰）

fun power(n: Int, i: Int) = when {
    i < 0 -> throw Exception("Negative powers of integers cannot be obtained.")
    i == 0 -> 1
    i == 1 -> n
    else -> n * power(n, i - 1)
}

繰返し処理

while

var i = 0
while (i < 5) {
    println(i)
    i++
}

do-while

var i = 0
do {
    println(i)
    i++
} while (i < 5)

for

for (i in 0 until 5) {
    println(i)
}

コレクション

リストの生成
マップの生成
リストへのアクセス
マップへのアクセス
フィルタリング
マップへの変換

クラス

enum class
abstract class

関数

関数呼出し
関数定義

KotlinとJavaの比較[編集]

KotlinとJavaは、どちらもJava Virtual Machine（JVM）上で動作するプログラミング言語です。以下は、KotlinとJavaの主な比較ポイントです。

Null Safety（null安全性）
Kotlin

Kotlinはnull安全性を重視しており、デフォルトで変数がnullになる可能性がある場合、その変数をnullableとして扱います。これにより、nullによる実行時のエラーを減少させます。

Java

近年のJavaバージョンでは、OptionalやNullableなどの概念が導入され、nullの扱いが改善されました。しかし、Kotlinのnull安全性はより厳格であり、コンパイル時の警告やエラーが発生しやすくなっています。
コードの簡潔性
Kotlin

KotlinはJavaに比べてコードが簡潔で読みやすくなっています。これは、Kotlinがnullチェックや型推論などを自動的に処理し、冗長なコードを排除できるからです。

Java

Javaも近年ではラムダ式やストリームAPIなど、コードの簡潔性を向上させる機能が導入されていますが、依然として冗長なコードが残ることがあります。
関数型プログラミング
Kotlin

Kotlinは関数型プログラミングをサポートしており、ラムダ式や高階関数の使用が簡単です。

Java

Javaも関数型プログラミングをサポートしていますが、Kotlinの方がよりシンプルになっています。
互換性
Kotlin

KotlinはJavaのライブラリやフレームワークを使用することができ、Javaとの相互運用性が高いです。また、JavaからKotlinに変換することも可能です。

Java

JavaはKotlinのコードを直接使用することはできませんが、既存のJavaコードとの連携がスムーズです。
パフォーマンス
Kotlin

KotlinはJavaに比べて少し遅いとされていますが、実際のアプリケーションではその違いがほとんど実感できないことが多いです。KotlinはJavaのバイトコードに変換されるため、ほとんど同じパフォーマンスを実現できます。
ツールのサポート
Kotlin

KotlinはJavaと同じツールを使用できるため、Javaエコシステムのメリットを享受しながら、より現代的な言語機能を利用できます。

総合的に見ると、KotlinはJavaよりも簡潔で読みやすく、より現代的な言語機能を備えています。ただし、Javaのライブラリやフレームワークを使用する場合は、Javaを使用することが必要な場合があります。

KotlinとScalaの比較[編集]

KotlinとScalaは、どちらもJVM（Java Virtual Machine）上で動作する静的型付け言語であり、それぞれ異なる特徴を持っています。以下に、KotlinとScalaをいくつかの側面で比較してみます。

パフォーマンス
Kotlin

Kotlinは、Javaと同等のパフォーマンスを提供し、メモリ使用量が比較的少ないです。Androidアプリケーションの開発においては特に優れた性能を発揮します。

Scala

Scalaは一般的にはJavaよりも高速であるとされていますが、同時に多くのメモリを使用します。複雑なシステムの開発において、高いパフォーマンスが求められる場面で利用されます。
文法
Kotlin

Kotlinの文法はJavaに似ており、より簡素であり、Javaからの移行が容易です。これにより、Java開発者にとっては理解しやすいものです。

Scala

Scalaの文法は高度であり、関数型プログラミングの概念を強力にサポートしています。初めてのユーザーにとっては学習コストが高いかもしれませんが、高度な機能を提供しています。
開発用途
Kotlin

Kotlinは主にAndroidアプリケーションの開発に最適化されています。Android Studioでのサポートが強力であり、Androidエコシステムとの統合がスムーズです。

Scala

Scalaは複雑なシステムや大規模なプロジェクトの開発に適しています。特に関数型プログラミングの特徴を生かした開発に向いています。
可読性
Kotlin

KotlinはJavaと同じように、シンプルで読みやすいコードを書くことができます。文法がシンプルであるため、可読性が高いです。

Scala

Scalaは高度な機能を提供するが故に、可読性が低下する可能性があります。特に初心者にとっては、学習コストが高いと感じることがあります。
拡張性
Kotlin

Kotlinはよりシンプルでクラスベースのプログラミングスタイルを提供しており、拡張性があります。拡張関数や拡張プロパティなどが利用できます。

Scala

Scalaは関数型プログラミングの特徴を強調しており、高度な拡張性を提供しています。パターンマッチングや型クラスなどが利用できます。

総合的に見ると、KotlinはJavaからの移行が容易であり、Androidアプリケーションの開発に特に適しています。一方で、Scalaは関数型プログラミングの特徴を生かして複雑なシステムの開発に向いており、高度な拡張性を提供しています。選択する言語は、開発の目的や開発者のスキルセットによって異なることがあります。

KotlinとSwiftの比較[編集]

KotlinとSwiftは、それぞれAndroidとiOSのアプリ開発で主に使用されるプログラミング言語です。以下に、両言語の類似点と相違点をいくつか挙げてみます。

類似点

静的型付け: KotlinとSwiftは両方とも静的型付け言語であり、コンパイル時に型の確認が行われます。これにより、実行時エラーを事前に把握しやすくなり、安全性が向上します。
モダンな構文: どちらの言語もモダンで読みやすい構文を採用しており、コードの記述が簡潔になっています。これにより、開発者は効率的かつ迅速にコードを書くことができます。
ヌル安全性: KotlinとSwiftはヌル安全性の考え方を取り入れており、ヌルポインターによるエラーを防ぐための手段を提供しています。これにより、安定したアプリケーションの開発が可能です。

相違点

ターゲットプラットフォーム: Kotlinは主にAndroidアプリ開発に焦点を当てていますが、JetBrainsによって開発・サポートされているため、マルチプラットフォーム開発にも利用されています。; SwiftはAppleが開発し、iOS、macOS、watchOS、tvOSなどのApple製品向けのアプリ開発に特化しています。
開発元とサポート: KotlinはJetBrainsによって開発・サポートされています。JetBrainsはプロの開発者向けのツールを提供しており、Kotlinの統合も図られています。; SwiftはAppleによって開発され、iOSや関連プラットフォーム向けに積極的にサポートされています。Xcodeなどの開発ツールも提供されています。
言語機能の違い: KotlinはJavaとの相互運用性が高く、既存のJavaコードとの統合が容易です。これにより、Android開発においても既存のJavaライブラリを利用することができます。; SwiftはObjective-Cとの相互運用性があり、iOS開発においてはObjective-Cコードとの統合が可能です。SwiftはObjective-Cよりもシンプルであり、関数型プログラミングの機能も強化されています。
構文と特徴: KotlinはJavaに似た構文を持ちつつ、いくつかの新しい機能や改善を提供しています。Javaからの移行が容易であり、Androidアプリケーション開発に適しています。; SwiftはObjective-Cよりもシンプルで読みやすい構文を持っており、関数型プログラミングの機能が強化されています。iOSアプリケーション開発において使用されます。

どちらの言語も優れた特性を持っており、選択はプロジェクトのニーズや開発者の好みによって異なります。

エントリーポイント[編集]

Kotlinでは、関数 mainがエントリーポイントです。

noop.kt

fun main() {}

なにもしないプログラムはこの様になります。

コマンドライン引数を受取る場合[編集]

use-args.kt

fun main(args: Array<String>) {
    println(args.contentToString())
}

Shell

% kotlinc use-args.kt -include-runtime -d use-args.jar
% java -jar use-args.jar 123 abc 漢字
[123, abc, 漢字]
% _

パッケージ[編集]

パッケージの指定は、ソースファイルの冒頭（shebang!の次）で行ってください^[1]。

package my.demo

import kotlin.text.* 

// Imprementation

ディレクトリとパッケージの一致は必須ではなく、ソースファイルはファイルシステム上に任意に配置することができます。

ディフォルトインポート[編集]

Kotlinでは、特定のパッケージやクラスを明示的にインポートすることなく、いくつかのデフォルトのインポートが提供されています。これにより、コードをより簡潔にし、冗長性を減少させることができます。以下は、デフォルトでインポートされる主要なパッケージです。

kotlin.*: Kotlinの基本的な機能や標準ライブラリが含まれています。これにより、Kotlinの核となる機能を利用するための基本的な道具が提供されます。
kotlin.annotation.*: アノテーション関連の機能が含まれています。アノテーションは、プログラムにメタデータを追加するための重要な手段です。
kotlin.collections.*: コレクション関連のクラスや関数が含まれています。これにより、リスト、セット、マップなどのデータ構造を効果的に扱うための機能が提供されます。
kotlin.comparisons.*: 比較関連の機能が含まれています。ソートや比較などの操作をより容易に行うことができます。
kotlin.io.*: 入出力関連の機能が含まれています。例えば、ファイルの読み書きや標準出力への出力などが簡単に行えます。
kotlin.ranges.*: 範囲関連の機能が含まれています。これを使用することで、特定の範囲内の要素を操作する際に便利なメソッドが提供されます。
kotlin.sequences.*: シーケンス処理関連の機能が含まれています。シーケンスを使用することで、遅延評価を活用して効率的なデータ処理が可能です。
kotlin.text.*: テキスト処理関連の機能が含まれています。文字列の操作やフォーマットなどが簡単に行えます。

また、ターゲットプラットフォームに応じて、追加のデフォルトインポートが行われます。

JVM

java.lang.*: Javaの基本的なクラスや機能が含まれています。これにより、Javaとの互換性が確保されます。
kotlin.jvm.*: JVM関連の機能が含まれています。

JS

kotlin.js.*: JavaScript関連の機能が含まれています。

上記のパッケージは、明示的にインポートすることなく既にインポートされています^[2]。

このようなデフォルトのインポートにより、開発者は冗長なコードを書かずに済み、効率的にKotlinの機能を利用することができます。

以下は、デフォルトでインポートされる主要なパッケージの概要を表形式でまとめたものです。

デフォルトでインポートされる主要なパッケージ
パッケージ	内容の概要
kotlin.*	Kotlinの基本的な機能や標準ライブラリ
kotlin.annotation.*	アノテーション関連の機能
kotlin.collections.*	コレクション関連のクラスや関数
kotlin.comparisons.*	比較関連の機能
kotlin.io.*	入出力関連の機能
kotlin.ranges.*	範囲関連の機能
kotlin.sequences.*	シーケンス処理関連の機能
kotlin.text.*	テキスト処理関連の機能

また、ターゲットプラットフォームによっては、追加のデフォルトインポートが行われます。

ターゲットプラットフォーム別の追加のデフォルトインポート
ターゲットプラットフォーム	追加されるパッケージの概要
JVM	java.lang.*: Javaの基本的なクラスや機能	kotlin.jvm.*: JVM関連の機能
JS	kotlin.js.*: JavaScript関連の機能

これらのデフォルトインポートは、通常のKotlinプロジェクトで基本的な操作や機能を利用するための便利な手段となります。

インポート[編集]

デフォルトインポートとは別に、各ファイルは独自の import ディレクティブを含むことができます。

単一の名前でインポートすることができます。

import org.example.Message // Message は無条件にアクセスできます。

または、パッケージ、クラス、オブジェクトなどのスコープのすべてのアクセス可能なコンテンツをインポートすることができます。

import org.example.* // 'org.example' に含まれるすべてのコンテンツにアクセスできるようになります。

名前の衝突がある場合、as キーワードを使用して、衝突するエンティティの名前をローカルに変更することで、曖昧さをなくすことができます。

import org.example.Message // Message にアクセスできるようになります。
import org.test.Message as testMessage // testMessage は 'org.test.Message' を表しています。

import キーワードは、クラスのインポートに限定されません。他の宣言をインポートするためにも使用することができます。

トップレベルの関数およびプロパティ
オブジェクト宣言の中で宣言された関数やプロパティ
enum 定数

トップレベル宣言の可視性[編集]

トップレベル宣言が private とマークされている場合、その宣言が行われたファイルに対してプライベートとなります。

「可視性修飾子」も参照

トップレベルオブジェクト[編集]

トップレベルオブジェクトの前方参照は許される

いかなる関数スコープにも属さないオブジェクトのことを、トップレベルオブジェクト( top level object )と言います^[3]。

val a = 10

fun main() {
    println("a =$a, b = $b")
}

val b = 32

実行結果

a = 10, b = 32

この例では変数 b の参照が前方参照になっていますが、b はトップレベルオブジェクトなので参照解決されます。

コメント[編集]

Kotlinには、行末で終わるコメントと、複数行に渡ることと、入れ子にすることができるコメントがあります。

comments.kt

// Kotlinには、行末で終わるコメントと
fun main() { /*
              * 複数行に渡ることと
              * /*
                 * 入れ子にすることができる
                 * コメントがあります
                 */
               */
    println("Hello, World!")
}

/* ... */タイプのコメントは、入れ子にできるのが多くのプログラミング言語と異なります。

Kotlinの他には、ScalaとD言語がコメントを入れ子にできます。

基本型[編集]

Kotlinでは、任意のインスタンスに対してプロパティーを参照したりメンバー関数を呼出すことができるという意味で、すべてのインスタンスがクラスに属しています。いくつかの型は特別な内部表現を持つことができます。例えば、数字、文字、ブール値は実行時にプリミティブ値として表現できますが、ユーザーからは参照されるときに自動的にボックス化されるので普通のクラスのインスタンスのように見えます。これらの型は基本的にJavaのプリミティブに一対一に対応しますが、Stringだけはjava.lang.Stringクラスに対応しています。基本型は Package kotlin で定義されています。

Kotlinの基本型

論理型

Boolean — true, false

数値型

符号付き整数型: Byte Short Int Long
符号無し整数型: UByte UShort UInt ULong

浮動小数点数型: FloatDouble
文字型: Char
文字列型: String

primitive.kt

fun main() {
  println("値 : simpleName")
  println("----------------")
  arrayOf(true, 2.toByte(), 3.toUByte(), 5.toShort(), 7.toUShort(),
          11, 13U, 17L, 19UL, 
          1.23, 3.14F, 'C', "abc").forEach {
	  println("$it : ${it::class.simpleName}")
  }
}

実行結果

値 : simpleName 
---------------- 
true : Boolean 
2 : Byte 
3 : UByte 
5 : Short 
7 : UShort 
11 : Int 
13 : UInt 
17 : Long 
19 : ULong 
1.23 : Double 
3.14 : Float 
C : Char 
abc : String

基本型^[4]
型	Javaの型	リテラル表現
`Boolean`	`boolean`	`false, true`
`Byte`	`byte`
`Short`	`short`
`Int`	`int`	`123, 0x17, 0b10110110`
`Long`	`long`	`123L, 0x17L, 0b10110110L`
`Double`	`double`	`1.73205080757,6.62607015e-34`
`Float`	`float`	`1.73205080757f`
`String`	`java.lang.String`	`"Simple sample text."`
`Char`	`char`	`'Q'`

論理型[編集]

Kotlinの論理型は Boolean で

偽: false
真: true

の２つの値以外は取りえません。

JVMでは、この型の非Nullable値は、プリミティブ型のbooleanの値として表現されます。論理型と数値型は可換ではないので、制御構造の条件式などでもゼロとの比較を行う必要があります。

「Nullable」も参照

数値型[編集]

Kotlinの数値型は、整数型と浮動小数点数型に分かれています。これらの型は、抽象クラスである Number クラスから派生しており、具象クラスとして利用されます。

なお、文字型は数値型と可換ではありません。

整数型[編集]

Kotlinの整数型には、符号付き整数型と符号なし整数型があります。符号なし整数型の名前は、対応する符号付き整数型の名前の先頭に U を補ったものになります。以下が主な整数型です：

整数型
`Byte`	符号付き1バイト整数
`Short`	符号付き2バイト整数
`Int`	符号付き4バイト整数
`Long`	符号付き8バイト整数
`UByte`	符号なし1バイト整数
`UShort`	符号なし2バイト整数
`UInt`	符号なし4バイト整数
`ULong`	符号なし8バイト整数

浮動小数点数型[編集]

Kotlinの浮動小数点数型には、以下の２つがあります：

浮動小数点数型
`Float`	単精度浮動小数点数；ISO/IEC/IEEE 60559:2011-06 のbinary32
`Double`	倍精度浮動小数点数；ISO/IEC/IEEE 60559:2011-06 のbinary64

これらの数値型は、数学的な演算や精密な計算に利用され、Kotlin言語において数値処理をサポートする基本的な要素となっています。

文字型[編集]

Charクラスは文字を表すクラスです。'a' のようなKotlinプログラム内の文字リテラルはすべてこのクラスのインスタンスとして実装されています^[5]^[6]。 Charは、16ビットのUnicode文字を表します。これは、Charがすべての文字をユニコード文字を表すことが出来ない事をしめしています。

Charで表現できない文字

fun main() {
    val ascii = 'A'
    val kanji = '漢'
    val emoji = '🏝'
}

コンパイル結果

Too many characters in a character literal ''🏝''

🏝のUnicodeはU+1F3DDと16ビットを超えているので Char には収容できません。

絵文字以外にもサロゲートペアはあり、サロゲートペア以外にも合成文字も16ビットを超えるものがあります。

Kotlinは、Javaの文字エンコーディングシステムを引継いだので、Charの収まらない文字の問題に限らずUnicodeを内部エンコーディングに使っていることに起因する厄介ごとと付き合い続ければなりません。

演算子[編集]

Charでは、いくつかの演算子が定義されています^[6]。

Charクラスの演算子

fun main() {
    var a = 'K'
    println("var a = 'K'")
    a--
    println("a-- ⇒ $a")
    a++
    println("a++ ⇒ $a")
    println("'C' - 'A' ⇒ ${'C' - 'A'}")
    println("'C' - 2 ⇒ ${'C' - 2}")
    println("'A' + 2 ⇒ ${'A' + 2}")
    println("'A'..'C' ⇒ ${'A' .. 'C'}")
    println("'A'..<'C' ⇒ ${'A' ..< 'C'}")
    println("'A' + \"BCD\" ⇒ ${'A' + "BCD"}")
}

実行結果

var a = 'K' 
a-- ⇒ J 
a++ ⇒ K 
'C' - 'A' ⇒ 2 
'C' - 2 ⇒ A 
'A' + 2 ⇒ C 
'A'..'C' ⇒ A..C 
'A'..<'C' ⇒ A..B 
'A' + "BCD" ⇒ ABCD

エスケープシーケンス[編集]

特殊文字は、エスケープする \（バックスラッシュ）から始まります。以下のエスケープシーケンスに対応しています。

エスケープシーケンス
表現	意味
\t	水平tab
\b	バックスペース
\n	改行(LF)
\r	キャリッジリターン(CR)
\'	シングルクォーテーション
\"	ダブルクオーテーションマーク
\\	バックスラッシュ
\$	ドル記号

その他の文字をエンコードする場合は、Unicodeエスケープシーケンス構文を使用します。'\uFF00' を使用します。

文字列型[編集]

IntArray()を使ったIntArrayの生成

String クラスは文字列を表すクラスです。"abc" のようなKotlinプログラム内の文字列リテラルはすべてこのクラスのインスタンスとして実装されています^[7]。 Kotlinでは、文字列( String )と文字( Char )とは直接の関係はありません（StringはCharの配列ではありません）。

演算子[編集]

Stringでは、加算演算子を連結として定義されています^[8]。

public operator fun plus(other: Any?): String

加算演算子( + )は、文字列( this )と与えられた他のオブジェクトの文字列表現を連結して得られる文字列を返します^[9]。

文字列の+演算子

fun main() {
    val str = "ABC" + 12
    println(str + true + listOf(1,2,3))
}

実行結果

ABC12true[1, 2, 3]

テンプレートリテラル[編集]

既に紹介したように、Stringクラスのリテラルは "（ダブルクオーテーション）で括った文字列です。

Stringリテラルには変数や式を埋込むことが出来ます。このように、変数や式が埋込まれたStringリテラルのことをテンプレートリテラルといいます。

テンプレートリテラル

fun main() {
    var n = 10
    println("変数 n の値は $n です。")
    println("式 n + 13 の値は ${n + 13} です。")
    println("${'$'} 自体を書きたいときは、 \\\$ と \$ の直前に \\ を置きエスケープします（\$\$ではありません）。")
}

実行結果

変数 n の値は 10 です。 式 n + 13 の値は 23 です。 
$ 自体を書きたいときは、 \$ と $ の直前に \ を置きエスケープします（$$ではありません）。

生文字列[編集]

生文字列( Raw strings )は、改行や任意のテキストを含むことができます。トリプルクォート（”””; triple quote ）で区切られ、エスケープを含まず、改行や他の任意の文字を含むことができます^[10]。

生文字列

fun main() {
    var n = 10
    print(
"""
変数 n の値は $n です。
式 n + 13 の値は ${n + 13} です。
${'$'} 自体を書きたいときは、 \$ と $ の直前に \ を置きエスケープします（$$ ではありません）。
"""
    )
}

実行結果

変数 n の値は 10 です。 式 n + 13 の値は 23 です。 
$ 自体を書きたいときは、 \$ と $ の直前に \ を置きエスケープします（$$ ではありません）。

エスケープシーケンス[編集]

「文字型のエスケープシーケンス」を参照

コードポイント[編集]

文字列のn番目のコードポイント

fun main() {
    val str = "ABC漢字🏝𠮷"
    
    var i = 0
    while (i < str.length) {
	    println(Integer.toHexString(str.codePointAt(i)))
        i++
    }
}

実行結果

41 
42 
43 
6f22 
5b57 
1f3dd 
dfdd 
20bb7 
dfb7

codePointAt()でサロゲートペアの2ワード目を読むと…

Array[編集]

Kotlinで配列型は Array で、main() の引数でも使われています^[11]^[12]。

Array(), arrayOf(), arrayOfNulls() や emptyArray() で生成します。

Array()[編集]

Array()を使ったArrayの生成

fun main() {
    val ary = Array(5){it}
    println("ary::class.simpleName ⇒ ${ary::class.simpleName}")
    println("ary[0]::class.simpleName ⇒ ${ary[0]::class.simpleName}")
    ary.forEach{print("$it ")}
    println("")
    
    val ary2 = Array(5){(it*it).toString()}
    println("ary2[0]::class.simpleName ⇒ ${ary2[0]::class.simpleName}")
    ary2.forEach{print("$it ")}
    println("")
}

実行結果

ary::class.simpleName ⇒ Array
ary[0]::class.simpleName ⇒ Int
0 1 2 3 4 
ary2[0]::class.simpleName ⇒ String 
0 1 4 9 16

Array()はArrayのコンストラクターで、引数として要素数をとり、ブロックが初期化式になります。

プリミティブ型配列[編集]

Kotlinには、IntArray、DoubleArray、BooleanArray、CharArrayなどのプリミティブ型を要素とする配列のクラスが用意されています。これらを総称してプリミティブ型配列( Primitive type arrays )と呼びます^[13]。プリミティブ型配列は、機能的にはArray<T>のTにプリミティブ型を与えたものと変わりありませんが、ボックス化されないので性能向上とフットプリントの削減が期待できます。このため、プリミティブ型配列はArrayを継承していません。

StringArray はありません。

fun main() {
    val ary = IntArray(5){it}
    println(
"""
ary::class.simpleName ⇒ ${ary::class.simpleName}
ary[0]::class.simpleName ⇒ ${ary[0]::class.simpleName}
ary => $ary
ary.joinToString() ⇒ ${ary.joinToString()}
ary.contentToString() => ${ary.contentToString()}
"""
    )
}

実行結果

ary::class.simpleName ⇒ IntArray
ary[0]::class.simpleName ⇒ Int
ary => [I@1c6b6478
ary.joinToString() ⇒ 0, 1, 2, 3, 4 
ary.contentToString() => [0, 1, 2, 3, 4]

arrayOf()[編集]

arrayOf()を使ったArrayの生成

fun main() {
    val ary = arrayOf(1, 9, 3, 5, 23, 1)
    
    println("${ary::class.simpleName}")
    println("${ary[0]::class.simpleName}")

    for (s in ary)
        if (s > 10)
            break
        else
            print("$s ")
    println("")
    
    run {
        ary.forEach{
            if (it > 10)
                return@run
            else
                print("$it ")
        }
    }
    println("")

    var i = 0
    while (i < ary.size)
        ary[i] = i++
    ary.forEach{print("$it ")}
}

実行結果

Array
Int
1 9 3 5  
1 9 3 5

arrayOf()は可変長引数の関数で、引数が生成されるArrayの要素になります。

Arrayの要素の型は、型強制できる最小公倍数的な方になります（例えば Int と Long が混在していたら Long）。

特別な型[編集]

基本型の他にも幾つかの特別な型があります。これらは、基本型同様 Package kotlin で定義されています。

特別な型

Kotlinのクラス階層のルート: Any
戻値型未指定な関数の型: Unit
存在しない値を表す型: Nothing

Any[編集]

AnyはKotlinのクラス階層のルートです。すべてのKotlinクラスはAnyをスーパークラスとして持っています。クラス定義で継承元を指定しないと Any が暗黙の継承元になります。また、Anyクラスのオブジェクトは、あらゆるオブジェクトを代入できます。

AnyのArray

fun main() {
    arrayOf(4, "abc", 'a', listOf(2,5,6)).forEach{ println("$it(${it::class.simpleName})") }
}

実行結果

4(Int) 
abc(String) 
a(Char) 
[2, 5, 6](ArrayList)

Unit[編集]

Unitは、何も返さない関数の戻値の型です。JVMでは、Javaのvoid型に相当します。

pub main() : Unit {}

は

pub main() {}

と等価です。

Nothing[編集]

Nothingはインスタンスを持ちません。例えば、ある関数の戻り値がNothingであれば、それは決して戻らない（常に例外を投げる）ことを意味します^[14]。

Null安全[編集]

KotlinのNULL安全性（Null safety）とNullableに関して、以下のポイントが重要です。

Null安全性: Kotlinの目標の一つは、null参照によるエラー（The Billion Dollar Mistakeとも呼ばれる）の危険性を排除することです。Javaを含む多くのプログラミング言語で見られる最も一般的な落とし穴の一つは、null参照のメンバーにアクセスすると、null参照例外が発生することです（JavaではNullPointerException、NPEと呼ばれます）。
Nullable型と非Nullable型: Kotlinの型システムでは、nullを保持できる参照（Nullable型）と、保持できない参照（非Nullable型）とを区別します。たとえば、String型の通常の変数はnullを保持できませんが、NullableなString型はnullを保持できます。
Nullable型の宣言: nullを許容する型を宣言するには、型名の後ろに「?」を付けます。例えば、String型のNullableな変数を宣言する場合は、String?とします。
Nullable型の安全な操作: Nullableな変数やプロパティに安全にアクセスする方法として、以下のような手法があります。
- ?.演算子: セーフコール演算子は、nullチェックを行い、nullでない場合にのみメンバーにアクセスします。
- ?:演算子: Elvis演算子は、nullでない場合には左側の値を、nullの場合には右側の値を返します。
- !!演算子: null許容型の値を非Nullable型として扱い、nullの場合にはNullPointerExceptionをスローします。
Null安全性の確認: null安全性の確認は、条件式で明示的に行うことができます。if (variable != null)のような形で、nullチェックを行い、それに応じた処理を行います。
Safe casts: 安全なキャスト演算子as?を使用すると、通常のキャストでClassCastExceptionが発生する可能性がある場合でも、nullを返すことができます。

KotlinのNull安全性とNullable型は、プログラミングにおける安全性と信頼性を向上させるための重要な機能です。これらの機能を適切に理解し、利用することで、Nullによるエラーを最小限に抑えることができます。

Javaを含む多くのプログラミング言語における最も一般的な落とし穴の1つは、Null参照のメンバーにアクセスするとNull参照例外が発生することです。Javaでは、これはNullPointerException、略してNPEと呼ばれるものに相当します^[15]。

KotlinでNPEが発生する原因として考えられるのは、以下の通りです。

NullPointerException()を明示的に呼び出した場合。
後述する !! 演算子の使用。
初期化に関するデータの不整合（以下のような場合）。
- コンストラクターで使用可能な未初期化の this がどこかで渡され使用されている (「リーキング this」)。
- スーパークラスのコンストラクターが、派生クラスの実装で未初期化の状態を使用しているオープンメンバーを呼出す場合。
Java との相互運用。
- プラットフォーム型のNull参照のメンバにアクセスしようとする。
- Java との相互運用に使用される汎用型の Nullability の問題。例えば、ある Java コードが Kotlin の MutableList<String> に null を追加し、それを操作するために MutableList<String?> が必要になることがあります。
- その他、外部のJavaコードによって引き起こされる問題。

Nullable[編集]

Kotlinの型システムでは、nullを保持できる参照（Null可能参照; nullable references ）とそうでない参照（非Null参照; non-null references ）を区別しています。例えば、String型の通常の変数はnullを保持できません。

var a: String = "abc" // 通常の初期化ではデフォルトで非nullを意味します
// a = null // コンパイルエラー！

nullを許容するには、String?と書いて変数をnull可能な文字列として宣言します。

var b: String? = "abc" // nullに設定可能
b = null // OK
prinlnt(b)

さて、aのメンバー関数を呼び出したり、プロパティーにアクセスしたりしても、NPEが発生しないことが保証されています。

val l = a.length

しかし、bのメンバー関数を呼び出したり、プロパティーにアクセスしたりすると、それは安全ではなく、コンパイラはエラーを報告します。

val l = b.length

それでもそのプロパティにアクセスする必要がありますよね？そのためには、いくつかの方法があります。

条件におけるnullのチェック[編集]

まず、bがnullかどうかを明示的にチェックし、2つの選択肢を別々に処理することができます。

val l = if (b != null) b.length else -1

コンパイラーは実行したチェックの情報を記録し、ifの内部でlengthの呼出しを可能にする。より複雑な条件もサポートされています。

val b: String? = "Kotlin"
if (b != null && b.length > 0) {
    print("文字列の長さは ${b.length}")
} else {
    print("空文字列")
}

註：b が immutable な場合 (つまり、チェックから使用までの間に変更されないローカル変数か、バッキングフィールドを持つオーバーライド不可のメンバー変数) にのみ有効です。

!!演算子[編集]

Not-Null断定演算子(!!)で任意の値をnullでない型に変換し、値がnullの場合は例外をスローします。b!!と書くと、bの非null値（例えばこの例ではString）を返し、bがnullの場合はNPEを投げます。

val l = b!!.length

このように、NPEを発生させたい場合は、明示的に要求する必要があり、突然発生することはありません。

?.演算子[編集]

fun main() {
    var str: String? = "Hello" // ?を使ってnullを許容する
    str = null // 問題なくnullを代入できる
    
    val length = str?.length // 安全呼び出し演算子でnullチェックしつつプロパティにアクセス
    println("Length: $length")
}

?. 演算子は、null安全性を保証しつつ、str 変数がnullでない場合に length プロパティにアクセスします。str がnullの場合、length には null が代入されます。

このように、?. 演算子はnull値を安全に処理するために使用されます。例えば、Javaの場合、nullチェックを行わないとNullPointerExceptionが発生しますが、Kotlinでは ?. 演算子を使用することで、nullに対する操作を安全に行うことができます。

識別子[編集]

変数の名前のような名前を識別子( identifiers )と呼びます^[16]。変数ほかに、関数、クラス、クラスのメンバー、クラスのメンバー関数、enum、ラベルなどの名前も識別子です。

同じ名前空間の中では識別子は重複できません。
識別子に使える文字は、英数字・_(アンダーバー)・Unicode文字です。
識別子の最初に数字を使うことはできません。
識別子の大文字小文字は区別されます。
キーワードの使用には制限があります。
キーワードや空白を含む文字列など上のルールに従わない文字列は、`（バッククオーテーション）で囲むと識別子として使うことができます。

「キーワード」も参照

変数[編集]

Kotlinでは、変数は使う前にかならず宣言する必要があります。

val と var[編集]

val[編集]

変数を使った単純なコード

fun main() {
    val hello = "Hello, World!"
    println(hello) 
}

実行結果

Hello, World!

Hello worldの例と結果は同じですが、変数helloを導入しています。

変数 hello の宣言

val hello = "Hello, World!"

イミュータブル変数の宣言は、この様に:

val 識別子 = 初期化式

の形式をとります。

変数 hello の値の参照

println(hello)

の様に識別子をそのまま書くことで、値（この場合は "Hello, World!"）を参照できます。

キーワード val を使って宣言された変数はイミュータブル( Immutable )です。

イミュータブルというのは、一度値が決めたら変更できないという意味です。

イミュータブルな変数を「定数」ということがありますが、リテラルのことを定数ということもあるので、ここでは「イミュータブルな変数」と呼びます。

var[編集]

ミュータブルな変数を使ったコード

fun main() {
    var hello = "Hello, World!"
    println(hello) 
    hello = "Hello, Kotlin!"
    println(hello) 
}

実行結果

Hello, World! 
Hello, Kotlin!

変数 hello の宣言

var hello = "Hello, World!"

ミュータブルな変数の宣言は、この様に:

var 識別子 = 初期化式

の形式をとります。

キーワード var を使って宣言された変数はイミュータブル( Immutable )です。

ミュータブルというのは、変数の値を何度でも変更できるという意味です。

変数 hello に新しい値を代入

hello = "Hello, Kotlin!"

Kotlinでは = が代入演算子です。

代入の前の hello の値は "Hello, World!" でしたが、代入の後は "Hello, Kotlin!" になります。

型推論[編集]

いままでの例で既に型推論( type inference ) は使われています。変数を宣言するときに、特に型を明示しませんでしたが、初期化式の型から変数の型を特定していたのです。

型アノテーション[編集]

初期化式は省略可能です。その場合は変数の型がわからないので型アノテーション( type annotation )が必要になります。

型アノテーションを伴った変数宣言

fun main() {
    var hello : String
    hello = "Hello, World!"
    println(hello) 
    hello = "Hello, Kotlin!"
    println(hello) 
}

実行結果

Hello, World! 
Hello, Kotlin!

型アノテーションを伴った変数 hello の宣言

var hello : String

: Stringが型アノテーションで

型アノテーションを伴った変数の宣言は、この様に:

var 識別子 : 型

の形式をとります。

型アノテーションをイミュータブルな変数の宣言でも行えますが、事実上初期化式が必須なのでドキュメント性を高める以外の意味は希薄です。

「基本型」も参照

シャドーイング[編集]

シャドーイング( Shadowing )とは、スコープ内の2つの宣言が同じ名前になり、より内側の識別子が外側の識別子を隠すことです。

コード例

fun main() {
    var i = 10
    
    for (i in 1..3)
        println("for内: i = $i")
    
    println("for外: i = $i")
}

コンパイラーの警告

Main.kt:4:10: warning: name shadowed: i
    for (i in 1..3)
         ^

実行結果

for内: i = 1
for内: i = 2
for内: i = 3 
for外: i = 10

ループ変数 i と、2行目で宣言された変数 i の名前が衝突しいています。

この様に名前が衝突した場合、スコープの内側のオブジェクトが参照されます。

コンパイラーはシャドーイングを発見するとwarning: name shadowed: 識別子と（エラーでなく）警告します。

多くのシャドーイングは無害ですが…

ありがちな間違え

fun main() {
    for (i in 1..3)
        for (i in 1..4)
            println("(i, i) = ($i, $i)")
}

コンパイラーのエラー出力

Main.kt:3:14: warning: name shadowed: i
        for (i in 1..4)
             ^

修正例

fun main() {
    for (i in 1..3)
        for (j in 1..4)
            println("(i, j) = ($i, $j)")
}

行列式を扱っていると、よくやらかします。

分解宣言[編集]

オブジェクトを複数の変数に分解して初期化する宣言する方法があり、分解宣言( Destructuring declarations )と呼ばれます^[17]。

分解宣言の例

fun main() {
    val (a, b) = Pair(3, 4)
    val (c, d) = Pair("abc", 3.14)
    val (e, f) = 'C' to null
    val (g, h, i) = Triple(1,2,3)
    val (j, k, l, m) = List(4){it*2}
    print(
"""
a = $a, b = $b
c = $c, d = $d
e = $e, f = $f
g = $g, h = $h, i = $i
j = $j, k = $k, l = $l, m = $m
"""
    )
}

実行結果

a = 3, b = 4
c = abc, d = 3.14
e = C, f = null
g = 1, h = 2, i = 3 
j = 0, k = 2, l = 4, m = 6

to は infix 宣言された関数です。

演算子[編集]

演算子の優先順位[編集]

演算子の優先順位^[18]
優先順位	種類	記号
高い	後置	`++`, `--`, `.`, `?.`, `?`
	前置	`-`, `+`, `++`, `--`, `!`, label
	型	`:`, `as`, `as?`
	乗除算	`*`, `/`, `%`
	加減算	`+`, `-`
	範囲	`..`, `..<`
	中置関数(Infix function)	simpleIdentifier
	エルビス	`?:`
	Named checks	`in`, `!in`, `is`, `!is`
	比較	`<`, `>`, `<=`, `>=`
	一致不一致	`==`, `!=`, `===`, `!==`
	Conjunction	`&&`
	Disjunction	`\|\|`
	スプレッド演算子	`*`
低い	代入演算	`=`, `+=`, `-=`, `*=`, `/=`, `%=`

「演算子と特殊シンボル」も参照

演算子オーバーロード[編集]

Kotlinでは、演算子はメソッド形式の別名を持ちます。例えば、a + b は a.plus(b) とも書けます。この plus メンバー関数を再定義すると、演算子オーバーロードができます^[19]。

コード例

fun main() {
    class Point(val x : Int = 0, val y : Int = 0) {
        override fun toString() ="Point(x=$x, y=$y)"
        operator fun plus (other: Point) = Point(x + other.x, y + other.y)
        operator fun minus(other: Point) = Point(x - other.x, y - other.y)
        operator fun unaryMinus() = Point(-x, -y)
        override fun equals(other: Any?) = when {
            this === other -> true
            other !is Point -> false
            x != other.x -> false
            else -> y == other.y
        }
    }

    val p = Point(15, 25)
    val q = Point(20, 30)
    print(
"""
p => $p
p.x => ${p.x}, p.y => ${p.y}
q => $q
p.plus(q) => ${p.plus(q)}
p + q => ${p + q}
12 + 5 => ${12 + 5}
12.plus(5) => ${12.plus(5)}
----
p - q => ${p - q}
-p => ${-p}

p == q => ${p == q}
p != q => ${p != q}
p == Point(15,25) => ${p == Point(15,25)}
p != Point(15,25) => ${p != Point(15,25)}
"""
    )
}

実行結果

p => Point(x=15, y=25)
p.x => 15, p.y => 25
q => Point(x=20, y=30)
p.plus(q) => Point(x=35, y=55)
p + q => Point(x=35, y=55)
12 + 5 => 17
12.plus(5) => 17
----
p - q => Point(x=-5, y=-5)
-p => Point(x=-15, y=-25)

p == q => false
p != q => true
p == Point(15,25) => true 
p != Point(15,25) => false

演算子は、もちろん加算だけではありません。

単項演算子
式	メソッド形式
`+a`	`a.unaryPlus()`
`-a`	`a.unaryMinus()`
`!a`	`a.not()`
`a++`	`a.inc()`
`a--`	`a.dec()`

算術演算
式	メソッド形式
`a + b`	`a.plus(b)`
`a - b`	`a.minus(b)`
`a * b`	`a.times(b)`
`a / b`	`a.div(b)`
`a % b`	`a.rem(b)`
`a..b`	`a.rangeTo(b)`
`a..<b`	`a.rangeUntil(b)`

包含
式	メソッド形式
`a in b`	`b.contains(a)`
`a !in b`	`!b.contains(a)`

インデックスによる要素参照
式	メソッド形式
`a[i]`	`a.get(i)`
`a[i, j]`	`a.get(i, j)`
`a[i_1, ..., i_n]`	`a.get(i_1, ..., i_n)`
`a[i] = b`	`a.set(i, b)`
`a[i, j] = b`	`a.set(i, j, b)`
`a[i_1, ..., i_n] = b`	`a.set(i_1, ..., i_n, b)`

関数的な呼出し
式	メソッド形式
`a()`	`a.invoke()`
`a(i)`	`a.invoke(i)`
`a(i, j)`	`a.invoke(i, j)`
`a(i_1, ..., i_n)`	`a.invoke(i_1, ..., i_n)`

代入演算
式	メソッド形式
`a += b`	`a.plusAssign(b)`
`a -= b`	`a.minusAssign(b)`
`a *= b`	`a.timesAssign(b)`
`a /= b`	`a.divAssign(b)`
`a %= b`	`a.remAssign(b)`

一致・不一致
式	メソッド形式
`a == b`	`a?.equals(b) ?: (b === null)`
`a != b`	`!(a?.equals(b) ?: (b === null))`

比較演算
式	メソッド形式
`a > b`	`a.compareTo(b) > 0`
`a < b`	`a.compareTo(b) < 0`
`a >= b`	`a.compareTo(b) >= 0`
`a <= b`	`a.compareTo(b) <= 0`

制御構造[編集]

分岐[編集]

Kotlinは、if と when の２つの分岐構文を持ち、両方とも値を返す式です。

if[編集]

if式は、条件式に基づき分岐し、分岐先の式を評価します。 if式の値は、分岐先の式の値です（C言語系の三項演算子に相当する働きをします）。 if式の値を右辺値化した場合、else節は必須です。

構文

if-expr := if '(' 条件式 ')' 式1 [ else 式2 ]

if式の例

fun main(args: Array<String>) {
    val i = 0
    
    if (i == 0)
        println("zero")
    else
        println("non zero")
        
    println(if (i == 0) "零" else "非零" )
}

実行結果

zero 
零

条件式の条件[編集]

if や while の条件式は

論理型
Nullableな型

でなければいけません。

条件式に整数を使うと

fun main(args: Array<String>) {
    val i = 0
    
    if (i)
        println("non zero")
}

コンパイルエラー

Main.kt:4:9: error: type mismatch: inferred type is Int but Boolean was expected
    if (i) 
        ^

Kotlinでは、整数は自動的には論理型に変換されないので

    if (i != 0)
        println("non zero")

とします。

when[編集]

when式を使って条件分岐をすることができます。 when 式は、when に与えられた式（境界値）に最初にマッチするパターンに結びついた値を返すパターンマッチングです。式が省略されると、パターンの条件が最初に真になるパターンに結びついた値を返します。

whenの例

fun main() {
    val ary = arrayOf(1, 'X', 3.14, "abc", arrayOf(1,2,3), true)
    for (obj in ary) {
        when (obj) {
            is Number, is Boolean -> println(obj)
            is Char -> println("'$obj'")
            is String -> println("\"$obj\"")
            is Array<*> -> println(obj.joinToString(prefix="[", postfix="]"))
            else -> println(obj::class.simpleName)
        }
    }
}

実行結果

1 
'X' 
3.14 
"abc" 
[1, 2, 3] 
true

when式は、いくつかの論理条件に応じて、複数の異なる制御構造体（ケース）のうちの1つを評価することができるという点で、条件式と類似しています^[20]。

重要な違いは、when式は複数の異なる条件とそれに対応する制御構造体(control structure bodies; CSB)を含むことができることです。

when式には、境界値付きと境界値なしの2種類の形式があります。

境界値(bound value；whenキーワードの後の括弧で囲まれた式)なしのwhen式は、whenエントリからの条件に基づいて異なるCSBのうちの1つを評価します。

各 when エントリは、boolean 条件（または特殊な else 条件）とそれに対応する CSB から構成されます。

when項目は出現順にチェックされ評価され、条件が真と評価された場合、対応するCSBが評価され、when式の値はCSBの値と同じになり、残りのすべての条件と式は評価されません。

whenパターン式のパターンの後ろに break は不要です（フォールスルーしませんし、することはできません）。

もし break を書くと、when式の外のループ式からの脱出になります（フォールスルーしてしまう言語には、できなかったこと）。

whenは式なので以下のように書換えることができます。

when式の例

fun main() {
    val ary = arrayOf(1, 'X', 3.14, "abc", arrayOf(1,2,3), true)
    for (obj in ary) {
        val s = when (obj) {
            is Number, is Boolean -> obj
            is Char -> "'$obj'"
            is String -> "\"$obj\""
            is Array<*> -> obj.joinToString(prefix="[", postfix="]")
            else -> obj::class.simpleName
        }
        println(s)
    }
}

区切子 -> を使った構文の左辺の条件には、以下のようなバリエーションがあります。

when式の条件の構文

値
値1, 値2... , 値n
in 範囲式
!in 範囲式
is 型
!is 型
else

値は、定数である必要はなくメソッドでも構いません。

式は、単式だけでなくブロック式{...}でも構いません。

引数のないwhen[編集]

when 文は、多くの条件分岐をシンプルに表現するための強力な構造です。境界値が省略された場合、true が境界値とみなされます。

引数のないwhenの例

fun main() {
    val a = 1
    val b = 2

    when {
        a == 0 -> println("a == 0")
        a == 1 && b == 1 -> println("a == 1 && b == 1")
        a == 1 && b == 2 -> println("a == 1 && b == 2")
        else -> println("else")
    }
}

実行結果

a == 1 && b == 2

上記のコードでは、when 文が引数を取らずに条件分岐を行っています。最初の条件が false で、次の条件が true となり、そのブロックが実行されます。

ifを使った等価なコード

同じ条件分岐を if 文を使って表現すると以下のようになります。

fun main() {
    val a = 1
    val b = 2

    if (a == 0)
        println("a == 0")
    else if (a == 1 && b == 1)
        println("a == 1 && b == 1")
    else if (a == 1 && b == 2)
        println("a == 1 && b == 2")
    else
        println("else")
}

when 文を使うことで、このような条件分岐をより簡潔に表現できます。

境界値を省略した例[編集]

境界値を省略した例として、以下のコードを見てみましょう。

fun main() {
    val x = 5

    val result = when {
        x > 0 -> "Positive"
        x < 0 -> "Negative"
        else -> "Zero"
    }

    println(result)
}

このコードでは、when 文が x の値に基づいて文字列を返します。境界値が省略されているため、条件が true のブロックが実行されます。

`when` 文でループを脱出する例[編集]

when 文を使用してループから脱出する例もあります。以下は、when 文を使って特定の条件でループを脱出する例です。

fun main() {
    val numbers = listOf(1, 2, 3, 4, 5)

    for (number in numbers) {
        when (number) {
            3 -> {
                println("Found 3, breaking the loop.")
                break
            }
            else -> println("Processing $number")
        }
    }
}

このコードでは、when 文を使用して number が3の場合にループから脱出します。

`enum` な式が境界値に与えられた例[編集]

enum クラスを使った when 文の例も挙げてみましょう。

enum class Day {
    MONDAY, TUESDAY, WEDNESDAY, THURSDAY, FRIDAY, SATURDAY, SUNDAY
}

fun main() {
    val today = Day.WEDNESDAY

    val activity = when (today) {
        Day.MONDAY, Day.TUESDAY -> "Working"
        Day.WEDNESDAY -> "Meeting"
        Day.THURSDAY, Day.FRIDAY -> "Coding"
        Day.SATURDAY, Day.SUNDAY -> "Relaxing"
    }

    println("Today's activity: $activity")
}

このコードでは、enum クラス Day を使用して、曜日に応じた活動を選択しています。when 文が enum の各ケースを処理し、対応する活動が選択されます。

繰返し処理[編集]

Kotlinには、while・do-while と for の3つの繰返し構文があります^[21]。これらは文で、値を返すことはできません。

while[編集]

whileは、条件式が true の間、式を評価しつづけます^[22]。

構文

while-stmt := while '(' 条件式 ')' 式

条件式は、Boolean 型でなければいけません。

whileの例

fun main(args: Array<String>) {
    var i = 0
    
    while (i < 5) {
        println(i)
        i += 1
    }
    println("last = $i")
}

実行結果

0
1
2
3
4 
last = 5

do-while[編集]

do-whileは、条件式が true の間、式を評価しつづけるという意味では、whileと同じですが、条件式がループの最後にある、つまり条件が成立しなくても1周はループが回ることが異なります^[23]。

構文

while-stmt := do 式 while '(' 条件式 ')'

条件式は、Boolean 型でなければいけません。

do-whileの例

fun main() {
    var i = 0
    
    do {
        i++
        println("i = $i")
    } while (i < 0)
}

実行結果

i = 1

for[編集]

Kotlinのforはw:foreach文タイプのループ構文で、C言語の for(;;) とは異なる構文です^[24]。

構文

 for (ループ変数 in コレクション) 式

範囲コレクションとforを組合せた例

fun main(args: Array<String>) {
  for (i in 1..5) println(i)
  println((1..5).javaClass.kotlin)
}

実行結果

1
2
3
4
5
class kotlin.ranges.IntRange

iの様なループ変数は、forがスコープになります。

ここでは、型指定を省略しているので、型推論されコレクションの要素型になります。省略せず、

  for (i : Int in 1..5) println(i)

とすることもできます（ただし、異種コレクションだと要素型はUnion型になり宣言が複雑になるので、コードレビューの時に意図を明確にするなどの想起がない限り、型推論に任せるのが常です）。

ループ変数は、varやvalを前置することができません。

ループ変数には、代入できません。

for と等価な while[編集]

for と等価な while

for (ループ変数 in コレクション) {
  println(ループ変数)
}

// は、以下と等価

val イテレーター = コレクション.iterator()
while (イテレーター.hasNext()) {
  val ループ変数 = イテレーター.next()
  println(ループ変数)
}

関数[編集]

関数は、キーワード fun を使って定義します^[25]。

関数定義[編集]

関数定義と呼出しの例

fun ipow(base: Int, times: UInt) : Int {
    var result = 1
    var i = 0U
    while (i < times) {
        result *= base
        i++
    }
    return result
}

fun main() {
    println("ipow(2, 3) = ${ipow(2, 3U)}")
    println("ipow(10, 4) = ${ipow(10, 4U)}")
}

実行結果

ipow(2, 3) = 8 
ipow(10, 4) = 10000

関数 ipow 定義の冒頭

fun ipow(base: Int, times: UInt) : Int {

Intの仮引数 base と、UIntの仮引数 times を受取り Int の戻値を返すと読めます。

UIntに下のは、マイナスの指数を整数の累乗で扱いたくなかったため、3U や 4U のような符号なし整数リテラルの例にもなってます。

main() の中で ipow(2, 3U) やipow(10, 4U)の様に呼出しています。

仮引数と実引数の型の一致は、符号まで求められます。

関数定義の構文（１）

fun 関数名(仮引数リスト) : 戻値型 {
    // 文 …
    return 戻値式
}

さて、main関数はこの構文から逸脱しています。: 戻値型がありませんし、return 戻値式も見当たりません。

return 戻値式を省略したときの関数の戻値型は Unit になります。

また、: Unitは省略可能です。ということで main の定義はさっぱりしたものになります。

ボディが単一の式からなる関数定義[編集]

関数のボディが単一の式からなる場合、{ return 式 } を、= 式と書くことができます^[26]。

関数定義の構文（２）

fun 関数名(仮引数リスト) : 戻値型 = 式

ボディが単一の式からなる関数定義の例

fun add2(n: Int) : Int = 2 + n 

fun main() {
    println("add2(3) = ${add2(3)}")
}

実行結果

add2(3) = 5

初見だと驚きますが、関数型プログラミング風の書き方が簡素にできます。特に、ifやwhenが値を返すことができる式であることが効いてきます。

戻値型の省略[編集]

ボディが単一の式からなる関数定義では、戻値式の型が推論できる場合が多いので、戻値型を省略できる場合があります。

戻値型の省略

fun add2(n: Int) = 2 + n 

fun main() {
    println("add2(3) = ${add2(3)}")
}

再帰関数は戻値型を省略できない[編集]

再帰関数の戻値型を省略しようとすると、自分自身が型不明な項になりコンパイルできません。

戻値型の省略

fun power(n: Int, i: Int) = when {
    i < 0 -> throw Exception("Negative powers of integers cannot be obtained.")
    i == 0 -> 1
    i == 1 -> n
    else -> n * power(n, i - 1)
}

fun main() {
    (0 .. 7).forEach{
        println("power(2, $it) => ${power(2, it)}")
    }
}

コンパイル結果

Main.kt:5:17: error: type checking has run into a recursive problem. Easiest workaround: specify types of your declarations explicitly
    else -> n * power(n, i - 1) 
                ^

意訳: 【エラー】型チェックで再帰問題が発生しました。最も簡単な回避策は、宣言の型を明示的に指定することです。

戻値型を明示

fun power(n: Int, i: Int) : Int = when {
    i < 0 -> throw Exception("Negative powers of integers cannot be obtained.")
    i == 0 -> 1
    i == 1 -> n
    else -> n * power(n, i - 1)
}

fun main() {
    (0 .. 7).forEach{
        println("power(2, $it) => ${power(2, it)}")
    }
}

実行結果

power(2, 0) => 1
power(2, 1) => 2
power(2, 2) => 4
power(2, 3) => 8
power(2, 4) => 16
power(2, 5) => 32
power(2, 6) => 64 
power(2, 7) => 128

引数はイミュータブル[編集]

関数の引数はイミュータブルです。これは Zig も同じで、新興言語は不用意な書換えによる古参言語で度々アクシデントのもととなった引数の破壊を永久になくしたいようです。

引数のディフォルト値[編集]

関数には、引数にディフォルト値を設定できます。これにより、呼び出し側は引数を指定しなくても関数を呼び出すことができます。

たとえば、次の関数は、名前と年齢の2つの引数を取ります。名前には「John Doe」というデフォルト値が設定されています。

fun sayHello(name: String = "John Doe", age: Int) {
    println("Hello, $name! You are $age years old.")
}

この関数を呼び出すには、名前を指定するか、デフォルト値を使用できます。

sayHello() // Hello, John Doe! You are 0 years old.
sayHello("Jane Doe") // Hello, Jane Doe! You are 0 years old.

関数の引数にデフォルト値を設定すると、呼び出し側がすべての引数を指定する手間を省くことができます。また、関数の使い方を覚えやすくすることもできます。

関数呼出し[編集]

関数にブロック（に擬態したラムダ関数）を渡す

関数指向の構文[編集]

関数名(実引数リスト)

次のコードは、関数指向の構文を使用して関数を呼び出す方法を示しています。

fun main(args: Array<String>) {
     val sum = add(1, 2)
     println(sum) // 3
 }
 
 fun add(x: Int, y: Int): Int {
     return x + y
 }

このコードは、add 関数を呼び出して、2つの引数 1 と 2 を渡します。add 関数は、これらの引数を受け取った後、それらを加算して結果を返します。関数 main は、結果をコンソールに出力します。

メソッド指向の構文[編集]

インスタンス.関数名(実引数リスト)

メソッドあるいは拡張関数の呼出しはドット記法になります。

次のコードは、メソッド指向の構文を使用して関数を呼び出す方法を示しています。

fun main(args: Array<String>) {
    val person = Person("John Doe", 30)
    println(person.greet()) // Hello, John Doe!
}
 
class Person(val name: String, val age: Int) {
    fun greet() = "Hello, $name!"
}

このコードは、Person クラスのインスタンスを作成し、name プロパティに John Doe という値、age プロパティに 30 という値を設定します。次に、greet メソッドを呼び出して、インスタンスの名前を出力します。

関数引数のある構文[編集]

関数呼出しの構文（２）

関数名(実引数リスト) 関数型実引数

関数呼出しの構文（２’）

インスタンス.関数名(実引数リスト) 関数型実引数

メソッドあるいは拡張関数の呼出しはドット記法になります。

fun Int.times(action: (Int) -> Unit) = (0 ..< this).forEach(action)

fun main() {
    5.times{
        println("Hello -- $it")
    }
}

実行結果

Hello -- 0
Hello -- 1
Hello -- 2
Hello -- 3
Hello -- 4

RubyのInteger#timesをKotlinに移植してみました。

this の数だけ関数仮引数 action を実行します。

呼出は 42.times{ /* Action */ } の形式になります。

この機能や infix 関数修飾子・ラムダ関数・拡張関数のおかげで Kotrin は、あたかも「構文を後からプログラマーが拡張することができる言語」のように振舞います。

仮引数の名前を使った実引数の指定[編集]

Kotlin は関数を呼出す時、引数を名前で指定する事ができます。

キーワード引数

fun main() {
    val ary = Array(3){it}
    println(ary)
    println(ary.toString())
    println(ary.joinToString())
    println(ary.joinToString("A", "B", "C"))
    println(ary.joinToString(prefix="🌞", separator="⭐", postfix="🌛"))
}

[Ljava.lang.Integer;@5ca881b5
[Ljava.lang.Integer;@5ca881b5
0, 1, 2
B0A1A2C 
🌞0⭐1⭐2🌛

Arrayクラスのインスタンスを println() に渡すとワヤクチャな文字列を表示します。

これは、Any.toString() をオーバーライドした Array.toString() が暗黙に呼出された結果です。

Array.joinString() を使うと、0, 1, 2 と表示されます

Array.joinString() は、先頭・区切り・末尾を引数で指定できます。

…区切り・先頭・末尾の順だったようです。

このように、引数の順序と意味を正確に覚えておくのは面倒なので、prefix= の様に関数定義の仮引数の名前で実引数を指定することができます。

「kotlin-stdlib / kotlin.collections / joinToString」も参照

infix[編集]

関数修飾子 infix を使うと、中置表現の関数呼出しを行うことができるようになります。外観は文法を拡張したかのような印象をうけます。

実引数１ 関数名 実引数２

infix 関数修飾子で修飾された関数は、中置表現での呼出しができます。

infix な関数の呼出し例

fun main() {
    val r = 4 downTo 0
    println("r => $r")
    println("r::class.simpleName => ${r::class.simpleName}")
    r.forEach{
        println("Hello -- $it")
    }

    val q = 0.downTo(-4)
    q.forEach{
        println("Goodbye -- $it")
    }
}

実行結果

r => 4 downTo 0 step 1
r::class.simpleName => IntProgression
r => 4 downTo 0 step 1
r::class.simpleName => IntProgression
Hello -- 4
Hello -- 3
Hello -- 2
Hello -- 1
Hello -- 0
Goodbye -- 0
Goodbye -- -1
Goodbye -- -2
Goodbye -- -3 
Goodbye -- -4

downTo は、二項演算子に擬態していますが infix fun Int.downTo(to: Byte): IntProgression と宣言された拡張関数です^[27]。

4 downTo 0 は 4.downTo(0) と同じ意味です。

infix 修飾できるのは、メソッドあるいは拡張関数です。

一般の関数に infix を適用しようとすると

infix fun mult(n: Int, m: Int) : Int = n * m

fun main() {
    println("12 mult 2 => ${12 mult 2}")
}

コンパイル結果

Main.kt:1:1: error: 'infix' modifier is inapplicable on this function: must be a member or an extension function
infix fun mult(n: Int, m: Int) : Int = n * m
^
Main.kt:4:32: error: unresolved reference: mult
    println("12 mult 2 => ${12 mult 2}") 
^

意訳: ’infix' 修飾子はこの関数には適用できません。メンバーか拡張関数ではないからです。

関数スコープ[編集]

関数スコープは、変数や関数が定義され、利用可能な範囲を指します。Kotlinでは、関数スコープ内で定義された変数や関数はそのスコープ内でのみアクセス可能で、外部のスコープからは見えません。

以下に、関数スコープの基本的な特徴と例を示します。

関数スコープの特徴[編集]

変数の有効範囲: 関数スコープ内で宣言された変数は、その関数内でのみ有効です。関数外からはアクセスできません。
関数の有効範囲: 同様に、関数スコープ内で宣言された関数もそのスコープ内でのみ呼び出すことができます。
変数のシャドーイング: 関数スコープ内で同名の変数を再宣言すると、外部の変数は一時的に「シャドーイング」され、関数内の変数が優先されます。

関数スコープの例[編集]

fun main() {
    // 外部のスコープ
    val outerVariable = "I am outside!"

    println(outerVariable) // 外部の変数にアクセス

    myFunction()

    // 関数外からは関数スコープ内の変数や関数にアクセスできない
    // println(innerVariable) // コンパイルエラー
    // innerFunction() // コンパイルエラー
}

fun myFunction() {
    // 関数スコープ
    val innerVariable = "I am inside!"

    println(innerVariable) // 関数内から外部の変数にアクセス

    fun innerFunction() {
        println("I am an inner function!")
    }

    innerFunction() // 関数内から関数を呼び出し
}

この例では、main 関数が外部のスコープで、myFunction が関数スコープ内で宣言されています。main 関数内では outerVariable にアクセスでき、myFunction 内では innerVariable と innerFunction にアクセスできます。ただし、逆は成り立ちません。

関数スコープは、変数や関数の可視性を制御し、プログラムの構造を整理する上で重要な役割を果たします。関数ごとにスコープが分離されるため、変数や関数の名前の衝突を防ぎ、コードの保守性を向上させます。

可変長引数[編集]

可変長引数（ Variable-Length Arguments ）は、関数が異なる数の引数を受け入れることを可能にする Kotlin の機能です。これは vararg キーワードとスプレッド演算子( spread operator^[28] )を使用して実現されます。

可変長引数のコード例

fun main() {
    myVaPrint("abc", "def", "xyz")
}

fun myVaPrint(vararg values: String) {
    for (s in values)
        println(s)
}

上記の例では、myVaPrint 関数が可変長引数 values を受け入れるように定義されています。この関数は、与えられた引数を文字列として順番に出力します。

実行結果

abc
def 
xyz

このように、関数を呼び出す際に異なる数の引数を渡すことができます。可変長引数は、同じ型の引数が複数個ある場面で便利です。

スプレッド演算子[編集]

スプレッド演算子（ Spread Operator ）は、リストや配列などの要素を展開して、可変長引数として渡すための演算子です。

fun main() {
    val values = arrayOf("abc", "def", "xyz")
    myVaPrint(*values)
}

この例では、arrayOf で作成した配列の要素をスプレッド演算子 * を使って myVaPrint 関数に渡しています。これにより、配列の各要素が可変長引数として関数に渡されます。

可変長引数とスプレッド演算子の組み合わせにより、異なる数の引数を柔軟に扱うことができ、関数の再利用性を向上させます。

高階関数[編集]

関数にブロック（に擬態したラムダ関数）を渡す

引数あるいは戻値あるいは両方が関数の関数を高階関数()と呼びます^[29]。

fun Int.times(action: (Int) -> Unit) = (0 ..< this).forEach(action)

fun main() {
    5.times{
        println("Hello -- $it")
    }
}

実行結果

パラメーター action が関数です。

型は(Int) -> Unit のように (引数型リスト) -> 戻値型

関数 times 本体の、(0 ..< this).forEach(action)整数範囲のメソッド forEach に関数 action を渡しているので、これも高階関数です。

forループで書くと

fun Int.times(action: (Int) -> Unit) {
    for (0 ..< this)
        action(it)
}
:: 長い！

このコードは関数呼出しからの再録です。

ラムダ[編集]

ラムダ式( lambda expressions )では、波括弧の周囲と、パラメータと本体を分ける矢印の周囲に空白を使用する必要があります。ラムダを1つだけ指定する場合は、可能な限り括弧で囲んでください^[30]。

また、ラムダのラベルを指定する場合、ラベルと中括弧の間にスペースを入れてはいけません。

ラムダ式の例

fun main() {
	val pow = { x: Int -> x * x };
	println("pow(42) => ${pow(42)}");
}

無名関数[編集]

上記のラムダ式構文には、関数の戻値の型を指定する機能がひとつだけ欠けています。ほとんどの場合、戻値の型は自動的に推測されるため、この指定は不要です。しかし、明示的に指定する必要がある場合は、別の構文として無名関数( Anonymous functions )を使用することができます^[31]。

無名関数の例

fun(a: Int, b: Int): Int = a * b
// あるいは
fun(a: Int, b: Int): Int {
  return a * b;
}

JavaScriptの関数リテラルと似ていますが、JSには戻値型はないので動機が違います（JSではラムダがthisを持てないので関数リテラルの出番があります）。

クロージャー[編集]

Wikipedia

ウィキペディアにクロージャーの記事があります。

ラムダ式や無名関数（ローカル関数やオブジェクト式も同様）は、外部スコープで宣言された変数を含むクロージャー( Closures )にアクセスすることができます。クロージャーに取り込まれた変数は、ラムダ式で変更することができます^[32]。

クロージャーの例

fun main() {
    var sum = 0
    IntArray(10){2 * it - 10}.filter{ it > 0 }.forEach {
        sum += it
    }
    print(sum)
}

inline[編集]

高階関数を使用すると、ある種の実行時ペナルティーが課せられます。各関数はオブジェクトであり、クロージャーを捕捉します。クロージャー( closure )とは、関数本体でアクセス可能な変数のスコープです。メモリー確保（関数オブジェクトとクラスの両方）と仮想呼出しは、実行時オーバーヘッドを発生させます^[33]。

しかし、多くの場合、ラムダ式をインライン化することで、この種のオーバーヘッドをなくすことができます。

関数呼出しのコードにinlineを前置

inline fun Int.times(action: (Int) -> Unit) = (0 ..< this).forEach(action)

この例は、拡張関数のインライン化です。

再帰的呼出し[編集]

Kotlin は、特に修飾辞なしに関数を再帰呼び出しできます。

フィボナッチ

fun main() {
    var i = 1
    while (i < 30)  {
        println("$i! == ${fib(i)}");
        i++
    }
}

fun fib(n: Int) : Int = if (n < 2) n else fib(n - 1) + fib(n - 2)

実行結果

1! == 1
2! == 1
3! == 2
4! == 3
5! == 5
6! == 8
7! == 13
8! == 21
9! == 34
10! == 55
11! == 89
12! == 144
13! == 233
14! == 377
15! == 610
16! == 987
17! == 1597
18! == 2584
19! == 4181
20! == 6765
21! == 10946
22! == 17711
23! == 28657
24! == 46368
25! == 75025
26! == 121393
27! == 196418
28! == 317811 
29! == 514229

フィボナッチ数自体が再帰的な式なので、関数定義の式構文が使えました。

`tailrec`（末尾再帰最適化）[編集]

Array<Int>にrotate()を定義

tailrec は、Kotlinのキーワードで、末尾再帰最適化（Tail Recursion Optimization）を実現するために使用されます。末尾再帰最適化は、再帰関数が最後の操作として再帰呼び出しを行う場合に、スタックの消費を減少させる最適化手法です。これにより、スタックオーバーフローを避けることができます。

末尾再帰関数の例

fun main() {
    val result = factorial(5)
    println("Factorial: $result")
}

tailrec fun factorial(n: Int, accumulator: Long = 1): Long {
    return if (n == 0) {
        accumulator
    } else {
        factorial(n - 1, n * accumulator)
    }
}

上記の例では、factorial 関数が末尾再帰関数として宣言されています。再帰呼び出しは末尾で行われており、コンパイラが最適化を行うことが期待されます。

`tailrec` の制約[編集]

tailrec を使用するためにはいくつかの制約があります。

関数は再帰呼び出しの最後に自分自身を呼び出さなければなりません。
再帰呼び出しの後に他の処理（例: 演算、代入）があってはいけません。

制約を満たさない例

// コンパイルエラー: "This call is not allowed here"
tailrec fun invalidFactorial(n: Int): Int {
    return if (n == 0) {
        1
    } else {
        n * invalidFactorial(n - 1) // 制約を満たしていない
    }
}

制約を満たす例

tailrec fun validFactorial(n: Int, accumulator: Int = 1): Int {
    return if (n == 0) {
        accumulator
    } else {
        validFactorial(n - 1, n * accumulator) // 制約を満たしている
    }
}

tailrec を使うと、再帰関数の性能を向上させることができます。ただし、制約を理解し、満たすことが重要です。tailrec が適用される場合、コンパイラはループに変換し、スタックの使用を最小限に抑えます。

拡張[編集]

Kotlinでは、クラスやインターフェースを継承したり、Decoratorのようなデザインパターンを使わずに、新しい機能を拡張することができます。これは、拡張( extensions )と呼ばれる特別な宣言によって実現されます^[34]。

拡張関数[編集]

拡張関数( Extension functions )を宣言するには、その名前の前に拡張される型を示すレシーバー型をつけます^[35]。以下は、Array<Int>にrotate関数を追加したものです。

fun main() {
	fun Array<Int>.rotate() {
    	val t = this[0]
    	var i = 1
    	while (i < this.size) {
        	this[i - 1] = this[i]
        	i++
    	}
    	this[this.size - 1] = t
	}

    var ary = arrayOf(2, 3, 5, 7, 11)
    println("ary = ${ary.map{it.toString()}.joinToString(" ")}")
    ary.rotate()
    println("ary = ${ary.map{it.toString()}.joinToString(" ")}")
}

実行結果

ary = 2 3 5 7 11 
ary = 3 5 7 11 2

ジェネリックスと拡張関数[編集]

拡張関数でもジェネリックス（型パラメーター）が使用可能です。

先の例は、Array<Int>とIntのアレイ専用でしたが、任意の型 T のアレイ Array<T> に拡張関数を拡張してみましょう。

<T>Array<T>にrotate()を定義

fun main() {
	fun <T> Array<T>.rotate() {
    	val t = this[0]
    	var i = 1
    	while (i < this.size) {
        	this[i - 1] = this[i]
        	i++
    	}
    	this[this.size - 1] = t
	}

    var ary = arrayOf(2, 3, 5, 7, 11)
    println("ary = ${ary.map{it.toString()}.joinToString(" ")}")
    ary.rotate()
    println("ary = ${ary.map{it.toString()}.joinToString(" ")}")
    
    var fary = Array(8){ val x = 1.0 * it; x * x }
    println("fary = ${fary.map{it.toString()}.joinToString(" ")}")
    fary.rotate()
    println("fary = ${fary.map{it.toString()}.joinToString(" ")}")
    
    var sary = arrayOf("A", "B", "C", "D", "E", "F")
    println("sary = ${sary.map{it.toString()}.joinToString(" ")}")
    sary.rotate()
    println("sary = ${sary.map{it.toString()}.joinToString(" ")}")
}

実行結果

ary = 2 3 5 7 11 
ary = 3 5 7 11 2 
fary = 0.0 1.0 4.0 9.0 16.0 25.0 36.0 49.0 
fary = 1.0 4.0 9.0 16.0 25.0 36.0 49.0 0.0 
sary = A B C D E F 
sary = B C D E F A

拡張は静的に解決されます[編集]

拡張は、一見するとクラスの中に後からメンバー関数を追加しているように見えるかもしれませんが、インスタンス.メソッド(実引数リスト) のパターンに合致する拡張定義があるかを静的に調べ、該当する拡張関数があればそれを呼出すことで実現しています。

このため拡張関数でメンバー関数をオーバーライドすることはできません。

クラス[編集]

private なプロパティ s を持つクラスの定義

Kotlinは関数型プログラミング言語であると同時に、クラスベースのオブジェクト指向プログラミング言語です。クラス( class )はオブジェクトの設計図であり、インスタンスはその設計図に基づいて作成されます。

クラス定義[編集]

クラスは、キーワード classを使って定義します。

空のクラスの定義とインスタンス化

class X									// クラス定義

fun main() {
    val x = X()							// インスタンス化
    println("${x::class.simpleName}")	// クラス名を表示
}

実行結果

class X constructor(s: String)			// クラス定義

fun main() {
    val x = X("abc")					// インスタンス化
    println("${x::class.simpleName}")	// クラス名を表示
    // x.s --- Unresolved reference: s ;; s は private なので、ここでは参照できません 
}

実行結果

class X constructor(s: String)

この文脈でのソフト・キーワード constructor は、以下のように省略可能です。

class X(s: String)

public でイミュータブルなプロパティ s を持つクラスの定義

class X(val s: String)			// クラス定義

fun main() {
    val x = X("abc")					// インスタンス化
    println("${x::class.simpleName}")	// クラス名を表示
    println("x.s = ${x.s}")				// プロパティーの値を表示
    // x.s = "xyz" --- Val cannot be reassigned ;; イミュータブルなプロパティーは書換え不可
}

実行結果

X 
x.s = abc

プロパティーの値の参照はできますが、val なので書換えはできません。

public でミュータブルなプロパティ s を持つクラスの定義

class X(var s: String)			// クラス定義

fun main() {
    val x = X("abc")					// インスタンス化
    println("${x::class.simpleName}")	// クラス名を表示
    println("x.s = ${x.s}")				// プロパティーの値を表示
    x.s = "xyz"							// イミュータブルなプロパティーは値の書換えが可能
    println("x.s = ${x.s}")				// プロパティーの値を表示
}

実行結果

X 
x.s = abc 
x.s = xyz

コンストラクターのパラメーターを val から val に変更したので、ミュータブルとなりプロパティーの値を変更できるようになりました。

init はコンストラクターの後に呼出されるブロック

class X(var s: String) {			// クラス定義
    init {
        println("init: s = ${s}")
    }
}

fun main() {
    val x = X("abc")					// インスタンス化
    println("${x::class.simpleName}")	// クラス名を表示
    println("x.s = ${x.s}")				// プロパティーの値を表示
    x.s = "xyz"							// イミュータブルなプロパティーは値の書換えが可能
    println("x.s = ${x.s}")				// プロパティーの値を表示
}

実行結果

init: s = abc 
X 
x.s = abc 
x.s = xyz

クラス定義冒頭のコンストラクターにはコードをかけないので init ブロックに書きます

クラスのメンバー[編集]

コンストラクター( constructor )
メンバー関数
プロパティー
インナークラス( inner class )
オブジェクトの宣言

コンストラクター[編集]

Kotlinのクラスはプライマリーコンストラクターと1つまたは複数のセカンダリーコンストラクターを持つことができます。プライマリーコンストラクターはクラスヘッダの一部で、クラス名とオプションの型パラメターの後に続きます。

「クラス定義」も参照

メンバー関数[編集]

メンバー関数は、クラス定義の中で定義された関数です^[36]。メンバー関数の呼出はドット記法で行います。メンバー関数からは、プライベートなクラスのメンバーにアクセスできます。

プロパティ[編集]

オブジェクト[編集]

オブジェクトは、匿名クラスの定義とインスタンス化を同時に行うものです。

オブジェクトの例

fun main() {
    var obj = object {
        var a = 3
        var b = 4
        override fun toString() = "($a, $b)"
    }
    println(
"""
obj => $obj
obj.a => ${obj.a}, obj.b => ${obj.b} 
obj::class.simpleName => ${obj::class.simpleName}
"""
    )
}

実行結果

obj => (3, 4)
obj.a => 3, obj.b => 4 
obj::class.simpleName => null

継承[編集]

クラスは、明示的に継承元を指定しない場合は Any を継承します。

継承モディファイア[編集]

継承モディファイア( inheritance modifier )には、次のような種類があり、これらのトークンはモディファイア・キーワードです。

abstract[編集]

抽象クラス( abstract class )は、抽象メンバー関数( abstract method )だけを持つクラスです。モディファイア・キーワード abstract は、抽象メンバー関数の定義でも使われます。

final[編集]

ファイナルクラス( final class )は、継承を禁止したクラスです。 KotlinのクラスはJavaと異なり、ディフォルトで継承禁止なので、継承禁止を強調する意味しかありません。モディファイア・キーワード final は、オーバーライド禁止メンバーの宣言でも使われます。

open[編集]

オープンクラス( open class )は、継承を許可したクラスです。 KotlinのクラスはJavaと異なり、ディフォルトで継承禁止なので、継承を行う可能性がある場合は明示的に許可する必要があります。モディファイア・キーワード open は、メンバー関数のオーバーライド許可でも使われます。

Kotlinのクラスはディフォルトでfinal

Javaと異なり、Kotlinのクラスはディフォルトでfinal（継承禁止）です。

これは、主にセキュリティー上の理由からで、クラスを継承することによりprotectedでの隠蔽に綻びが生じプログラムが「ハイジャック」されることの重要さに配慮したもので、クラス設計に於いてのトレードオフ、「拡張性と頑強性」のディフォルトを頑強に振った言語設計になっています。

「OBJ00-J. 不変条件を持つクラスやメソッドの拡張は信頼できるサブクラスのみに許す」も参照

this[編集]

クラスのメンバー関数が、プロパティやメンバー関数を参照するとき、クラスの外の変数や関数との間で曖昧さが生じる事があります。このようなときには、インスタンスを表すキーワード this を使います^[37]。

this はこのほか、2 次コンストラクタから同じクラスの別のコンストラクタを呼出すときにもつかわれます。

thisを使ったメンバー関数の限定

fun main() {
    fun printLine() = println("Function") 

    class Simple {
        fun printLine() = println("Method")
        fun printLineNone() = printLine()
        fun printLineThis() = this.printLine()
    }
    val s = Simple()
    s.printLine()
    s.printLineNone()
    s.printLineThis()
}

実行結果

Method
Function
Method

メンバー関数から同じクラスのメンバー関数を呼出すとき、同名の関数があると関数が呼出されます。

メンバー関数から同じクラスのメンバー関数を呼出すときには、同名の関数があると関数が呼出されます。

クラスモディファイア[編集]

クラスモディファイア( class modifier )には、次のような種類があり、これらのトークンはモディファイア・キーワードです。

enum[編集]

列挙型クラス( Enum class )は、有限個の識別子の集合を表現するために使用されます。

enum class DayOfWeek {
    MONDAY,
    TUESDAY,
    WEDNESDAY,
    THURSDAY,
    FRIDAY,
    SATURDAY,
    SUNDAY
}

fun main() {
    val today = DayOfWeek.MONDAY
    println("Today is $today")
}

特性と用途

特定の値の集合を表現するために使用されます（例: 曜日、状態など）。
定数のような振る舞いを持ち、列挙型の各要素は固定された値として使用されます。

sealed[編集]

シールドクラス( Sealed class )は、制限されたクラス階層を表現するために使用されます。

sealed class Result {
    data class Success(val data: String) : Result()
    data class Error(val message: String) : Result()
}

fun handleResult(result: Result) {
    when (result) {
        is Result.Success -> println("Success: ${result.data}")
        is Result.Error -> println("Error: ${result.message}")
    }
}

fun main() {
    val successResult = Result.Success("Data")
    val errorResult = Result.Error("An error occurred")

    handleResult(successResult)
    handleResult(errorResult)
}

特性と用途

制限されたクラス階層を定義するために使用されます。サブクラスは通常、シールドクラス内にネストされます。
シールドクラスのサブクラスは通常、特定の型の状態や結果を表現するために使用されます。

annotation[編集]

アノテーションクラス( annotation class )は、コードにメタデータを付加するための手段を提供します。

annotation class Author(val name: String)

@Author("John Doe")
class Book {
    // ブックの定義
}

fun main() {
    val book = Book::class.java
    val authorAnnotation = book.getAnnotation(Author::class.java)
    val authorName = authorAnnotation?.name

    println("Author: $authorName")
}

特性と用途

コードに追加情報や設定を提供するために使用されます。
ランタイムやコンパイル時にアノテーションを処理することで、特定の動作やコード生成をトリガーすることができます。

data[編集]

データクラス( Data class )は、データを保持するためのクラスで、copy() などのメンバー関数がクラスを定義しただけで生えてきます。

data class Person(val name: String, val age: Int)

fun main() {
    val person = Person("Alice", 25)
    val copyPerson = person.copy(age = 30)

    println(person)
    println(copyPerson)
}

特性と用途

データのコンテナとして使用され、自動的にequals()、hashCode()、toString()、copy()メソッドが生成されます。
イミュータブルなデータオブジェクトを簡潔に表現するために使用されます。

inner[編集]

インナークラス( Inner class )は、入れ子になった内側になったクラスが外側のクラスのメンバーにアクセスすることを可能にします。

class Outer {
    private val outerProperty = "Outer Property"

    inner class Inner {
        fun printOuterProperty() {
            println(outerProperty)
        }
    }
}

fun main() {
    val outer = Outer()
    val inner = outer.Inner()
    inner.printOuterProperty()
}

特性と用途

外側のクラスのインスタンスに紐づく内側のクラスを定義するために使用されます。
内側のクラスは外側のクラスの非公開メンバーやプロパティにアクセスすることができます。

value[編集]

値クラス( Value class )は、イミュータブルなスカラー値の型を定義します。プロポーザル段階では inline class と呼ばれていました。

inline class Password(val value: String)

fun main() {
    val password = Password("secret")
    println("Password: ${password.value}")
}

特性と用途

単一の値を表すために使用されます。プリミティブ型のように振る舞い、ボックス化のオーバーヘッドを回避します。

+ ラッパークラスとして機能し、型安全性やコードの表現力を向上させます。

object[編集]

オブジェクト( object )は、モディファイア・キーワードではありませんが、特殊なクラスの一種なので併せて紹介します。オブジェクトは一過的な匿名クラスを定義し、そのインスタンスの生成を行います。

object Logger {
    fun log(message: String) {
        println("Log: $message")
    }
}

fun main() {
    Logger.log("Hello, World!")
}

特性と用途

シングルトンパターンを実装するために使用されます。クラスの単一のインスタンスを表現し、グローバルなアクセスポイントとして機能します。
関連するメソッドやプロパティを含めることができ、特定の目的に特化したオブジェクトを表現することができます。

まとめ

各クラスモディファイアは、異なる用途や特性を持っており、柔軟なクラス定義を可能にします。適切なモディファイアを選択することで、コードの意図を明確に表現し、保守性や可読性を向上させることができます。

可視性モディファイア[編集]

クラス、オブジェクト、インターフェース、コンストラクター、関数、およびプロパティとそのセッターは、可視性モディファイア( Visibility modifiers )を持つことができます。ゲッターは常にそのプロパティと同じ可視性を持っています^[38]。

可視性モディファイアには、次のような4種類があり、これらのトークンはモディファイア・キーワードです。

private
protected
internal
public

デフォルトの可視性はpublicです。

パッケージ[編集]

関数、プロパティ、クラス、オブジェクト、およびインタフェースは、パッケージの中で直接「トップレベル」で宣言することができます。

可視性モディファイアを使用しない場合、デフォルトではpublicが使用され、宣言はどこでも見えるようになります。
宣言に private を指定すると、その宣言を含むファイル内でのみ可視化されます。
internalと指定した場合は、同じモジュール内であればどこでも見えるようになります。
protected修飾子は、トップレベルの宣言には使えません。

クラスのメンバー[編集]

クラス内部で宣言されたメンバー。

private は、そのメンバーがこのクラスの内部でのみ可視であることを意味します（そのクラスのすべてのメンバーを含む）。
protected は、private とマークされたメンバーと同じ可視性を持ちますが、サブクラスでも可視化されることを意味します。
internal は、宣言したクラスを見たこのモジュール内のクライアントが、その内部のメンバーを見ることができることを意味します。
public は、宣言クラスを見たすべてのクライアントがその public メンバを見ることができることを意味します。

protectedまたはinternalメンバーをオーバーライド( override )し、可視性を明示的に指定しない場合、オーバーライドしたメンバーも元のメンバーと同じ可視性を持つことになります。

コンストラクター[編集]

クラスの一次コンストラクタの可視性を指定するには、次の構文を使用します。

class C private constructor(a: Int) { ... }

ここでは、コンストラクターは private です。デフォルトでは、すべてのコンストラクターは public です。これは、クラスが見えるところならどこでもコンストラクターが見えるということです（裏を返せば、内部クラスのコンストラクターは同じモジュール内でしか見えないということです）。

ローカル宣言[編集]

ローカル変数、関数、クラスは可視性モディファイアを持つことができません。

モジュール[編集]

internal 可視性モディファイアは、そのメンバーが同じモジュール内で可視であることを意味します。具体的にモジュールとは、例えば、一緒にコンパイルされたKotlinファイルの集合のことです。

IntelliJ IDEAモジュール。
Mavenプロジェクト
Gradleのソースセット（ただし、testのソースセットはmainの内部宣言にアクセスできる）。
kotlinc Antタスクの1回の呼び出しでコンパイルされるファイル群。

抽象クラス[編集]

抽象クラス( abstract class )は、抽象メソッド( abstract method )だけを持つクラスであり、直接のインスタンス化ができません。抽象メソッドは本体を持たず、具体的な実装はそのサブクラスに委ねられます。Kotlinでは、abstract キーワードを使用して抽象クラスと抽象メソッドを宣言します。

抽象クラスの宣言[編集]

abstract class Shape {
    abstract fun draw()
}

class Circle : Shape() {
    override fun draw() {
        println("Drawing a circle")
    }
}

class Rectangle : Shape() {
    override fun draw() {
        println("Drawing a rectangle")
    }
}

上記の例では、Shape という抽象クラスがあります。このクラスは抽象メソッド draw を宣言しています。サブクラスである Circle と Rectangle は、それぞれ draw メソッドをオーバーライドして具体的な実装を提供します。

抽象クラスのインスタンス化[編集]

fun main() {
    // コンパイルエラー: Cannot create an instance of an abstract class
    // val shape = Shape()

    val circle = Circle()
    circle.draw()

    val rectangle = Rectangle()
    rectangle.draw()
}

抽象クラスは直接インスタンス化できないため、Shape クラスのインスタンスを作成しようとするとコンパイルエラーが発生します。代わりに、具象サブクラスである Circle や Rectangle のインスタンスを作成して使用します。

抽象プロパティとコンストラクタ[編集]

抽象クラスは抽象プロパティを持つこともできます。また、抽象クラス自体はコンストラクタを持つことができます。

abstract class Shape(val name: String) {
    abstract fun draw()
}

class Circle(name: String) : Shape(name) {
    override fun draw() {
        println("Drawing a circle named $name")
    }
}

class Rectangle(name: String) : Shape(name) {
    override fun draw() {
        println("Drawing a rectangle named $name")
    }
}

この例では、Shape クラスはコンストラクタを持ち、name という抽象プロパティを宣言しています。サブクラスである Circle と Rectangle は、コンストラクタで name を渡し、draw メソッドをオーバーライドしています。

抽象クラスは、クラス階層の一部として柔軟で再利用可能なコードを設計する際に役立ちます。

ユースケースとベストプラクティス[編集]

抽象クラスは、以下のようなユースケースやベストプラクティスに適しています。

部分的な実装の提供

抽象クラスは、一部のメソッドやプロパティの実装を提供することができます。これにより、サブクラスは抽象メソッドだけでなく、既存の実装を再利用できます。

abstract class Shape {
    fun commonMethod() {
        // 共通の実装
    }

    abstract fun draw()
}

メソッドの強制

抽象クラスには抽象メソッドが含まれており、これをサブクラスで実装することが義務付けられます。これにより、サブクラスが特定のメソッドを実装することが保証されます。

abstract class Printer {
    abstract fun print()
}

class LaserPrinter : Printer() {
    override fun print() {
        // レーザープリンターの実装
    }
}

継承と拡張

抽象クラスを使用すると、クラス階層を構築し、新しい機能を追加していくことができます。これは、将来的に変更や拡張が発生する可能性がある場合に特に役立ちます。

abstract class Animal {
    abstract fun makeSound()
}

class Dog : Animal() {
    override fun makeSound() {
        println("Woof!")
    }
}

class Cat : Animal() {
    override fun makeSound() {
        println("Meow!")
    }

コンストラクタとプロパティ

抽象クラスはコンストラクタを持ち、抽象プロパティを宣言できます。これにより、サブクラスが特定のプロパティを持つことが保証され、コンストラクタで初期化できます。

abstract class Vehicle(val model: String) {
    abstract fun start()
    abstract fun stop()
}

class Car(model: String) : Vehicle(model) {
    override fun start() {
        println("Starting the car")
    }

    override fun stop() {
        println("Stopping the car")
    }
}

複数のインターフェースの代替

抽象クラスは複数のメソッドやプロパティをまとめて提供できるため、インターフェースが多すぎる場合に、抽象クラスを使用して階層を整理することができます。

abstract class UIControl {
    abstract fun render()
    abstract fun onClick()
}

class Button : UIControl() {
    override fun render() {
        println("Rendering button")
    }

    override fun onClick() {
        println("Button clicked")
    }
}

抽象クラスは、柔軟性と再利用性を向上させるために使われますが、適切に設計される必要があります。必要以上に多くの機能を含めると、過度な依存関係が生まれる可能性があるため、慎重な設計が求められます。

ファイナルクラス[編集]

ファイナルクラス（final class）は、Kotlinにおいて継承を禁止したクラスを指します。Kotlinでは、デフォルトでクラスが継承不可（final）となっており、継承可能にするためには明示的にopen修飾子を使用する必要があります。そのため、finalキーワードは主にオーバーライド禁止メンバーの宣言で使用され、クラス自体に適用することは少ないです。

ファイナルクラスの宣言[編集]

final class MyFinalClass {
    // クラスの定義
}

上記の例では、MyFinalClass はファイナルクラスとして宣言されています。このクラスは他のクラスから継承できません。

オーバーライド禁止メンバーの宣言[編集]

open class MyBaseClass {
    final fun myFinalMethod() {
        // オーバーライド禁止のメソッド
    }
}

上記の例では、MyBaseClass の myFinalMethod は final 修飾子が付いており、このメソッドはオーバーライドできません。

ファイナルクラスの利用例[編集]

final class Configuration {
    // クラスの定義
}

class ApplicationSettings(config: Configuration) {
    // FinalClass を利用したクラスの定義
}

上記の例では、Configuration クラスがファイナルクラスとして定義されています。このクラスは他のクラスから継承できないため、設定情報の不正な変更や上書きを防ぐことが期待されます。ApplicationSettings クラスは Configuration を利用してアプリケーションの設定を管理しています。

ファイナルクラスは特定の状況で利用され、継承を禁止してクラスの拡張を制御するために使用されます。

オープンクラス[編集]

オープンクラス（open class）は、Kotlinにおいて継承を許可したクラスを指します。 Kotlinのクラスはデフォルトで継承不可（final）となっているため、クラスを継承可能にするには明示的にopen修飾子を使用する必要があります。

オープンクラスの宣言[編集]

open class MyOpenClass {
    // クラスの定義
}

上記の例では、MyOpenClass はオープンクラスとして宣言されています。このクラスは他のクラスから継承できます。

メソッドのオーバーライド許可[編集]

open class MyBaseClass {
    open fun myMethod() {
        // オーバーライド可能なメソッド
    }
}

上記の例では、MyBaseClass の myMethod は open 修飾子が付いており、このメソッドはオーバーライド可能です。

オープンクラスの利用例[編集]

open class Shape {
    open fun draw() {
        println("Drawing a shape")
    }
}

class Circle : Shape() {
    override fun draw() {
        println("Drawing a circle")
    }
}

class Square : Shape() {
    override fun draw() {
        println("Drawing a square")
    }
}

上記の例では、Shape クラスがオープンクラスとして定義されています。Circle と Square クラスが Shape を継承し、draw メソッドをオーバーライドしています。これにより、各図形クラスは自身の特定の描画方法を持つことができます。

オープンクラスは継承を許可し、クラスの拡張やカスタマイズが可能となります。ただし、使用する際には慎重に設計し、必要なメソッドやプロパティに対してのみopen修飾子を使用することが推奨されます。

列挙型クラス[編集]

列挙型クラス( Enum classes )は、キーワード enum を class に前置して定義します^[39]。

Swift/オブジェクト指向#列挙型の例を Kotlin 向けにモディファイしました。

列挙型クラスとメソッド

enum class Azimuth {
  North,
  South,
  East,
  West;
  
  override fun toString() = when (this) {
    Azimuth.North -> "北"
    Azimuth.South -> "南"
    Azimuth.East -> "東"
    Azimuth.West -> "西"
    }
  fun deg() = when (this) {
    Azimuth.North -> 0 * 90
    Azimuth.South -> 2 * 90
    Azimuth.East -> 1 * 90
    Azimuth.West -> 3 * 90
    }
}

fun main() {
    val n = Azimuth.North
    println("n => $n, az.deg() => ${n.deg()}")
    println("------------------------------------")
    for (az in Azimuth.values()) {
        println("as.name =>${az.name}, as => $az, az.deg() => ${az.deg()}")
    }
    println(enumValues<Azimuth>().joinToString{it.name})
}

実行結果

n => 北, az.deg() => 0
------------------------------------
as.name =>North, as => 北, az.deg() => 0
as.name =>South, as => 南, az.deg() => 180
as.name =>East, as => 東, az.deg() => 90
as.name =>West, as => 西, az.deg() => 270 
North, South, East, West

override fun toString() でEnumのディフォルトの文字列化メソッドをオーバーライドしています。

シールドクラス[編集]

シールドクラス（Sealed class）は、制限されたクラス階層を表現するために使用される Kotlin 特有の機能です。シールドクラスは、特定のサブクラスのみを許容し、新しいサブクラスの追加を防ぎます。これにより、特定の型に対するパターンマッチングが容易になります。

シールドクラスの宣言[編集]

sealed class Result {
    data class Success(val data: String) : Result()
    data class Error(val message: String) : Result()
    object Loading : Result()
}

上記の例では、Result クラスはシールドクラスとして宣言されています。このクラスには3つのサブクラスがあります：Success、Error、および Loading。Success と Error はデータクラスで、それぞれデータを保持します。Loading はオブジェクトクラスで、データを保持しません。

シールドクラスの利用例[編集]

fun processResult(result: Result) {
    when (result) {
        is Result.Success -> println("Success: ${result.data}")
        is Result.Error -> println("Error: ${result.message}")
        Result.Loading -> println("Loading...")
    }
}

上記の例では、Result クラスのサブクラスごとに異なる処理を行う processResult 関数があります。when 式を使用して、特定のサブクラスに対するパターンマッチングを行っています。

利点[編集]

コンパイラがすべてのサブクラスを知っているため、when 式などのパターンマッチングが網羅的であることを確認できます。
新しいサブクラスが追加された場合、コンパイラは未処理のケースがあるかどうかを検知し、警告を発生させます。

制限[編集]

シールドクラスは同じファイル内で宣言されたクラスに対してしか有効ではありません。

シールドクラスは、特に固定されたクラス階層を表現する場合や、特定の型に対する安全なパターンマッチングを行う場合に便利です。

アノテーションクラス[編集]

アノテーションクラス（annotation class）は、Kotlinにおいてコードにメタデータを付加するための手段を提供します。これにより、コンパイラや実行時の処理で追加の情報を提供することが可能となります。

アノテーションクラスの宣言[編集]

アノテーションクラスは、@シンボルを使って宣言されます。アノテーションクラスの主な目的は、アノテーションを作成し、それをコードの要素に適用することです。

annotation class MyAnnotation(val name: String, val version: Int)

上記の例では、MyAnnotation というアノテーションクラスが宣言されています。このアノテーションは、name と version というパラメータを持っています。

アノテーションの利用[編集]

アノテーションは、クラスや関数、プロパティなど、さまざまな要素に適用できます。

@MyAnnotation(name = "MyApp", version = 1)
class MyClass {
    @MyAnnotation(name = "MyFunction", version = 2)
    fun myFunction() {
        // 関数の本体
    }
}

上記の例では、MyClass クラスとその中の myFunction 関数に MyAnnotation が適用されています。これにより、このクラスや関数に対する追加のメタデータが提供されます。

アノテーションのプロセッシング[編集]

アノテーションをプロセッシングするためには、リフレクションやKotlinのアノテーションプロセッサを使用することがあります。これにより、アノテーションに関連する処理を行うカスタムロジックを実装できます。

// アノテーションプロセッサの例
fun processMyAnnotation(element: AnnotatedElement) {
    val myAnnotation = element.getAnnotation(MyAnnotation::class.java)
    if (myAnnotation != null) {
        println("Name: ${myAnnotation.name}, Version: ${myAnnotation.version}")
    }
}

上記の例では、AnnotatedElementを受け取り、その要素に MyAnnotation が適用されているかを調べ、情報を取得しています。

アノテーションクラスは、コードにメタデータを追加し、プロセッシングや設定などの目的で使用されます。

データクラス[編集]

データクラス（Data class）は、Kotlinにおいてデータの保持や操作を目的としたクラスで、copy() メソッドなどがクラスを定義するだけで自動的に生成されます。これにより、不変性やイミュータビリティ（immutable）を維持しながら、簡潔で効果的なデータクラスを作成できます。

データクラスの宣言[編集]

data class Person(val name: String, val age: Int)

上記の例では、Person クラスがデータクラスとして宣言されています。コンストラクタで定義されたプロパティ（name と age）に対して、equals()、hashCode()、toString() などの標準メソッドが自動的に生成されます。

データクラスの利用[編集]

val person1 = Person("Alice", 30)
val person2 = Person("Alice", 30)

// equals() メソッドにより、プロパティの内容が一致するか比較
println(person1 == person2) // true

// toString() メソッドにより、クラスの内容を文字列として表示
println(person1.toString()) // Person(name=Alice, age=30)

// copy() メソッドにより、一部のプロパティを変更した新しいインスタンスを作成
val modifiedPerson = person1.copy(age = 31)
println(modifiedPerson) // Person(name=Alice, age=31)

上記の例では、equals() メソッドにより person1 と person2 の内容が一致するか比較され、toString() メソッドによりクラスの内容が文字列として表示されます。また、copy() メソッドを使って一部のプロパティを変更した新しいインスタンスを作成しています。

データクラスの生成されるメソッド[編集]

データクラスが生成される主なメソッドは以下の通りです。

equals(): プロパティごとの内容比較を行います。
hashCode(): プロパティごとにハッシュコードを生成します。
toString(): クラスの内容を文字列として返します。
copy(): インスタンスのコピーを作成します。一部のプロパティを変更できます。

データクラスは、イミュータブルでありながら効果的にデータを操作するための便利な手段を提供します。

インターフェース[編集]

Kotlinのインターフェース（interface）は、抽象的なメソッドの宣言と、メソッドの実装を含むことができます。インターフェースは、抽象クラスと異なり状態を保持することができません。プロパティを持つ場合、これらは抽象クラスであるか、アクセサーの実装を提供する必要があります^[40]。

インターフェースの宣言[編集]

interface MyInterface {
    fun doSomething() // 抽象メソッドの宣言

    fun doSomethingElse() {
        // デフォルトのメソッド実装
        println("Default implementation of doSomethingElse")
    }

    val property: Int // 抽象プロパティの宣言
}

上記の例では、MyInterface インターフェースが、抽象メソッド doSomething() とデフォルトのメソッド doSomethingElse()、抽象プロパティ property を宣言しています。

インターフェースの実装[編集]

class MyClass : MyInterface {
    override fun doSomething() {
        // メソッドの実装
        println("Implementation of doSomething")
    }

    override val property: Int
        get() = 42 // プロパティの実装
}

上記の例では、MyClass クラスが MyInterface インターフェースを実装しています。doSomething() メソッドと property プロパティをオーバーライドしています。

インターフェースの複数準拠[編集]

interface A {
    fun methodA()
}

interface B {
    fun methodB()
}

class C : A, B {
    override fun methodA() {
        // A インターフェースの実装
    }

    override fun methodB() {
        // B インターフェースの実装
    }
}

上記の例では、C クラスが A インターフェースと B インターフェースの両方を実装しています。複数のインターフェースをカンマで区切って指定することができます。

インターフェースの継承[編集]

interface D : A, B {
    fun methodD()
}

上記の例では、D インターフェースが A インターフェースと B インターフェースを継承しています。これにより、D インターフェースは A と B のメソッドを含むことになります。

Kotlinのインターフェースは、クラスが異なる振る舞いを持つ場合に簡潔で柔軟な解決策を提供します。異なるインターフェースを実装することで、複数の振る舞いを同じクラスで組み合わせることができます。

インナークラス[編集]

インナークラス（Inner class）は、入れ子になった内側のクラスが外側のクラスのメンバーにアクセスすることを可能にします。これにより、外側のクラスと強い結びつきを持ちながら、内部で独自の振る舞いやデータを持つクラスを定義できます。

インナークラスの宣言[編集]

class OuterClass {
    private val outerProperty: Int = 10

    inner class InnerClass {
        fun printOuterProperty() {
            // OuterClass のプロパティにアクセス
            println("Outer property: $outerProperty")
        }
    }
}

上記の例では、OuterClass という外側のクラスがあり、その中に InnerClass というインナークラスが定義されています。InnerClass は OuterClass のプロパティにアクセスすることができます。

インナークラスの利用[編集]

fun main() {
    val outerInstance = OuterClass()
    val innerInstance = outerInstance.InnerClass()

    innerInstance.printOuterProperty()
}

上記の例では、OuterClass のインスタンスを作成し、そのインナークラスである InnerClass のインスタンスを取得しています。そして、InnerClass のメソッドを呼び出して外側のクラスのプロパティにアクセスしています。

インナークラスの特徴[編集]

外部クラスへのアクセス: インナークラスは、外部クラスのメンバーにアクセスできます。外部クラスのプロパティやメソッドに直接アクセスできるため、疎結合な設計が可能です。
thisキーワードの挙動: インナークラスでは、外部クラスのインスタンスにアクセスするために this@OuterClass のように明示的な指定ができます。これにより、外部クラスのメンバーと同じ名前のメンバーがインナークラス内にある場合に区別できます。
非静的なクラス: インナークラスは外部クラスのインスタンスに依存しており、非静的なクラスです。したがって、外部クラスのインスタンスが存在しないとインナークラスも存在しません。

インナークラスは、外部クラスとの緊密な連携が必要な場合や、外部クラスのプライベートなメンバーにアクセスする必要がある場合に有用です。

値クラス[編集]

値クラス（data class）は、イミュータブルでスカラーな値の型を定義するための概念です。プロポーザル段階では inline class と呼ばれていました。値クラスは、プリミティブ型のように振る舞い、同時に型安全性を提供します。

値クラスの宣言[編集]

data class Email(val value: String)

上記の例では、Email という値クラスが宣言されています。この値クラスは、イミュータブルであり、value というプロパティを持っています。

値クラスの利用[編集]

fun main() {
    val email1 = Email("john@example.com")
    val email2 = Email("jane@example.com")

    println(email1 == email2) // 値クラスの比較
}

上記の例では、異なるインスタンスの Email クラスを作成し、その値が等しいかを比較しています。値クラスでは、プライマリコンストラクタの引数で値が確定し、その値に基づいて等価性が判定されます。

値クラスの特徴[編集]

イミュータブル性: 値クラスは不変（イミュータブル）であるため、一度生成されたインスタンスの値は変更されません。これにより、安全で予測可能なコードを実現します。
型安全性: 値クラスは型安全性を提供します。異なる値クラス間は厳密に区別され、混同されることがありません。
自動生成メソッド: 値クラスは equals() や hashCode() などのメソッドを自動生成します。これにより、等価性の確認やコレクションの利用が容易になります。
ボクシングの回避: 値クラスはプリミティブ型のように振る舞い、一部のボクシングを回避します。これにより、メモリ効率が向上します。

値クラスは、ドメインモデリングや特定のデータ型を表現する際に有用であり、プロジェクト全体でのコードの理解性や保守性を向上させる役割を果たします。

オブジェクト[編集]

オブジェクト（object）は、モディファイア・キーワードではありませんが、特殊なクラスの一種であり、一過的な匿名クラスを定義し、その唯一のインスタンスを生成します。オブジェクトはシングルトンのような振る舞いを持ち、一般的には特定の目的に使用されます。

オブジェクトの宣言[編集]

object Logger {
    fun log(message: String) {
        println("Log: $message")
    }
}

上記の例では、Logger という名前のオブジェクトが宣言されています。このオブジェクトはシングルトンであり、log メソッドを持っています。

オブジェクトの利用[編集]

fun main() {
    Logger.log("This is a log message.")
}

上記の例では、Logger オブジェクトの唯一のインスタンスにアクセスし、その log メソッドを呼び出しています。オブジェクトは初回のアクセス時に遅延初期化され、以降は同じインスタンスが再利用されます。

オブジェクトの特徴[編集]

シングルトンパターン: オブジェクトはシングルトンとして振る舞います。クラスの唯一のインスタンスを持ち、それにアクセスするために新たなインスタンスを生成することはありません。
遅延初期化: オブジェクトは初回のアクセス時に初期化されます。これにより、プログラムが実際に必要なときに初期化処理が行われます。
クラスメンバー: オブジェクトはメソッドやプロパティを持つことができます。これらは通常のクラスメンバーと同じようにアクセスできます。
継承不可: オブジェクトは継承できません。そのため、他のクラスがこのオブジェクトを継承することはできません。

オブジェクトは特定のタスクや目的に対して唯一のインスタンスを提供する場合に利用され、例えばロギングや設定の管理などに適しています。

ジェネリックス[編集]

ジェネリックス( Generics )とは、汎用的なクラス・関数やメソッドを特定の型に対応づける機能のことです^[41]。

キーワード一覧[編集]

Kotlinのキーワード( Keywords )は

ハード・キーワード
ソフト・キーワード
モディファイア・キーワード
特殊識別子
演算子と特殊シンボル

に分類されます^[42]。

ハード・キーワード[編集]

以下のトークンは、常にキーワードとして解釈され、識別子として使用することはできません^[43]。このようなキーワードをハード・キーワード( Hard keywords )と呼びます。

as
1. 型キャスト( type casts )に使用されます。
2. インポートの別名の指定に使用されます。
as? 安全なタイプキャスト( safe type casts )に使用されます。
break ループの実行を終了させます。
class クラスを宣言します。
continue 最も近いループの次のステップに進みます。
do do/whileループ（条件式を後置するつループ）を開始します。
else 条件が偽のときに実行されるif式の分岐を定義します。
false Boolean型の「偽」の値を表します。
for forループを開始します。
fun 関数を宣言します。
if if式の先頭です。
in
1. forループで反復されるオブジェクトを指定します。
2. 値が範囲、コレクション、または「contains」メソッドを定義している他のエンティティに属しているかどうかを確認するための中置演算子として使用されます。
3. 同じ目的のためにwhen式で使用されます。
4. 型パラメータをcontravariantとしてマークします。
!in
1. 値が範囲、コレクション、または 'contains' メソッドを定義する他のエンティティに属さないことを確認する演算子として使用されます。
2. 同じ目的のためにwhen式で使用されます。
!inで１つのトークンなので、! と in の間に空白を挟むことはできません。
interface インターフェース( interfaces )を宣言します。
is
1. 値が特定の型を持つかどうかをチェックします。
2. 同じ目的のwhen式で使用されます。
!is
1. 値が特定の型を持っていないかどうかをチェックします。
2. 同じ目的のwhen式で使用されます。
!isで１つのトークンなので、! と is の間に空白を挟むことはできません。
null どのオブジェクトも指していないオブジェクト参照を表す定数です。
object クラスとそのインスタンスを同時に宣言します。
package 現在のファイルのパッケージを指定します。
return 最も近い包含関数または無名関数からの呼出し元に戻ります。
super
1. メソッドやプロパティのスーパークラス実装を参照します。
2. 二次コンストラクタ( secondary constructor )からスーパークラスのコンストラクタを呼び出します。
this
1. 現在のレシーバを指します。
2. 2 次コンストラクタから同じクラスの別のコンストラクタを呼び出します。
throw 例外を投げます。
true Boolean型の「真」の値を表します。
try 例外処理ブロックを開始します。
typealias 型の別名を宣言します。
typeof 将来の使用のために予約されています。
val 読取り専用のプロパティまたはローカル変数を宣言します。
var 変更可能なプロパティまたはローカル変数を宣言します。
when when式を開始します（与えられた分岐のうち1つを実行します）。
while while ループ（条件式を前置するループ）を開始します。

ソフト・キーワード[編集]

以下のトークンは、それが適用される文脈( context )ではキーワードとして機能し、他の文脈では識別子として使用することができます^[44]。このようなキーワードをソフト・キーワード( Soft keywords )と呼びます。

by
1. インターフェース( interface )の実装( implementation )を別のオブジェクトに委譲( delegates )します。
2. プロパティーのアクセッサー( accessors )の実装を別のオブジェクトに委譲します。
catch 特定の例外タイプ( specific exception type )を処理( handles )するブロックを開始します。
constructor 一次または二次コンストラクタを宣言します。
delegate アノテーション使用側ターゲット^[仮訳]( annotation use-site target )として使用されます。
dynamic Kotlin/JS コードで動的な型を参照します。
field アノテーション使用側ターゲット^[仮訳]として使用されます。
file アノテーション使用側ターゲット^[仮訳]として使用されます。
finally tryブロックが終了したときに必ず実行されるブロックを開始します。
get
1. プロパティのゲッター( getter )を宣言します。
2. アノテーション使用側ターゲット^[仮訳]として使用されます。
import 他のパッケージから現在のファイルに宣言をインポートします。
init イニシャライザーブロックを開始します。
param アノテーション使用側ターゲット^[仮訳]として使用されます。
property アノテーション使用側ターゲット^[仮訳]として使用されます。
receiver アノテーション使用側ターゲット^[仮訳]として使用されます。
set
1. プロパティのセッター( setter )を宣言します。
2. アノテーション使用側ターゲット^[仮訳]として使用されます。
setparam アノテーション使用側ターゲット^[仮訳]として使用されます。
value キーワード class を付けてインラインクラス( inline class )を宣言します。
where 汎用型パラメーター( a generic type parameter )の制約( constraints )を指定します。

アノテーション使用側ターゲット[編集]

アノテーション使用側ターゲット( Annotation use-site target )は、Kotlinにおいてアノテーションが特定の要素に対して適用される位置を指定する構文です。これにより、生成されるJavaバイトコードにおいてアノテーションがどの要素に適用されるかを正確に指定できます^[45]。

アノテーション使用側ターゲットの指定[編集]

以下は、一般的なアノテーション使用側ターゲットの指定方法です。

プロパティにアノテーションを指定する場合:
```
class Example {
    @get:MyAnnotation
    val myProperty: Int = 42
}
```
この例では、@get:MyAnnotation と指定することで、プロパティのgetterメソッドに対してアノテーションを指定しています。
1次コンストラクタのパラメータにアノテーションを指定する場合:
```
class Example(@param:MyAnnotation val value: String)
```
この例では、@param:MyAnnotation と指定することで、1次コンストラクタのパラメータに対してアノテーションを指定しています。

よく使われるアノテーション使用側ターゲット[編集]

@get: プロパティのgetterメソッドに対してアノテーションを指定する。
@set: プロパティのsetterメソッドに対してアノテーションを指定する。
@field: プロパティ自体に対してアノテーションを指定する。

これらの使用側ターゲットを使うことで、アノテーションが生成される場所を明確に指定することができ、柔軟性を保ちつつ、正確な挙動を得ることができます。

モディファイア・キーワード[編集]

以下のトークンは、宣言の修飾語リスト( modifier lists of declarations )のキーワードとして機能し、他のコンテキストでは識別子として使用することができます^[46]。このようなキーワードをモディファイア・キーワード( Modifier keywords )と呼びます。

abstract クラスやメンバが抽象的( as abstract )であることを表します。
actual マルチプラットフォーム・プロジェクト( multiplatform projects )におけるプラットフォーム固有の実装( platform-specific implementation )を意味します。
annotation アノテーションクラス( an annotation class )を宣言します。
companion コンパニオンオブジェクト( a companion object )を宣言します。
const プロパティをコンパイル時の定数( a compile-time constant )としてマークします。
crossinline インライン関数に渡されるラムダで、ローカルでない返り値を禁止します。
data クラスの正規メンバー( canonical members )を生成するようにコンパイラーに指示します。
enum 列挙型( an enumeration )を宣言します。
expect 宣言がプラットフォーム固有( as platform-specific )のものであり、プラットフォーム・モジュール(platform modules )で実装されることを期待するものとしてマークします。
external Kotlin の外部で実装される宣言であることを示します（JNI または JavaScript でアクセス可能）。
final メンバーのオーバーライドを禁止します。
infix 中置記法( infix notation )で関数を呼び出すことを許可します。
inline 関数とその関数に渡されたラムダを呼出し先でインライン化することをコンパイラに指示します。
inner ネストされたクラスから外側のクラスのインスタンスを参照できるようにします。
internal 現在のモジュールで可視( as visible )となる宣言をマークします。
lateinit コンストラクターの外部で非 null プロパティを初期化します。
noinline インライン関数に渡されたラムダをインライン化しないようにします。
open クラスのサブクラス化またはメンバーのオーバーライドを許可します。
operator 関数が演算子をオーバーロードしているか、または規約を実装( implementing a convention )しているかをマークします。
out 型パラメータを共変( covariant )としてマークします。
override スーパークラスのメンバーのオーバーライドとしてメンバーにマークを付けます。
private 現在のクラスまたはファイル内で宣言が可視化( as visible )されるようにマークします。
protected 現在のクラスとそのサブクラスで宣言が可視化されるようにマークします。
public 宣言がどこでも可視化されるようにマークします。
reified インライン関数の型パラメーター( type parameter )を、実行時にアクセス可能なものとしてマークします。
sealed シールされたクラス（ sealed class ; サブクラス化が制限されたクラス）を宣言します。
suspend 関数やラムダをサスペンド（コルーチンとして使用可能）するようにマークします。
tailrec 関数を末尾再帰としてマークします (コンパイラーが再帰を反復に置換えることができます)。
vararg パラメーターに可変数の引数を渡せるようにします。

特殊識別子[編集]

以下の識別子は，コンパイラーが特定の文脈で定義したもので、他の文脈では通常の識別子として使用することができます^[47]。このような識別子を特殊識別子( Special identifiers )と呼びます。

field プロパティーアクセサー( a property accessor )の内部で、プロパティーのバッキングフィールドを参照するために使用します。
it ラムダの内部で暗黙のうちにパラメーターを参照するために使用されます。

演算子と特殊シンボル[編集]

Kotlinは以下の演算子( Operators )や特殊特殊シンボル( special symbols )をサポートしています^[48]。

+, -, *, /, % — 算術演算子
1. * は、vararg パラメーターに配列を渡す場合にも使用されます。
=
1. 代入演算子
2. パラメーターのデフォルト値を指定するために使用されます。
+=, -=, *=, /=, %= — 拡張された代入演算子。
++, -- — インクリメントおよびデクリメント演算子
&&, ||, ! — 論理 'and', 'or', 'not' 演算子 (ビット演算には、対応する infix 関数を使用してください)。
==, != — 等号演算子 (非プリミティブ型では equals() に変換される)。
===, !== — 参照系等号演算子( referential equality operators )
<, >, <=, >= — 比較演算子 (非プリミティブ型に対する compareTo() の呼出しに変換されます)
[, ] — インデックス付きアクセス演算子（getとsetの呼び出しに変換されます）
!! 式が非nullであることを保証します。
?. 安全な呼び出しを行います（レシーバーが非NULLの場合、メソッドを呼び出したり、プロパティにアクセスしたりします）。
?: 左辺の値がNULLの場合、右辺の値を取ります（エルビス演算子）。
:: メンバー参照またはクラス参照を作成します。
.. 範囲( a range )を生成します。
: 宣言の中で、名前と型を分離します。
? 型をnull可能( as nullable )であるとマークします。
->
1. ラムダ式のパラメーターと本体を分離します。
2. 関数型のパラメーターと戻値の型宣言を分離します。
3. when式の条件分岐と本体を分離します。
@
1. アノテーションを導入します。
2. ループラベルを導入または参照します。
3. ラムダ・ラベルを導入または参照します。
4. 外部スコープから 'this' 式を参照します。
5. 外部のスーパークラスを参照します。
; 同じ行にある複数のステートメントを区切ります。
$ 文字列テンプレート内で変数または式を参照します。
_
1. ラムダ式で使用しないパラメーターを置換えます。
2. 構造化宣言の未使用のパラメーターを代入します。

「演算子の優先順位」も参照

Kotlin標準ライブラリー[編集]

Kotlin標準ライブラリー( Kotlin Standard Library )は、以下のような機能を提供します^[49]。

慣用的なパターン（let、apply、use、synchronizedなど）を実装した高階関数。
コレクション（eager）やシーケンス（lazy）に対するクエリ操作を提供する拡張関数。
文字列や文字列列を扱うための各種ユーティリティ
ファイル、IO、スレッドを便利に扱うための JDK クラスの拡張。

Kotlin標準ライブラリーはKotlin自身で書かれています。

ディフォルトインポートされるパッケージ

kotlin.*
アノテーション
コレクション
比較
入出力
範囲
シーケンス
テキスト

アノテーション[編集]

kotlin.annotation.*

コレクション[編集]

Kotlinには、Arrayから始まり、Iterable, Collection, List, Set, Mapなどのコレクション型が豊富に用意されています。これらは主に kotlin.collections パッケージで提供されており、ディフォルトインポートなので追加のインポートなしで利用できます^[50]。

主要なパッケージとその機能の一覧
パッケージ	機能
Iterable	要素の反復処理をサポート
Collection	要素のコレクションを表現
List	要素数が固定で、要素の値を変更不可
ArrayList	可変長の動的な配列
MutableList	要素の変更が可能なリスト
Set	要素の重複を許さない
Map	キーと値のペアを保持する
MutableMap	要素の変更が可能なMap
LinkedHashSet	要素の挿入順を保持するSet
LinkedHashMap	要素の挿入順を保持するMap

Iterable[編集]

Iterable インターフェースは、Kotlinの標準ライブラリで使用される反復可能なコレクションの基本的なインターフェースです。このインターフェースは、コレクションが要素の反復処理を可能にするために必要な機能を提供します。

以下に、Iterable インターフェースの主な要素と使用法を示します：

iterator() メソッド:
- iterator メソッドは、コレクション内の要素を反復処理するためのイテレータを返します。
- イテレータは、hasNext() メソッドで次の要素の有無を確認し、next() メソッドで次の要素を取得します。
- 通常、for ループや forEach 関数を使用して、このメソッドを呼び出すことなくコレクションを反復処理できます。
```
val iterable: Iterable<Int> = listOf(1, 2, 3, 4, 5)

// for ループを使用した反復処理
for (element in iterable) {
    println(element)
}

// forEach 関数を使用した反復処理
iterable.forEach { element ->
    println(element)
}
```
forEach 拡張関数:
- Iterable インターフェースには、forEach という拡張関数があります。これはラムダ式を使用して各要素に対する処理を行います。
```
val iterable: Iterable<Int> = listOf(1, 2, 3, 4, 5)

// forEach 関数を使用した反復処理
iterable.forEach { element ->
    println(element)
}
```
使用例:
- Iterable は多くの Kotlin のコレクションで使用されます。例えば、List、Set、Map などが Iterable インターフェースを実装しています。
- Iterable を実装することで、コレクションが要素の反復処理をサポートし、for ループや forEach 関数などで簡単に使用できます。
```
// List は Iterable インターフェースを実装している
val list: Iterable<Int> = listOf(1, 2, 3, 4, 5)

// for ループを使用した反復処理
for (element in list) {
    println(element)
}
```

Iterable インターフェースは、Kotlinでコレクションを扱う際に非常に重要であり、様々な反復処理操作を可能にします。

Collection[編集]

Collection インターフェースは、Kotlinの標準ライブラリで提供されるコレクション型の基本インターフェースの一つです。このインターフェースは、複数の要素を保持するデータ構造を表現し、それらの要素に対する基本的な操作を提供します。

以下に、Collection インターフェースの主な特徴と使用法を示します：

要素の追加と削除:
- Collection インターフェースは、要素の追加や削除といった基本的な操作を提供します。
- add(element: E) メソッドを使用して要素を追加し、remove(element: E) メソッドを使用して指定した要素を削除します。
```
val collection: Collection<Int> = listOf(1, 2, 3, 4, 5)

// 要素の追加はサポートされない
// collection.add(6)  // エラー

// 要素の削除
val modifiedCollection = collection - 3
println(modifiedCollection)  // [1, 2, 4, 5]
```

要素の存在確認:

contains(element: E) メソッドを使用して、指定した要素がコレクション内に存在するかどうかを確認できます。

val collection: Collection<Int> = listOf(1, 2, 3, 4, 5)

// 要素の存在確認
val containsThree = collection.contains(3)
println(containsThree)  // true

サイズの取得:

size プロパティを使用して、コレクション内の要素の総数を取得できます。

val collection: Collection<Int> = listOf(1, 2, 3, 4, 5)

// コレクションのサイズ取得
val size = collection.size
println(size)  // 5

反復処理:

Iterable インターフェースを継承しているため、forEach 関数などを使用してコレクション内の要素を反復処理できます。

val collection: Collection<Int> = listOf(1, 2, 3, 4, 5)

// forEach 関数を使用した反復処理
collection.forEach { element ->
    println(element)
}

他のコレクションとの操作:

Collection インターフェースを実装するコレクションは、他のコレクションとの操作を行うための便利な関数を提供します。例えば、和集合、差集合、共通要素などを計算できます。

val collection1: Collection<Int> = listOf(1, 2, 3, 4, 5)
val collection2: Collection<Int> = listOf(4, 5, 6, 7, 8)

// 和集合
val unionResult = collection1 union collection2
println(unionResult)  // [1, 2, 3, 4, 5, 6, 7, 8]

// 差集合
val subtractResult = collection1 subtract collection2
println(subtractResult)  // [1, 2, 3]

// 共通要素
val intersectResult = collection1 intersect collection2
println(intersectResult)  // [4, 5]

Collection インターフェースは、Kotlinのコレクションの基本的な機能を提供し、様々な種類のコレクションがこれを実装しています。これにより、異なる種類のコレクションを一貫して扱うことができます。

List[編集]

Listは、要素数が固定で要素の値を変更できないコレクションです。

List()[編集]

List()を使ったListの生成

fun main() {
    val list = List(5){it}
    println("list::class.simpleName ⇒ ${list::class.simpleName}")
    println("list[0]::class.simpleName ⇒ ${list[0]::class.simpleName}")
    list.forEach{print("$it ")}
    println("")

    val list2 = List(5){(it*it).toString()}
    println("list2[0]::class.simpleName ⇒ ${list2[0]::class.simpleName}")
    list2.forEach{print("$it ")}
    println("")
}

実行結果

list::class.simpleName ⇒ ArrayList
list[0]::class.simpleName ⇒ Int
0 1 2 3 4 
list2[0]::class.simpleName ⇒ String 
0 1 4 9 16

List()はListのコンストラクターで、引数として要素数をとり、ブロックが初期化式になります。

listOf[編集]

listOf()を使ったListの生成

fun main() {
    val list = listOf(1, 9, 3, 5, 23, 1)
    
    println("${list::class.simpleName}")
    println("${list[0]::class.simpleName}")

    for (s in list)
        if (s > 10)
            break
        else
            print("$s ")
    println("")
    
    run {
        list.forEach{
            if (it > 10)
                return@run
            else
                print("$it ")
        }
    }
    println("")
}

実行結果

ArrayList
Int
1 9 3 5  
1 9 3 5

ListOf()は可変長引数の関数で、引数が生成されるListの要素になります。

Listの要素の型は、型強制できる最小公倍数的な方になります（例えば Int と Long が混在していたら Long）。

ArrayList[編集]

fun main() {
    // ArrayListを使ったListの生成
    val arrayList = ArrayList<String>()
    arrayList.add("Kotlin")
    arrayList.add("Java")
    arrayList.add("Python")
    
    println("${arrayList::class.simpleName}")
    
    for (lang in arrayList) {
        println(lang)
    }
}

実行結果

ArrayList
Kotlin
Java
Python

上記の例では、ArrayList を使ってListを生成しています。ArrayListは要素の順序が保持され、可変長の動的な配列を表現します。add メソッドを使用して要素を追加することができます。

MutableList[編集]

fun main() {
    // MutableListを使ったListの生成
    val mutableList = mutableListOf(1, 2, 3, 4, 5)
    mutableList.add(6)
    
    println("${mutableList::class.simpleName}")

    for (num in mutableList) {
        print("$num ")
    }
    println("")
}

実行結果

ArrayList
1 2 3 4 5 6

mutableListOf() を使って MutableList を生成し、add メソッドを使用して要素を追加しています。MutableListは要素の変更が可能なListです。

これらの例から分かるように、Kotlinのコレクションは型安全で、読み取り専用と可変なコレクションの違いが明確になっています。リストの他にも、SetやMapも用意されており、それぞれの特徴に応じて適切なものを選択できます。

ユースケース[編集]

kotlin.collections パッケージのコレクションクラスや関連機能は、さまざまなプログラミングシナリオで利用されます。以下は、kotlin.collections の主なユースケースのいくつかです：

データの格納と操作: List、Set、Mapなどのコレクションは、データを効果的に格納し、操作するために使用されます。例えば、リストは順序つきのデータの集合を表現し、セットは一意な要素の集合を表現します。
反復処理とフィルタリング: Iterable インターフェースを使用してコレクションを反復処理し、必要なデータを抽出することができます。これは、フィルタリングや変換などの操作に役立ちます。
不変性と可変性の管理: List と MutableList、Set と MutableSet、Map と MutableMap など、各コレクションには不変なバージョンと可変なバージョンがあります。これにより、不変性を保ちながら必要に応じてデータを変更できます。
関数型プログラミング: コレクション操作には関数型プログラミングのアプローチがあり、filter、map、reduce などの関数を使用してデータを処理できます。

以下は、これらのユースケースの簡単な例です：

// データの格納と操作
val list = listOf(1, 2, 3, 4, 5)
val set = setOf(1, 2, 3, 4, 5)
val map = mapOf(1 to "one", 2 to "two", 3 to "three")

// 反復処理とフィルタリング
val filteredList = list.filter { it > 2 }

// 不変性と可変性の管理
val mutableList = mutableListOf(1, 2, 3)
mutableList.add(4)

// 関数型プログラミング
val squaredValues = list.map { it * it }
val sum = list.reduce { acc, value -> acc + value }

これらの例は一部の機能を示すものであり、kotlin.collections のコレクションは、さまざまなプログラミングニーズに対応する強力なツールセットを提供します。

ベストプラクティス[編集]

kotlin.collections を使用する際のベストプラクティスはいくつかあります。以下にいくつか挙げてみましょう：

不変性の推奨: 不変なコレクション（List、Set、Mapなど）を使用することを検討してください。不変なコレクションは変更不可能でスレッドセーフであり、プログラムの安全性を向上させるのに役立ちます。
```
// 不変なリスト
val immutableList = listOf(1, 2, 3)

// 不変なセット
val immutableSet = setOf("apple", "orange", "banana")

// 不変なマップ
val immutableMap = mapOf(1 to "one", 2 to "two", 3 to "three")
```
Nullableなコレクションの適切な扱い: コレクション内の要素が null になりうる場合、Nullableなコレクション（List?、Set?、Map?など）を使用して適切にハンドリングしましょう。
```
// Nullableなリスト
val nullableList: List<Int>? = // ...

// Nullableなセット
val nullableSet: Set<String>? = // ...

// Nullableなマップ
val nullableMap: Map<Int, String>? = // ...
```
関数型プログラミングの活用: filter、map、reduce、fold などの関数型プログラミングの機能を活用して、コードを簡潔で読みやすくしましょう。
```
val numbers = listOf(1, 2, 3, 4, 5)

val evenSquared = numbers
    .filter { it % 2 == 0 }
    .map { it * it }
    .sum()
```
適切なコレクションの選択: 使用ケースによって適切なコレクションを選択しましょう。例えば、要素の順序が重要な場合は List、一意性が必要な場合は Set、キーと値のペアが必要な場合は Map を使用します。
```
// 要素の順序が重要
val orderedList = listOf(1, 2, 3, 4, 5)

// 一意性が必要
val uniqueSet = setOf("apple", "orange", "banana")

// キーと値のペアが必要
val keyValueMap = mapOf(1 to "one", 2 to "two", 3 to "three")
```

これらのベストプラクティスは、コードの品質、パフォーマンス、保守性を向上させるのに役立ちます。使用ケースによって最適なアプローチを選択することが重要です。

比較[編集]

kotlin.comparisons.*

入出力[編集]

kotlin.io.*

範囲[編集]

kotlin.ranges.*

シーケンス[編集]

kotlin.sequences.*

テキスト[編集]

kotlin.text.*

コレクション類似クラス[編集]

[TODO:Rangeはコレクションではないので再分類が必要]

println((1..5).javaClass.kotlin)の結果が示す通り、範囲リテラル1..5はclass kotlin.ranges.IntRangeです。コレクションは、Ranges以外にも、Sequences・Ranges・Lists・Arrays・Sets・Mapsなどがあります。これは網羅していませんし、上記の forプロトコルに従ったクラスを作れば、ユーザー定義のコレクションも作成できます。

様々なコレクション

fun main(args: Array<String>) {
  val collections = arrayOf(
    1..5,
    1..8 step 2, 
    5 downTo 1,
    8 downTo 1 step 2,
    'A'..'Z', 
    listOf(2,3,5),
    setOf(7,11,13))
  println("$collections(${collections.javaClass.kotlin})")

  for (collection in collections) {
      print(collection)
      print(": ")
      for (x in collection) {
          print(x)
          print(" ")
      }
      print(": ")
      println(collection.javaClass.kotlin)
  }
}

実行結果

class kotlin.Array
1..5: 1 2 3 4 5 : class kotlin.ranges.IntRange
1..7 step 2: 1 3 5 7 : class kotlin.ranges.IntProgression
5 downTo 1 step 1: 5 4 3 2 1 : class kotlin.ranges.IntProgression
8 downTo 2 step 2: 8 6 4 2 : class kotlin.ranges.IntProgression
A..Z: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z : class kotlin.ranges.CharRange
[2, 3, 5]: 2 3 5 : class java.util.Arrays$ArrayList 
[7, 11, 13]: 7 11 13 : class java.util.LinkedHashSet

二重のforループで、外周はコレクションのコレクションで、内周は個々のコレクションの要素をイテレーションしています。

スコープ関数[編集]

repeat関数[編集]

Kotlinの標準ライブラリーにあるrepeat関数は、定数回の繰返しが必要な時に便利です^[51]。

repeat関数

fun main() {
    repeat(5) {
        println("it = $it")
    }

    run {
        repeat(3) { i ->
            repeat(4) { j ->
                println("(i, j) = ($i, $j)")
                if (i == 1 && j == 2) {
                    return@run
                }
            }
        }
    }
}

実行結果

it = 0
it = 1
it = 2
it = 3
it = 4
(i, j) = (0, 0)
(i, j) = (0, 1)
(i, j) = (0, 2)
(i, j) = (0, 3)
(i, j) = (1, 0)
(i, j) = (1, 1) 
(i, j) = (1, 2)

itは、暗黙のループ変数です。

多重ループでは、ループ変数の名前が固定では都合が悪いので、ブロックの先頭で識別子名 -> とすることで明示的に名前をつけることができます。

多重ループを run 関数で括ることで多重ループからの大域脱出を実現しています。

ブロックを受取る関数[編集]

repeat関数もそうですが、Kotlinにはブロックを受取る関数（やメソッド）があります。

ブロックを受取る関数

fun main(args: Array<String>) {
    val ary = Array(5) { 2 * it + 1 }
    ary.forEach{ println(it) }
    println(ary.map{ it.toString() }.joinToString(" "))
    println(ary.reduce{ sum, el -> sum  + el })
}

実行結果

ブロックで配列の初期化を行う場合、itは順位になります。

コレクションのforEachメソッドもブロックを取ります。

コレクションのreduceメソッドもブロックを取りますが、累算値と要素の2つを取るので、名付けが必要です。

このように、ブロックを取るメソッドを使うとコレクションに関する操作を簡素に書けます。

Coroutine[編集]

Kotlinは、言語レベルでコルーチンをサポートし、機能の大部分をライブラリに委ねることで、この問題を柔軟に解決しています。

Shell

$ cat coroutine.kt 
import kotlinx.coroutines.*

fun main() = runBlocking {
    launch {
        delay(500L)
        for (ch in "World!\n") {
            print(ch)
            delay(100L)
        }
    }
    print("Hello ")
}
$ locate /kotlinx-coroutines
/usr/local/share/kotlin/lib/kotlinx-coroutines-core-jvm.jar
$ kotlinc -cp /usr/local/share/kotlin/lib/kotlinx-coroutines-core-jvm.jar coroutine.kt -include-runtime -d coroutine.jar
$ java -cp ./coroutine.jar:/usr/local/share/kotlin/lib/kotlinx-coroutines-core-jvm.jar CoroutineKt
Hello World!

Kotlin Script[編集]