Spisu treści:
Definicja - Co oznacza wpisanie statyczne?
Typ statyczny jest charakterystyczną cechą języka programowania, w której typy zmiennych są jawnie deklarowane, a zatem określane w czasie kompilacji. Pozwala to kompilatorowi decydować, czy dana zmienna może wykonać wymagane od niej akcje, czy nie.
Wpisywanie statyczne wiąże typy ze zmiennymi, a nie z wartościami. Niektóre przykłady statycznie typowanych języków programowania obejmują:
- Haskell
- FORTRAN
- Jawa
- do
- DO#
- C ++
- Ada
- Jadeit
- Pascal
- ML
- Perl
- Scala
Techopedia wyjaśnia typowanie statyczne
Podczas pisania statycznego nie ma potrzeby wykonywania dodatkowych kontroli w czasie wykonywania, aby potwierdzić, że obiekt może wykonać pewne działania. Statycznie typowane języki programowania sprawdzają typ podczas kompilacji, a nie w czasie wykonywania, co sprawia, że programy napisane w tych językach działają znacznie szybciej.
Ponadto oprzyrządowanie i refaktoryzacja są lepsze w językach o typie statycznym, ponieważ narzędzia mogą wyszukiwać typy zmiennych podczas kodowania programu. Pomaga to natychmiast zrozumieć parametry danej funkcji, a także metody dostępne dla konkretnego obiektu. To znacznie ułatwia proces refaktoryzacji.
Z kilkoma wyjątkami, po refaktoryzacji metody lub obiektu, łatwo jest natychmiast zrozumieć, które inne kody zależą od niej. Jest to jednak kosztowne. Z kilkoma wyjątkami, statycznie wpisane języki wymagają dodatkowych adnotacji, aby powiadomić kompilator o zamierzonych celach autora.
Jeśli chodzi o strukturę obiektową, języki typowane statycznie są mniej elastyczne w porównaniu do ich dynamicznych odpowiedników. Nie można dodawać pól i metod do danego obiektu w czasie wykonywania. Może to być skomplikowane przy obsłudze mniej uporządkowanych danych; na przykład parsowanie JSON, XML lub zapytania do bazy danych prowadzi do niezbyt idealnych mapowań obiektów.
