TypeScript: Inferencja

3.8+

0:00Jak dotąd za każdym razem określaliśmy samodzielnie typy danych.

0:04Warto jednak wiedzieć o sytuacjach, w których nie jest to wymagane, ponieważ

0:08TypeScript jest w stanie samodzielnie domyślić się typu.

0:11Taki proces nazywamy inferencją i zobaczmy teraz kiedy on ma miejsce.

0:16Zacznijmy od tego, że to co do tej pory robiliśmy to tak zwane explicit typing,

0:21czyli typowanie dosłowne. W przypadku, tak jak tutaj, deklarowania zmiennej

0:26ma to ogromny sens, ponieważ nie znamy

0:28jeszcze jej wartości, więc informujemy TypeScript, że wartością tej zmiennej będzie tekst.

0:33Ale już w momencie definiowania zmiennej sytuacja się nieco zmienia.

0:37No bo jeżeli mamy tutaj informację o przypisaniu do tej zmiennej liczby to nie ma

0:41żadnego sensu dodatkowe informowanie TypeScriptu,

0:45że mówimy tutaj o typie number.

0:47Nawet mamy tego dowód, ponieważ zwrócił uwagę, że TypeScript od razu określił typ.

0:52W tym momencie jedyny problem jaki do nas ma

0:54polega na tym, że nie zmieniamy wartości tej zmiennej, więc powinniśmy użyć const.

0:59Oczywiście jest to prawda, ale spróbujmy teraz zmienić tą wartość na string.

1:05No i TypeScript,

1:06pomimo tego że nie określiliśmy dla niego typu informuje nas o tym,

1:10że próbujemy zmienić typ zmiennej, który został już określony.

1:14Więc jak widzisz działa to tutaj dokładnie tak samo, z tą

1:18różnicą jednak że nie musimy dodawać nowej składni.

1:21To czy lepiej zapisywać typy za każdym razem czy też nie jest kwestią dyskusyjną.

1:26W mojej opinii, zawsze wtedy gdy nie musimy tego robić, raczej nie powinniśmy.

1:31W końcu i tak będziemy mieć informację o tym, że próbujemy zmienić typ zmiennej.

1:36No ale dobrze - to był akurat prosty przykład.

1:39Spójrzmy teraz na kolejny.

1:41Konkretnie mamy tutaj tablicę zawierającą

1:43liczby. I faktycznie TypeScript ponownie poprawnie określił typ.

1:48Ale co się stanie w momencie gdy w takiej tablicy znajdą się dane innego typu?

1:52Okazuje się, że również w takiej sytuacji TypeScript świetnie sobie radzi.

1:57Jak widzisz wykorzystał tutaj union type do tego, aby określić zawartość tablicy.

2:02Teraz oczywiście gdybyśmy chcieli włożyć do niej dane innego typu otrzymamy błąd.

2:07No i to akurat jest jak najbardziej zrozumiałe.

2:10Ale już to, że TypeScript jest w stanie

2:13tak sprytnie domyślać się typów oczywistym już nie jest.

2:16Warto jednak o tym pamiętać.

2:19Następną sytuacją, w której TypeScript domyśla się typu są funkcje.

2:23Konkretnie chodzi o sytuację, w której do funkcji przekazujemy jakiś określony typ.

2:28To jeżeli zwrócimy wynik jakiegoś

2:30działania, logiczne jest że zwracamy tutaj typ number. I to dokładnie sygnalizuje nam

2:36tutaj TypeScript. Jeżeli chodzi o inferencję typów

2:39interesujące jest również typowanie kontekstowe.

2:42Konkretnie Spójrzmy teraz na taką sytuację.

2:46Nasłuchujemy tutaj zdarzenia kliknięcia, na które chcemy odpowiednio reagować.

2:51W momencie gdy definiuję tutaj colba, który będziemy uruchamiać

2:55TypeScript od razu domyśla się, że mamy tutaj do czynienia z MouseEvent.

2:58A skoro ma taką informację jest w stanie pomagać nam z odczytywaniem właściwości.

3:05Nie muszę chyba podkreślać, że w praktyce jest to niesamowicie przydatne.

3:09W ten sposób kończymy temat inferencji typów A ja zapraszam Cię do kolejnej lekcji.