Kotlinде түрлердин коопсуздугун кантип камсыз кылуу…

Kotlinдеги типтердин коопсуздугу бир нече негизги механизмдер аркылуу камсыз кылынат:

Null эмес типтер системасы: Kotlin сылтамалуу типтерди айырмалап турат, алар null маанисин кабыл алса (тип аталышында ? менен белгиленет), жана ал эмес. Компилятор null үчүн так текшерүүлөрдү же коопсуз чакырууларды (?.) жана операторлорду (?:, !!) талап кылат.

// Null болбойт деген сылтамалуу тип
val nonNullableString: String = "Hello"

// Null болуучу сылтамалуу тип
var nullableString: String? = "World"
nullableString = null // уруксат берилген

// Компиляция ката: null иштетүү керек
// val length = nullableString.length

// Коопсуз чакырууу
val length: Int? = nullableString?.length

// Elvis оператору
val safeLength: Int = nullableString?.length ?: 0

Акылдуу түргө өткөрүү (Smart Casts): Компилятор автоматтык түрдө өзгөрмөнүн түрүн if, when, while, for жана башка өрнөктөрдүн ичинде текшерүүдөн кийин өзгөртөт.

fun printLength(obj: Any) {
    if (obj is String) {
        // Бул блоктун ичинде, компилятор obj String экенин билет
        println("String узундугу ${obj.length}")
    }
}

fun processNullableString(str: String?) {
    if (str != null) {
        // Бул блоктун ичинде, компилятор str null эмес экенин билет
        println("String null эмес, узундугу ${str.length}")
    }
}

Генерик типтер: Kotlin генериктерди колдойт, алар ар кандай типтер менен иштей турган класстарды, интерфейстерди жана функцияларды түзүүгө мүмкүндүк берет, типтердин коопсуздугун камсыз кылуу үчүн компиляция учурунда.
```
class Box<T>(val item: T)

fun printItem(box: Box<String>) {
    // Компилятор, item String экенин билет
    println(box.item.uppercase())
}
```
Коварианттык (out) жана контраварианттык (in): Алар универсалдуу типтерде кандайча подтиптер колдонулушу мүмкүн экенин тактоого мүмкүндүк берет, типтердин шайкешсиздик каталарын алдын алууга жардам берет, компиляция учурунда.
```
interface Source<out T> {
    fun nextT(): T
    // fun consumeT(t: T) // Компиляция ката
}

interface Sink<in T> {
    // fun produceT(): T // Компиляция ката
    fun consumeT(t: T)
}
```

Sealed класстар: Алар чектелген класс иерархиясын түзөт, анда бардык подклассылар компиляция учурунда белгилүү болот. Бул компиляторго when өрнөктөрүнүн толуктуулугун текшерүүгө мүмкүндүк берет, sealed классынын подклассылар менен иштөөдө бардык мүмкүн болгон учурларды камтыйт.

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

fun handleResult(result: Result) {
    when (result) {
        is Result.Success -> println("Маалымат: ${result.data}")
        is Result.Error -> println("Ката: ${result.code}")
        // `else` жок, компилятор бардык подклассыларды иштетүүнү кепилдейт
    }
}

Бул механизмдер биргелешип иштешип, типтер менен байланышкан көптөгөн потенциалдык каталарды эрте кезинде аныктоого мүмкүндүк берет, колдонмонун ишке киргизилишинен мурун.

Kotlinде түрлердин коопсуздугун кантип камсыз кылуу керек?