型推論

CoddyのKotlinジャーニー「基礎」セクションの一部。レッスン 6/93。

Kotlinは値の型を自動的に判断できます。これは型推論と呼ばれます。

fun main() {
    val name = "Alice"   // Kotlin はこれが String であると推論します
    val age = 25         // Kotlin はこれが Int であると推論します
    val price = 9.99     // Kotlin はこれが Double であると推論します
}

ただし、型アノテーションを使用して型を明示的に宣言することもできます。名前の後にコロンを書き、その後に型を続けます。

fun main() {
    val name: String = "Alice"
    val age: Int = 25
    val price: Double = 9.99
    val isActive: Boolean = true
}

型注釈は、次のような場合に役立ちます：

値の型を特に明確にしたい場合

初期値なしで変数を宣言する

fun main() {
    var score: Int   // 宣言されたがまだ代入されていない
    score = 100      // 後で代入
}

型アノテーションがなければ、Kotlinはscoreがどの型であるべきか判断できません。

チャレンジ

初心者

明示的な型注釈なしで4つのval宣言を作成します。cityには"Oslo"、platformには4、fareには12.5、isExpressにはfalseを保持させます。Kotlinに型を推論させます。それらの値を、指定した順序で4つの別々の行に出力します。

自分で試してみよう

fun main() {
    // 型注釈なしで4つの値を宣言する。
    // 要求された順序でそれらを出力する。
}

腕試し

このレッスンには短いクイズがあります。レッスンを始めて解答し、進捗を記録しましょう。

基礎のすべてのレッスン

自分で練習してみよう: Kotlinプレイグラウンド