Avanceret typeindsnævring

Avanceret typeindsnævring giver dig mulighed for at forfine komplekse typer under kørsel ved hjælp af avancerede teknikker som type guards, kontrolflowanalyse og tilpassede prædikater.

Disse værktøjer gør din TypeScript-kode sikrere og mere forudsigelig.

Typeindsnævring er processen med at forfine en bredere type (f.eks. string | number) til en mere specifik type ved hjælp af kontroller under kørsel.

Operatoren typeof kan bruges til at indsnævre primitive 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

Operatoren instanceof kan bruges til at indsnævre klasseinstanser:

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!

Du kan oprette tilpassede type guard-funktioner for at indsnævre typer mere præcist:

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 kontrolflowanalyse indsnævrer automatisk typer baseret på den logiske strøm i din kode:

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

Avanceret typeindsnævring forbedrer din kode ved at:

• Reducere fejl under kørsel.
• Gøre koden sikrere og lettere at forstå.
• Give præcis kontrol over håndteringen af typer.

Opret en funktion, der tager en parameter af typen string | number og skriver en forskellig meddelelse for hver type. Brug typeof til at implementere logikken.

Du har lært at bruge avancerede typeindsnævringsteknikker i TypeScript til at forfine og håndtere komplekse typer sikkert og effektivt. Øv dig i disse teknikker for at gøre din kode mere robust og typesikker!