Avancerad typförfining

Avancerad typavsmalning låter Er förfina komplexa typer under körning med hjälp av avancerade tekniker som type guards, kontrollflödesanalys och anpassade predikat.

Dessa verktyg gör Er TypeScript-kod säkrare och mer förutsägbar.

Vad är typavsmalning?

Typavsmalning är processen att förfina en bredare typ (till exempel string | number) till en mer specifik typ med hjälp av kontroller under körning.

Operatorn typeof kan användas för att avgränsa primitiva typer:

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

Operatorn instanceof kan användas för att avgränsa klassinstanser:

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!

Ni kan skapa anpassade type guard-funktioner för att avgränsa typer mer exakt:

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();

TypeScripts kontrollflödesanalys avgränsar automatiskt typer utifrån det logiska flödet i Er kod:

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

Avancerad typavsmalning förbättrar Er kod genom att:

• Minska antalet fel under körning.
• Göra koden säkrare och lättare att förstå.
• Ge exakt kontroll över typhanteringen.

Skapa en funktion som tar emot en parameter av typen string | number och loggar ett annat meddelande för varje typ. Använd typeof för att implementera logiken.

Grattis!

Ni har lärt Er att använda avancerade tekniker för typavsmalning i TypeScript för att förfina och hantera komplexa typer på ett säkert och effektivt sätt. Öva på dessa tekniker för att göra Er kod robustare och typsäkrare!