Edistynyt tyyppien rajaus

Edistyneen tyyppien tarkennuksen avulla voitte täsmentää monimutkaisia tyyppejä ajonaikaisesti edistyneillä tekniikoilla, kuten type guard -tarkistuksilla, ohjausvuon analyysillä ja omilla predikaateilla.

Näiden työkalujen avulla TypeScript-koodinne on turvallisempaa ja ennakoitavampaa.

Tyyppien tarkennus tarkoittaa laajemman tyypin (esimerkiksi string | number) muuntamista tarkemmaksi tyypiksi ajonaikaisten tarkistusten avulla.

typeof-operaattoria voidaan käyttää primitiivityyppien tarkentamiseen:

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-operaattoria voidaan käyttää luokkainstanssien tyypin tarkentamiseen:

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!

Voitte luoda omia type guard -funktioita tyyppien tarkempaa tarkentamista varten:

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

TypeScriptin ohjausvuon analyysi tarkentaa tyyppejä automaattisesti koodinne loogisen etenemisen perusteella:

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

Edistynyt tyyppien tarkennus parantaa koodianne seuraavasti:

• Vähentämällä ajonaikaisia virheitä.
• Tekemällä koodista turvallisempaa ja helpommin ymmärrettävää.
• Tarjoamalla tarkat mahdollisuudet tyyppien käsittelyn hallintaan.

Luokaa funktio, joka saa parametrina tyypin string | number ja kirjaa eri viestin kummallekin tyypille. Käyttäkää logiikan toteuttamiseen typeof-operaattoria.

Onnittelut!

Olette oppineet käyttämään TypeScriptin edistyneitä tyyppien tarkennustekniikoita monimutkaisten tyyppien turvalliseen ja tehokkaaseen tarkentamiseen ja käsittelyyn. Harjoitelkaa näitä tekniikoita, jotta koodinne olisi vankempaa ja tyyppiturvallisempaa!