KotlinはJavaのプリミティブ型に当たるデータ型を持ちません。しかし、同等な記述が基本データ型を用いて出来ます。

Kotlinにおいて、基本データ型がどのように扱われているのか、まとめます。

※環境：Android Studio Giraffe | 2022.3.1 Patch 1
　　　　Kotlin 1.8.10

Kotlinの基本データ型

KotlinはJavaのプリミティブ型に当たるデータ型を持ちません。ただ、一対一に対応する基本データ型があります。Javaのラッパークラスに似ています。

両者を比べると表のようになります。

※基本データ型はStringも含まれますが、表はJavaのプリミティブ型に関連するデータ型へ限定しています。

基本データ型はオブジェクト

Kotlinの基本データ型はソースコードとバイトコードで振る舞いが異なります。

ソースコードレベルはオブジェクトです。しかし、バイトコードレベルはJavaのプリミティブ型です。

Kotlinコンパイラーが一対一に対応する基本データ型の仲立ちを行っています。

基本データ型の振る舞い

例えば、次のようなソースコードを考えます。整数22を定義して、+3を行うプログラムです。

    var _value: Int = 22
    _value += 3
    Log.i(TAG, "value = ${_value}")

バイトコード

バイトコードは整数22を値のまま、PUSHやPOPを行ったり、+3の演算を行ったり、することが確認できます。

整数22は特定の（メモリ上の）格納先やその参照先を持ちません。すべての処理は、ローカル変数（レジスタ）やスタック（PUSH/POP先）など、VM（バーチャルマシン）の内部リソースで完結しています。

これはプリミティブ型の振る舞い方です。

   L0
    LINENUMBER 8 L0
    BIPUSH 22			-> 整数22をスタックへPUSH
    ISTORE 0			-> ローカル変数0へスタックからPOP
   L1
    LINENUMBER 9 L1
    ILOAD 0				-> ローカル変数0をスタックへPUSH
    ICONST_3			-> 整数3をスタックへPUSH
    IADD				-> スタックから２つPOP、両者を加算、答えをスタックへPUSH
    ISTORE 0			-> ローカル変数0へスタックからPOP
   L2
    LINENUMBER 10 L2
    LDC "TypeChecker"
    NEW java/lang/StringBuilder
    DUP
    INVOKESPECIAL java/lang/StringBuilder.<init> ()V
    LDC "value = "
    INVOKEVIRTUAL java/lang/StringBuilder.append (Ljava/lang/String;)Ljava/lang/StringBuilder;
    ILOAD 0
    INVOKEVIRTUAL java/lang/StringBuilder.append (I)Ljava/lang/StringBuilder;
    INVOKEVIRTUAL java/lang/StringBuilder.toString ()Ljava/lang/String;
    INVOKESTATIC android/util/Log.i (Ljava/lang/String;Ljava/lang/String;)I
    POP

ちなみに、上記のバイトコードをデコンパイルすると、単純にJavaのプリミティブ型へ置き換えただけのソースコードになります。

      int _value = 22;
      _value += 3;
      Log.i("TypeChecker", "value = " + _value);

ソースコード

ソースコードは整数22をオブジェクト（Int型のオブジェクト）として、プロパティを参照したり、関数を実行したり、できます。

そして、整数22のインスタンスの参照値が変数（_value）へ代入されたように、扱うことが出来ます。

これは、オブジェクトの振る舞い方です。

ただし、このオブジェクトの振る舞いはシステムよって付与された仮想的なものであり、実態はバイトコードのようなプリミティブ型であることに注意してください。

関連記事：