Generics: ein Platzhalter, der Information transportiert

Was der Platzhalter genau leistet

Ein Typparameter ist keine Prüfung und kein Umwandlungsschritt, sondern reine Buchführung des Compilers. Beim Aufruf sieht er sich die Argumente an, füllt den Platzhalter und rechnet mit dem Ergebnis für den Rest des Ausdrucks weiter. Zur Laufzeit bleibt davon nichts übrig, das übersetzte JavaScript kennt keine Typparameter. Das ist wichtig für die Erwartungshaltung: Ein Generic kann nichts prüfen, was erst zur Laufzeit feststeht, und eignet sich deshalb nicht als Ersatz für eine Prüfung an der Systemgrenze.

Aus derselben Eigenschaft folgt eine Regel für die Praxis, die sich einfach anwenden lässt: Ein Typparameter, der in der Signatur nur einmal vorkommt, verbindet nichts. Er nimmt einen Typ entgegen und tut nichts damit. Solche Stellen lassen sich fast immer durch die Einschränkung selbst ersetzen, also statt <T extends HatKennung>(wert: T): void einfach (wert: HatKennung): void. Die Signatur wird kürzer, die Fehlermeldungen ebenfalls, und es geht keine Information verloren.

extends ist eine Bedingung, kein Vererbungsbegriff

In <T extends HatKennung> heißt extends nicht, dass eine Klasse von einer anderen erbt. Es heißt: Was für T eingesetzt wird, muss zu HatKennung passen. Eine Struktur mit den Feldern kennung, name und ort erfüllt eine Einschränkung auf { kennung: string } ohne Weiteres, denn TypeScript vergleicht Formen und keine Abstammung. Genau das macht die Einschränkung im Alltag nützlich: Sie beschreibt eine Anforderung, keine Zugehörigkeit.

Die häufigste sinnvolle Einschränkung ist keyof. Mit function feld<T, K extends keyof T>(objekt: T, name: K): T[K] baust du einen Zugriff, bei dem ein Tippfehler im Feldnamen sofort auffällt und der Rückgabetyp automatisch der richtige ist. Ruf ihn mit einem Kunden und 'name' auf, kommt string zurück, ruf ihn mit 'umsatz' auf, kommt number zurück. Für diese Art von Funktionen sind Generics gebaut, und hier steht der Aufwand in einem klaren Verhältnis zum Nutzen.

Ein Detail, das regelmäßig überrascht: Eine Einschränkung schließt nicht aus, dass mehr da ist. Wer <T extends { kennung: string }> schreibt und im Rumpf ein Objekt mit genau diesem einen Feld zurückgibt, bekommt eine Meldung, denn T könnte auch die Felder name und ort enthalten, und die fehlen im Ergebnis. Der Compiler hat recht: Der Aufrufer erwartet seinen vollständigen Typ zurück. Baust du solche Ergebnisse im Rumpf zusammen, gehört meist ein Spread über das ursprüngliche Objekt hinein.

Standardwerte und wann sie wirklich helfen

Ein Typparameter darf einen Standard bekommen, geschrieben als <T = unknown>. Sinnvoll ist das überall dort, wo der übliche Fall immer gleich aussieht und nur wenige Aufrufer es genauer wissen wollen. Ein typischer Ort ist eine eigene Funktion für Netzabfragen: Die meisten Aufrufer interessiert der Aufbau der Antwort nicht, ein paar wollen ihn benennen. Wichtig ist die Wahl des Standards. unknown zwingt zu einer Prüfung, any tut es nicht. Ein Standard von any macht aus einer bequemen Funktion eine, die im ganzen Projekt die Prüfung ausschaltet, und zwar unauffällig, weil an den Aufrufstellen nichts Verdächtiges steht.

Nicht verwechseln solltest du den Standard mit der Einschränkung. <T extends Basis = Basis> hat beides: T muss zu Basis passen, und wenn nichts angegeben ist, ist es genau Basis. Wer nur den Standard setzt, erlaubt weiterhin jeden Typ. Und wer nur die Einschränkung setzt, bekommt ohne ableitbares Argument stillschweigend die Einschränkung selbst eingesetzt, also den weitesten erlaubten Typ, und an der Aufrufstelle sieht das niemand.

Wo Generics im Alltag ohnehin schon vorkommen

Viele Signaturen, mit denen du täglich arbeitest, sind generisch, ohne dass es auffällt. Array<T>, Promise<T>, Map<K, V> und Record<K, T> sind Beispiele, ebenso useState in React: Aus useState('') schließt der Compiler string, und aus useState<string[]>([]) machst du eine Liste, die sonst als never[] geraten worden wäre. Genau dieser zweite Fall ist der übliche Grund, warum man doch einmal spitze Klammern schreibt, und er ist berechtigt: Aus einem leeren Startwert lässt sich nichts ableiten.

Beim Lesen fremder Bibliotheken hilft dieselbe Prüfung wie beim eigenen Entwurf. Sieh nach, wo der Platzhalter zum zweiten Mal auftaucht. Steht er einmal im Argument und einmal im Rückgabewert, weißt du sofort, dass die Funktion deinen Typ durchreicht. Steht er in einer Einschränkung mit keyof, weißt du, dass es um Feldnamen geht. Damit ist die Hälfte der Signaturen, die auf den ersten Blick unlesbar wirken, in zehn Sekunden eingeordnet, ohne dass du die Dokumentation aufschlagen musst.