Antwoord

Geschiedenis van de kwestie:

Met de opkomst van functioneel programmeren en lambda-expressies in de JVM ontstond er een probleem met overhead voor anonieme objecten en extra methode-aanroepen. In Java komt dit voor bij het gebruik van functionele interfaces. In Kotlin werd het sleutelwoord inline geïntroduceerd om onnodige allocaties te vermijden bij het doorgeven van lambda-functies.

Probleem:

Een aanroep van een functie met lambda-parameters creëert anonieme objecten op de heap en verhoogt de diepte van de stack, wat de uitvoering van de code vertraagt, vooral bij actief gebruik in lussen en geneste aanroepen.

Oplossing:

Kotlin staat toe om een functie met de inline-modifier te declareren, waarna de functie-inhoud en de doorgegeven lambdas direct op de plaats van aanroep worden ingevoegd tijdens de compilatie. Dit stelt de compiler in staat om extra allocaties te vermijden en de prestaties te verbeteren, vooral voor korte, vaak aangeroepen functies (bijvoorbeeld het filteren van collecties).

Voorbeeldcode:

inline fun <T> Iterable<T>.myFilter(predicate: (T) -> Boolean): List<T> {
    val result = mutableListOf<T>()
    for (item in this) if (predicate(item)) result.add(item)
    return result
}

val filtered = listOf(1, 2, 3, 4).myFilter { it % 2 == 0 }
println(filtered) // [2, 4]

Belangrijke kenmerken:

Verwijdering van allocaties van functionele objecten.
Vermindering van overhead bij aanroepen van lambda-parameters.
Mogelijkheid om de parameters noinline en crossinline te gebruiken voor controle over het inlinen van afzonderlijke lambdas.

Misleidende vragen.

Kan een inline functie met elke functionele parameter of generic type T worden gebruikt?

Nee, inline-functies besparen in de eerste plaats op call overhead van lambda-parameters, maar de generic-parameter zelf (bijvoorbeeld T) wordt niet inline - hiervoor is een reified modifier nodig. Voor eenvoudige T zonder reified, zal informatie over het type worden gewist tijdens de compilatie.

Wat gebeurt er als in een inline-functie een sluiting op een variabele uit de externe scope wordt gedeclareerd?

Variabelen uit de externe scope worden in de inline-expressie gekopieerd. Alle toegang daartoe zal zich gedragen alsof de code werkelijk is ingevoegd. Dit kan leiden tot onverwacht gedrag als je geen bijwerkingen verwacht.

Kan een inline functie vanuit Java-code worden aangeroepen?

Ja, maar het zal worden gecompileerd als een gewone functie, en Java-code zal geen voordelen van inlining zien. Kotlin behaalt optimalisatie alleen bij het gebruik van inline-functies vanuit Kotlin-code.

Typische fouten en antipatterns

Overmatig gebruik van inline voor grote functies (leidt tot vergroting van bytecode)
Misverstand dat inline de snelheid van alle aanroepen verbetert (bij lange functies vertraagt inlining de compilatie en vergroot de applicatiegrootte)
Fouten bij het gebruik van return in inline-lambdas - onjuiste controle over de flow

Voorbeeld uit het leven

Negatieve case

Een ontwikkelaar inline een lange functie met meerdere lambda's voor filtering en post-processing, in de veronderstelling dat deze sneller zal zijn. De code compileert lang, de uiteindelijke APK/RAR/DEX neemt aanzienlijk toe, en er is geen snelheidswinst.

Voordelen:

Structuurverbetering van de code

Nadelen:

Vergrootte binaire bestandsgrootte
Lange build-tijd
Moeilijke debugging

Positieve case

Een kleine inline-functie voor korte array-filters is geïmplementeerd, die honderden keren in een warme loop wordt aangeroepen - de uitvoeringstijd is kritisch. Het aantal geheugentoewijzingen is minimaal, aangezien de lambda geen anonieme objecten aanmaakt.