Einführung in die erweiterte Typverengung

Die erweiterte Typverengung ermöglicht es Ihnen, komplexe Typen zur Laufzeit mithilfe fortgeschrittener Techniken wie Type Guards, Kontrollflussanalyse und benutzerdefinierten Prädikaten zu verfeinern.

Diese Werkzeuge machen Ihren TypeScript-Code sicherer und vorhersehbarer.

Was ist Typverengung?

Typverengung bezeichnet den Vorgang, einen allgemeineren Typ (z. B. string | number) mithilfe von Laufzeitprüfungen auf einen spezifischeren Typ zu verfeinern.

typeof zur Typverengung verwenden

Mit dem Operator typeof können Sie primitive Typen verengen:

function printValue(value: string | number): void {
  if (typeof value === 'string') {
    console.log(`String: ${value}`);
  } else {
    console.log(`Number: ${value}`);
  }
}

printValue('Hello'); // String: Hello
printValue(42); // Number: 42

instanceof zur Typverengung verwenden

Mit dem Operator instanceof können Sie Klasseninstanzen verengen:

class Dog {
  bark() {
    console.log('Woof!');
  }
}

class Cat {
  meow() {
    console.log('Meow!');
  }
}

function makeSound(animal: Dog | Cat): void {
  if (animal instanceof Dog) {
    animal.bark();
  } else {
    animal.meow();
  }
}

makeSound(new Dog()); // Woof!
makeSound(new Cat()); // Meow!

Benutzerdefinierte Type Guards verwenden

Sie können benutzerdefinierte Type Guards erstellen, um Typen präziser zu verengen:

type Fish = { swim: () => void };
type Bird = { fly: () => void };

declare const animal: Fish | Bird;

function isFish(animal: Fish | Bird): animal is Fish {
  return (animal as Fish).swim !== undefined;
}

if (isFish(animal)) {
  animal.swim();
} else {
  animal.fly();

Kontrollflussanalyse

Die Kontrollflussanalyse von TypeScript verengt Typen automatisch anhand des logischen Ablaufs Ihres Codes:

function getLength(value: string | string[]): number {
  if (Array.isArray(value)) {
    return value.length;
  } else {
    return value.length;
  }
}

console.log(getLength('Hello')); // 5
console.log(getLength(['a', 'b', 'c'])); // 3

Vorteile der erweiterten Typverengung

Die erweiterte Typverengung verbessert Ihren Code durch:

• Die Verringerung von Laufzeitfehlern.
• Sichereren und leichter verständlichen Code.
• Präzise Kontrolle über die Typbehandlung.

Übungsaufgabe

Erstellen Sie eine Funktion, die einen Parameter vom Typ string | number entgegennimmt und für jeden Typ eine andere Nachricht protokolliert. Verwenden Sie typeof, um die Logik zu implementieren.

Herzlichen Glückwunsch!

Sie haben gelernt, wie Sie fortgeschrittene Techniken zur Typverengung in TypeScript verwenden, um komplexe Typen sicher und effektiv zu verfeinern und zu behandeln. Üben Sie diese Techniken, um Ihren Code robuster und typsicherer zu machen!