TypeScript: Typy any void i never

3.8+

0:00W tej lekcji omówimy sobie trzy pozostałe

0:02typy a konkretnie będą to any, voidy i never.

0:05Są one dość specyficzne i przede wszystkim nie możesz ich tak po prostu spotkać

0:09w JavaScripcie, więc właśnie z tego powodu zasługują na oddzielną lekcję.

0:13Pierwszy w kolejce jest typ any

0:16i oznacza on dosłownie, że zmienna może być dowolnego typu.

0:20I teraz ciekawe jest to, że jeżeli

0:21deklarujemy zmienną i nie wskażemy jej typu ani nie piszemy wartości, więc

0:26nie zainicjalizujemy jej na samym początku

0:28to taka zmienna przyjmie typ any.

0:31Na ten moment nie muszę tego robić, ale żeby wszystko było jasne dodam ten typ.

0:35Teraz w momencie gdy będę do tej zmiennej przypisywał nowe wartości,

0:39czyli teoretycznie mamy tutaj typ number,

0:41ale TS w żaden sposób nie informuje nas, że coś jest nie tak.

0:45Mało tego, pomimo tego, że teraz przypisaliśmy

0:47do niej wartość zmienna ta nadal posiada typ any.

0:51Wynika to z faktu, że w tym miejscu ten typ

0:53został już określony i wskazuje właśnie na any.

0:56Także w tej sytuacji nic nie stoi

0:58na przeszkodzie, abym do tej zmiennej przypisał też inne wartości np.

1:02tekst i wszystko dalej jest w porządku.

1:05Oczywiście w porządku tylko w kontekście

1:07tego, że TS nie wyrzuca nam żadnego błędu, ale jednocześnie też

1:12nie mamy tutaj żadnej korzyści wynikającej z określenia typu.

1:15Z tego też powodu rekomendowane jest to, aby unikać typu any tak często jak to możliwe,

1:21a najlepiej poza ściśle określonymi przypadkami w ogóle go nie stosować.

1:25Oczywiście ten typ świetnie się sprawdza w momencie gdy mamy jakąś aplikację, którą

1:30tłumaczymy z czystego JavaScriptu do TypeScriptu, bo wtedy ma miejsce sytuacja

1:34w której stopniowo zamieniamy nasz kod na TS. Więc wykorzystanie tutaj any sprawia,

1:39że jesteśmy w stanie z Type Scriptu wcześniej korzystać,

1:42bez konieczności przepisywania całej aplikacji.

1:44Poza tym mam tutaj prosty przykład

1:46pokazujący, że ten typ any w niektórych sytuacjach ma sens.

1:50Mam tutaj funkcję reverse, która odwraca string lub przekazaną tablicę.

1:54I ta funkcja nie dba o to jakiego typu dane będą znajdowały się w tej tablicy.

2:00Dlatego też typ any jest tutaj mile widziany.

2:02Oczywiście jeżeli masz taką możliwość to

2:05warto byłoby ten typ doprecyzować, ale w tej konkretnej sytuacji raczej jest to OK.

2:10Kolejnym typem, który jest odwrotnością any jest typ void i z nim akurat mogłeś

2:16spotkać się w innych językach programowania.

2:19Ale tak jak powiedziałem w Java Scripcie on po prostu nie występuje.

2:22Tak czy inaczej potrzebna będzie nam tutaj

2:24zmiana a następnie funkcja, do której tą zmienną będziemy przekazywać.

2:28I zadaniem tej funkcji jest, jak widzisz, wyświetlenie samego tekstu.

2:32Nie mamy tutaj potrzeby zwracać jakiejkolwiek wartości i w momencie gdy

2:36nie określę tutaj zwracanego przez nią typu, a na tym nie do końca nam zależy,

2:40ponieważ ja chcę mieć pewność, że żadna wartość nie zostanie tutaj zwrócona.

2:45Dlatego też precyzyjnie określam typ void oraz wrzucam tutaj console.log.

2:49Na tym etapie zapewne wiesz, że w momencie gdy nic nie zwracamy z funkcji tak naprawdę

2:54i tak zwraca ona undefined. I tutaj mamy tego potwierdzenie.

2:59Zatem w przypadku typu void możemy spodziewać się wartości.

3:02undefined lub null.

3:04Przy czym zwrócenie tutaj null zadziała tak długo,

3:06gdy w konfiguracji naszego TypeScriptu nie będziemy mieli opcji strickNullChecks.

3:11Tak czy inaczej widzisz, że typ void bywa w niektórych sytuacjach przydatny.

3:16Bo tak jak powiedziałem: w momencie gdybyśmy przypadkowo zwracali tutaj jakąś wartość

3:20to TypeScrip poinformuje nas o tym, że nie możemy tego zrobić.

3:24No i jak doskonale wiesz w niektórych

3:26miejscach chcemy dokładnie aby tak było.

3:28W kontekście typu void

3:30to już wszystko i teraz został nam ostatni typ, czyli typ never.

3:34I on akurat jest najrzadziej spotykany

3:37z tych wszystkich typów, które mamy do dyspozycji. Natomiast są dosłownie

3:41pojedyncze przypadki, w których możemy go wykorzystać.

3:44Pierwszym z nich są funkcje, których zadaniem jest wyrzucenie jakiegoś błędu.

3:48W tej sytuacji chcemy mieć absolutną

3:50pewność, że nic z tej funkcji nie zostanie zwrócone.

3:53No i tutaj faktycznie tak jest, ponieważ

3:56błąd nie zostanie zwrócony tylko wyrzucony.

3:59Kolejnym przykładem funkcji, w których typ never

4:01się sprawdza są funkcje, które z definicji nie powinny się nigdy zakończyć.

4:06Tego typu funkcje są bardzo rzadko

4:08wykorzystywane, ale jeżeli z jakiegoś powodu chcielibyśmy zrobić coś takiego

4:12to właśnie typ never jest tym, z którego powinniśmy skorzystać.

4:16Na koniec dnia jednak mi jeszcze do tej pory nie zdarzyło się z niego korzystać, więc

4:20zapamiętaj tylko tyle, że typ never oznacza że wartość nigdy nie występuje.

4:25Jak widzisz w tych konkretnych przypadkach ta definicja jest wypełniona.

4:29Na ten moment jeżeli chodzi o funkcje to już wszystko.

4:32A ja zapraszam Cię do kolejnej lekcji.