Funzioni generiche e vincoli di tipo con where
Scriva funzioni generiche con vincoli di tipo singoli e multipli.
Funzioni generiche e vincoli di tipo con where è una lezione Kotlin Academy gratuita su CoddyKit. Questa è la lezione 1 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento Kotlin Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso Kotlin Academy include 4 lezioni in totale.
Nozioni di base sulle funzioni generiche
Le funzioni generiche utilizzano parametri di tipo racchiusi tra parentesi angolari prima del nome della funzione. Il parametro di tipo può essere utilizzato nei tipi dei parametri e nei tipi restituiti.
fun <T> identity(value: T): T = value
fun <T> listOf2(a: T, b: T): List<T> = listOf(a, b)
fun main() {
println(identity(42)) // 42
println(identity("hello")) // hello
println(listOf2(1, 2)) // [1, 2]
}Limiti superiori con il vincolo :
Limiti un parametro di tipo con un upper bound usando :. Il tipo deve essere un sottotipo del limite.
fun <T : Comparable<T>> max(a: T, b: T): T = if (a >= b) a else b
fun main() {
println(max(3, 7)) // 7
println(max("apple", "banana")) // banana
// max(listOf(1), listOf(2)) // error: List is not Comparable
}Upper bound nullable
Il limite superiore predefinito è Any? (nullable). Utilizzi T : Any per escludere null.
fun <T : Any> notNull(value: T?): T {
return value ?: throw IllegalArgumentException("Value is null")
}
fun main() {
println(notNull("hello")) // hello
try { notNull(null) } catch (e: Exception) { println(e.message) }
}Vincoli multipli con where
Utilizzi la clausola where per applicare più vincoli a un singolo parametro di tipo.
fun <T> process(item: T): String
where T : Comparable<T>, T : CharSequence {
return "Length=${item.length}, sorted=${item > "a"}"
}
fun main() {
println(process("kotlin")) // Length=6, sorted=true
// process(42) // error: Int doesn't implement CharSequence
}where in una classe
La clausola where funziona anche sui parametri di tipo a livello di classe.
class SortedContainer<T>(private val items: MutableList<T> = mutableListOf())
where T : Comparable<T>, T : Any {
fun add(item: T) { items.add(item); items.sort() }
fun top(): T? = items.lastOrNull()
}
fun main() {
val c = SortedContainer<Int>()
c.add(5); c.add(2); c.add(8)
println(c.top()) // 8
}Funzioni di estensione generiche
Anche le funzioni di estensione possono avere parametri di tipo, rendendole disponibili su tipi generici specifici.
fun <T : Comparable<T>> List<T>.second(): T? {
return if (size >= 2) this[1] else null
}
fun main() {
println(listOf(10, 20, 30).second()) // 20
println(listOf("a").second()) // null
}Parametro di tipo nella posizione restituita
Le funzioni generiche possono inferire il tipo dal contesto, evitando di specificare esplicitamente gli argomenti di tipo nel punto di chiamata.
fun <T> MutableList<T>.popOrDefault(default: T): T {
return if (isEmpty()) default else removeAt(lastIndex)
}
fun main() {
val list = mutableListOf(1, 2, 3)
println(list.popOrDefault(0)) // 3
println(list.popOrDefault(0)) // 2
println(mutableListOf<Int>().popOrDefault(-1)) // -1
}Utility generiche riutilizzabili
Le funzioni generiche rendono riutilizzabili le funzioni di utilità tra tipi diversi, senza duplicazioni.
fun <T> Iterable<T>.firstOrElse(default: T): T = firstOrNull() ?: default
fun <T, R : Comparable<R>> Iterable<T>.maxByOrElse(selector: (T) -> R, default: T): T =
maxByOrNull(selector) ?: default
fun main() {
println(listOf<String>().firstOrElse("fallback")) // fallback
println(listOf("a","bbb","cc").maxByOrElse({ it.length }, "")) // bbb
}Star projection e wildcard con limite
Confronti l'uso di un parametro di tipo con limite, utile quando è necessario produrre o consumare T, con la star projection, da utilizzare quando il tipo è sconosciuto.
fun <T : Number> sumList(list: List<T>): Double =
list.sumOf { it.toDouble() }
// Star projection: read-only, type unknown
fun printAll(list: List<*>) = list.forEach { println(it) }
fun main() {
println(sumList(listOf(1, 2, 3))) // 6.0
printAll(listOf("a", 1, true)) // a, 1, true
}Scambio generico di Pair
Una semplice ma efficace funzione generica che inverte i componenti di un Pair.
fun <A, B> Pair<A, B>.swap(): Pair<B, A> = Pair(second, first)
fun main() {
val pair = Pair("hello", 42)
val swapped = pair.swap()
println(swapped) // (42, hello)
}Pratica: unwrap generico di Result
Utilizzi i generics con limite per scrivere un'utility che applichi una trasformazione tipizzata a un Result<T>.
fun <T : Any, R : Any> Result<T>.mapNotNull(transform: (T) -> R?): Result<R> {
return fold(
onSuccess = { v ->
val r = transform(v)
if (r != null) Result.success(r) else Result.failure(NoSuchElementException())
},
onFailure = { Result.failure(it) }
)
}
fun main() {
val r = Result.success("123")
val n = r.mapNotNull { it.toIntOrNull() }
println(n) // Success(123)
}Verifica rapida
Come applica più vincoli a un singolo parametro di tipo?
Riepilogo
Le funzioni generiche utilizzano parametri di tipo per scrivere codice riutilizzabile e type-safe. Utilizzi : per un singolo limite e where per più limiti. Il compilatore Kotlin applica i vincoli nel punto di chiamata.
Impara Kotlin con un tutor IA — gratis
Scrivi ed esegui vero codice nel tuo browser, ricevi aiuto istantaneo da un tutor IA disponibile 24/7, e riprendi da dove hai lasciato sul web o nell'app.
- Corsi
- 51
- Lezioni
- 203
Domande Frequenti
La lezione «Funzioni generiche e vincoli di tipo con where» è gratuita?
Sì — il testo completo di «Funzioni generiche e vincoli di tipo con where» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso Kotlin Academy, passa a CoddyKit PRO. Il corso Kotlin Academy include 4 lezioni in totale.
Cosa imparerò in «Funzioni generiche e vincoli di tipo con where»?
Scriva funzioni generiche con vincoli di tipo singoli e multipli. Eserciti Kotlin Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.
Ho bisogno di esperienza per iniziare Kotlin Academy?
Non è richiesta alcuna esperienza precedente. Kotlin Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 1 di 4.
Quanto tempo richiede la lezione «Funzioni generiche e vincoli di tipo con where»?
La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.
Posso scrivere ed eseguire codice in questa lezione Kotlin Academy?
Sì. Ogni lezione Kotlin Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.
Tutte le lezioni di questo corso
- Funzioni generiche e vincoli di tipo con where
- Varianza dichiarata nel punto di dichiarazione: in e out
- Star projection e quando usare *
- Type erasure e parametri di tipo reified