Typmanipulation
Erstellen von Typen aus Typen
Neue Typen können durch das Kombinieren, Manipulieren oder Transformieren vorhandener Typen erstellt werden.
Intersection Types (&):
Mit ihnen können Sie mehrere Typen zu einem einzigen Typ kombinieren:
type A = { foo: number };type B = { bar: string };type C = A & B; // Intersection of A and Bconst obj: C = { foo: 42, bar: 'hello' };Union Types (|):
Mit ihnen können Sie einen Typ definieren, der einem von mehreren Typen entsprechen kann:
type Result = string | number;const value1: Result = 'hello';const value2: Result = 42;Mapped Types:
Mit ihnen können Sie die Eigenschaften eines vorhandenen Typs transformieren, um einen neuen Typ zu erstellen:
type Mutable<T> = { readonly [P in keyof T]: T[P];};type Person = { name: string; age: number;};type ImmutablePerson = Mutable<Person>; // Properties become read-onlyConditional Types:
Mit ihnen können Sie Typen auf der Grundlage bestimmter Bedingungen erstellen:
type ExtractParam<T> = T extends (param: infer P) => any ? P : never;type MyFunction = (name: string) => number;type ParamType = ExtractParam<MyFunction>; // stringIndexed Access Types
In TypeScript können Sie mithilfe eines Indexes, Type[Key], auf die Typen von Eigenschaften innerhalb eines anderen Typs zugreifen und sie manipulieren.
type Person = { name: string; age: number;};
type AgeType = Person['age']; // numbertype MyTuple = [string, number, boolean];type MyType = MyTuple[2]; // booleanUtility Types
Zur Manipulation von Typen stehen mehrere integrierte Utility Types zur Verfügung. Nachfolgend finden Sie eine Liste der am häufigsten verwendeten:
Awaited<T>
Erstellt einen Typ, der Promise-Typen rekursiv entpackt.
type A = Awaited<Promise<string>>; // stringPartial<T>
Erstellt einen Typ, bei dem alle Eigenschaften von T optional sind.
type Person = { name: string; age: number;};
type A = Partial<Person>; // { name?: string | undefined; age?: number | undefined; }Required<T>
Erstellt einen Typ, bei dem alle Eigenschaften von T erforderlich sind.
type Person = { name?: string; age?: number;};
type A = Required<Person>; // { name: string; age: number; }Readonly<T>
Erstellt einen Typ, bei dem alle Eigenschaften von T schreibgeschützt sind.
type Person = { name: string; age: number;};
type A = Readonly<Person>;
const a: A = { name: 'Simon', age: 17 };a.name = 'John'; // InvalidRecord<K, T>
Erstellt einen Typ mit einer Menge von Eigenschaften K des Typs T.
type Product = { name: string; price: number;};
const products: Record<string, Product> = { apple: { name: 'Apple', price: 0.5 }, banana: { name: 'Banana', price: 0.25 },};
console.log(products.apple); // { name: 'Apple', price: 0.5 }Pick<T, K>
Erstellt einen Typ, indem die angegebenen Eigenschaften K aus T ausgewählt werden.
type Product = { name: string; price: number;};
type Price = Pick<Product, 'price'>; // { price: number; }Omit<T, K>
Erstellt einen Typ, indem die angegebenen Eigenschaften K aus T weggelassen werden.
type Product = { name: string; price: number;};
type Name = Omit<Product, 'price'>; // { name: string; }Exclude<T, U>
Erstellt einen Typ, indem alle Werte des Typs U aus T ausgeschlossen werden.
type Union = 'a' | 'b' | 'c';type MyType = Exclude<Union, 'a' | 'c'>; // bExtract<T, U>
Erstellt einen Typ, indem alle Werte des Typs U aus T extrahiert werden.
type Union = 'a' | 'b' | 'c';type MyType = Extract<Union, 'a' | 'c'>; // a | cNonNullable<T>
Erstellt einen Typ, indem null und undefined aus T ausgeschlossen werden.
type Union = 'a' | null | undefined | 'b';type MyType = NonNullable<Union>; // 'a' | 'b'Parameters<T>
Extrahiert die Parametertypen eines Funktionstyps T.
type Func = (a: string, b: number) => void;type MyType = Parameters<Func>; // [a: string, b: number]ConstructorParameters<T>
Extrahiert die Parametertypen eines Konstruktorfunktionstyps T.
class Person { constructor( public name: string, public age: number ) {}}type PersonConstructorParams = ConstructorParameters<typeof Person>; // [name: string, age: number]const params: PersonConstructorParams = ['John', 30];const person = new Person(...params);console.log(person); // Person { name: 'John', age: 30 }ReturnType<T>
Extrahiert den Rückgabetyp eines Funktionstyps T.
type Func = (name: string) => number;type MyType = ReturnType<Func>; // numberInstanceType<T>
Extrahiert den Instanztyp eines Klassentyps T.
class Person { name: string;
constructor(name: string) { this.name = name; }
sayHello() { console.log(`Hello, my name is ${this.name}!`); }}
type PersonInstance = InstanceType<typeof Person>;
const person: PersonInstance = new Person('John');
person.sayHello(); // Hello, my name is John!ThisParameterType<T>
Extrahiert den Typ des ‘this’-Parameters aus einem Funktionstyp T.
interface Person { name: string; greet(this: Person): void;}type PersonThisType = ThisParameterType<Person['greet']>; // PersonOmitThisParameter<T>
Entfernt den ‘this’-Parameter aus einem Funktionstyp T.
function capitalize(this: String) { return this[0].toUpperCase() + this.substring(1).toLowerCase();}
type CapitalizeType = OmitThisParameter<typeof capitalize>; // () => stringThisType<T>
Dient als Marker für einen kontextbezogenen this-Typ.
type Logger = { log: (error: string) => void;};
let helperFunctions: { [name: string]: Function } & ThisType<Logger> = { hello: function () { this.log('some error'); // Valid as "log" is a part of "this". this.update(); // Invalid },};Uppercase<T>
Wandelt den Namen des Eingabetyps T in Großbuchstaben um.
type MyType = Uppercase<'abc'>; // "ABC"Lowercase<T>
Wandelt den Namen des Eingabetyps T in Kleinbuchstaben um.
type MyType = Lowercase<'ABC'>; // "abc"Capitalize<T>
Schreibt den Namen des Eingabetyps T am Anfang groß.
type MyType = Capitalize<'abc'>; // "Abc"Uncapitalize<T>
Schreibt den Namen des Eingabetyps T am Anfang klein.
type MyType = Uncapitalize<'Abc'>; // "abc"NoInfer<T>
NoInfer ist ein Utility Type, der die automatische Typinferenz innerhalb des Gültigkeitsbereichs einer generischen Funktion verhindert.
Beispiel:
// Automatic inference of types within the scope of a generic function.function fn<T extends string>(x: T[], y: T) { return x.concat(y);}const r = fn(['a', 'b'], 'c'); // Type here is ("a" | "b" | "c")[]Mit NoInfer:
// Example function that uses NoInfer to prevent type inferencefunction fn2<T extends string>(x: T[], y: NoInfer<T>) { return x.concat(y);}
const r2 = fn2(['a', 'b'], 'c'); // Error: Type Argument of type '"c"' is not assignable to parameter of type '"a" | "b"'.