Begrensde typeparameters met extends

Een gewone typeparameter accepteert elk type, maar soms heb je meer nodig. Misschien wil je een methode aanroepen die alleen bepaalde typen aanbieden. 🔒

Je kunt met extends een beperking toevoegen. Daarmee geef je aan dat de typeparameter een bepaald type of een subtype daarvan moet zijn.

Binnen de klasse vertrouwt Dart er nu op dat T op zijn minst een Animal is. Je kunt daardoor veilig elk lid gebruiken dat Animal definieert.

De compiler blokkeert elk typeargument dat niet aan de beperking voldoet. Een niet-gerelateerd type doorgeven is een fout die je meteen ziet.

Een veelgebruikte beperking is num, het bovenliggende type van int en double. Zo kan een generic rekenkundige bewerkingen uitvoeren en toch beide getaltypen accepteren.

Beperkingen werken ook bij generieke methoden, niet alleen bij klassen. Zet extends in de methode direct achter de naam van de typeparameter.

Als je geen beperking opgeeft, is de impliciete beperking Object?. Daarom kun je bij een onbeperkte T alleen leden gebruiken die elk object heeft.

Als je wilt sorteren of vergelijken, gebruik je Comparable als beperking. Daarna kun je binnen je generieke code compareTo op de waarden aanroepen.

Een beperking vertelt lezers ook welke soorten typen hier thuishoren. De ondertekening zelf legt het contract uit dat je code verwacht.

Let erop dat T in zijn eigen beperking kan voorkomen, zoals in T extends Comparable van T. Dit patroon koppelt een type aan bewerkingen op zichzelf.

Gebruik de minst beperkende beperking die nog werkt. Te strenge beperkingen sluiten geldige typen uit, terwijl je zonder beperking geen nuttige methoden kunt bereiken.

Je hebt extends gebruikt om een typeparameter te beperken. Daardoor kreeg je toegang tot de methoden van het beperkte type en werden niet-gerelateerde typen geweigerd. Houd beperkingen zo ruim als de taak toelaat. ✅