Özet - Compile-time safety

contracts, inline ve type-safe builder'ı birleştirerek bir DSL yazarsın.

Özet - Compile-time safety

Bu grupta beş derleme zamanı güvenliği aracını öğrendin: contracts, inline, reified, tailrec ve @DslMarker.

contracts derleyiciye davranış taahhüdü verir; inline lambda yükünü azaltır; reified tür silmeyi aşar; tailrec özyinelemeyi döngüye çevirir; @DslMarker DSL'lerde alıcı karışmasını önler. Şimdi bunları birleştiren küçük bir DSL yazacaksın: bir kutu, içindeki değerin türünü reified ile okuyacak ve inline ile yükten kaçınacaksın.

Birleştirme: Box DSL

Şimdi inline + reified + @DslMarker'ı birleştiren bir Box DSL yazacağız. Box bir değer tutar; tür etiketini reified ile okur.

Örnek: @BoxDsl class Box<T>(var value: T). inline fun <reified T> tag(): String = T::class.simpleName ?: "?". Box'a fun describe(): String = "${tag<T>()}:$value" metodu eklenir. Ama tag<T>() çağrısı Box sınıfı içindeyken inline fonksiyon olmalı; çünkü T yalnızca inline/reified ile görülebilir. Bu yüzden describe da inline olmalıdır.

Uygulama Box DSL yaz

@DslMarker annotation class BoxDsl tanımla. inline fun <reified T> tag(): String = T::class.simpleName ?: "?" yaz. @BoxDsl class Box<T>(var value: T) içine inline fun describe(): String = "${'$'}{tag<T>()}:${'$'}value" ekle. main içinde val b = Box(42) ve println(b.describe()) yaz.

Örnek çözümü göster

@DslMarker
annotation class BoxDsl
inline fun <reified T> tag(): String = T::class.simpleName ?: "?"
@BoxDsl
class Box<T>(var value: T) {
    inline fun describe(): String = "${tag<T>()}:$value"
}
fun main() {
    val b = Box(42)
    println(b.describe())
}

Kendini test et

Hangi anahtar lambda yükünü azaltır?
- inline
- reified
- tailrec
- @DslMarker
Cevabı göster

inline — inline, lambda parametreli fonksiyonlarda gövdeyi çağrı yerine kopyalar.

describe metodunu tamamla

    inline fun describe(): String = "${____<T>()}:$value"

Cevabı göster

    inline fun describe(): String = "${tag<T>()}:$value"

Beş aracı eşle

contracts

Davranış taahhüdü
inline

Gövdeyi kopyalar
reified

Tür silmeyi aşar
tailrec

Döngüye çevirir
@DslMarker

Alıcı karışmasını önler

Sıradaki ders: KSP

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler