In TypeScript, wie kann ich sagen, das Type System "Ich weiß, dass in der Theorie dieser Wert kann diese mehrere Typen haben, aber in der Praxis weiß ich, es wird nur diese haben"
TypeScript erlaubt die Verwendung von Unionstypen, die auf mehreren vorhandenen Typen basieren (genannte Member-Typen). Beispielsweise könnte eine Funktion, die mit Strings oder Zahlen arbeitet, als ```FunktionsdruckId(id: number ]```` definiert werden. Ein Wert entspricht einem Unionstyp, wenn er mit einem der Mitglieder des Unionstyps übereinstimmt. Im gegebenen Beispiel kann der erste Parameter zu `printId` (d.h. `id`) entweder `Nummer` oder `String` sein. TypeScript erlaubt Operationen nur auf einem Wert eines Unionstyps unter zwei Bedingungen. (1) Wenn er für jedes Mitglied der Union gültig ist, ODER (2) Wenn Sie einen Code schreiben, der TypeScript erlaubt, den bestimmten Typ abzuleiten. Zum Beispiel, Code in einem bedingten wie ``, wenn (Typeof id === string") {}```` kann jede Operation ausführen, die auf Strings gültig ist. Auf diese Weise können Sie Code verwenden, um TypeScript zu sagen, dass bestimmte Code nur gilt, wenn der Wert hat.