Czym jest wnioskowanie typów?

Wnioskowanie typów to funkcja języka TypeScript, która automatycznie określa typ zmiennej lub wyrażenia na podstawie jego wartości.

Na przykład po zapisaniu let age = 25; TypeScript wnioskuje, że age ma typ number.

Zalety wnioskowania typów

Wnioskowanie typów zmniejsza potrzebę jawnego deklarowania typów, dzięki czemu kod jest bardziej przejrzysty i łatwiejszy do napisania.

Pomaga również językowi TypeScript wykrywać błędy podczas tworzenia aplikacji, zapewniając bezpieczeństwo typów bez konieczności dodawania dodatkowych adnotacji.

Przykłady wnioskowania typów

Oto kilka przykładów: 

• let message = 'Hello'; — TypeScript wnioskuje, że typem jest string. 
• const isActive = true; — TypeScript wnioskuje, że typem jest boolean.

Wnioskowanie typów działa również dla wartości zwracanych przez funkcje:

function add(a: number, b: number) {
  return a + b;
}

Czym jest typowanie kontekstowe?

Typowanie kontekstowe zachodzi, gdy TypeScript przypisuje zmiennej typ na podstawie jej otoczenia.

Na przykład podczas korzystania z odbiornika zdarzeń TypeScript wnioskuje typ parametru event:

document.addEventListener('click', (event) => {
  console.log(event.clientX); // TypeScript knows event is a MouseEvent
});

document.addEventListener('click', (event) => {
  console.log(event.clientX);
});

Zalety typowania kontekstowego

Typowanie kontekstowe poprawia komfort pracy programisty, zmniejszając potrzebę ręcznego dodawania adnotacji typów.

Pomaga wykrywać błędy i zapewnia pracę z właściwymi typami w określonych kontekstach.

Typowe sytuacje, w których działa wnioskowanie typów

TypeScript wykonuje wnioskowanie w wielu sytuacjach, takich jak:

• Inicjalizacja zmiennej: let name = 'John';
• Wartości zwracane przez funkcję: function greet() { return 'Hello'; }
• Wartości tablicy: let numbers = [1, 2, 3]; (wnioskowane jako number[]).

Kiedy używać jawnych typów

Chociaż wnioskowanie typów w TypeScript jest potężne, w niektórych przypadkach lepiej zastosować jawne typy:

• Gdy typ jest niejednoznaczny lub złożony.
• W przypadku parametrów funkcji, aby zapewnić przejrzystość.
• W publicznych interfejsach API, gdzie jawne typy poprawiają czytelność i łatwość konserwacji.

Ćwiczenie: wnioskowanie typów i typowanie kontekstowe

Należy napisać funkcję, która przyjmuje dwie liczby i zwraca ich sumę. TypeScript wywnioskuje typy automatycznie!

Przykład:

function addNumbers(a, b) {
  return a + b;
}

function addNumbers(a, b) {
  return a + b;
}

Świetna praca!

Poznali Państwo sposób, w jaki TypeScript wykorzystuje wnioskowanie typów i typowanie kontekstowe, aby kod był wydajny i bezpieczny typowo. Warto nadal poznawać zaawansowane funkcje TypeScript, aby rozwijać swoje umiejętności programistyczne!