Platform Types

import java.util.ArrayList
import java.util.HashMap

// Demonstrasi platform types (T!) yang muncul saat Kotlin memakai tipe dari Java.
// Kotlin tidak tahu apakah Java akan mengembalikan null atau tidak,
// sehingga tipe tersebut menjadi "platform type" yang dapat diperlakukan
// baik nullable maupun non-nullable — di sinilah letak risiko NPE.

// ArrayList.get(i) di Java mengembalikan E tanpa @Nullable annotation,
// sehingga Kotlin memperlakukannya sebagai platform type E!
fun ambilElemen(daftar: ArrayList<String>, indeks: Int): String {
    // get(int) mengembalikan platform type String! — kompilator TIDAK memperingatkan
    val nilai: String = daftar[indeks]
    // Bila indeks di luar batas, Java melempar IndexOutOfBoundsException;
    // bila elemen null, baris berikut akan melempar NPE tanpa peringatan.
    return nilai.uppercase()
}

fun ambilElemenAman(daftar: ArrayList<String?>, indeks: Int): String? {
    // Deklarasi eksplisit sebagai String? — Kotlin memperlakukan dengan benar
    val nilai: String? = daftar[indeks]
    return nilai?.uppercase()
}

fun main() {
    // 1. Akses elemen yang ada — aman
    val daftar: ArrayList<String> = ArrayList()
    daftar.add("Budi")
    daftar.add("Siti")
    println("=== Aman: indeks dalam batas ===")
    println("ambilElemen(daftar, 0) : ${ambilElemen(daftar, 0)}")

    // 2. Akses elemen null di list String? — risiko NPE
    println()
    println("=== Berisiko: elemen null ===")
    val daftarNull: ArrayList<String?> = ArrayList()
    daftarNull.add("Pertama")
    daftarNull.add(null)
    daftarNull.add("Ketiga")

    val aman0: String? = ambilElemenAman(daftarNull, 0)
    val aman1: String? = ambilElemenAman(daftarNull, 1)
    println("ambilElemenAman(daftarNull, 0) : $aman0")
    println("ambilElemenAman(daftarNull, 1) : $aman1")

    // 3. HashMap.get() mengembalikan String? di Kotlin (jdk beri @Nullable)
    println()
    println("=== HashMap.get(): sudah nullable ===")
    val peta: HashMap<String, String> = HashMap()
    peta["nama"] = "Budi"
    val nilaiNama: String? = peta["nama"]
    val nilaiTidakAda: String? = peta["tidakAda"]
    println("peta[\"nama\"]     : $nilaiNama")
    println("peta[\"tidakAda\"] : $nilaiTidakAda")

    // 4. Mitigasi: deklarasi tipe eksplisit nullable
    println()
    println("=== Mitigasi: tipe eksplisit nullable ===")
    val hasilAman: String = nilaiTidakAda ?: "(tidak ditemukan)"
    println("nilaiTidakAda ?: default : $hasilAman")

    // 5. Iterasi ArrayList<String?> dengan smart-cast
    println()
    println("=== Iterasi dengan smart-cast ===")
    for (i in 0 until daftarNull.size) {
        val elemen: String? = daftarNull[i]
        if (elemen != null) {
            println("[$i] elemen non-null: ${elemen.uppercase()}")
        } else {
            println("[$i] elemen null, lewati")
        }
    }
}

=== Aman: indeks dalam batas ===
ambilElemen(daftar, 0) : BUDI

=== Berisiko: elemen null ===
ambilElemenAman(daftarNull, 0) : PERTAMA
ambilElemenAman(daftarNull, 1) : null

=== HashMap.get(): sudah nullable ===
peta["nama"]     : Budi
peta["tidakAda"] : null

=== Mitigasi: tipe eksplisit nullable ===
nilaiTidakAda ?: default : (tidak ditemukan)

=== Iterasi dengan smart-cast ===
[0] elemen non-null: PERTAMA
[1] elemen null, lewati
[2] elemen non-null: KETIGA