Tipska sigurnost
Tipska sigurnost (eng. type safety) je pojam iz računalnog programiranja. Odnosi se na sposobnost programskog jezika spriječiti pogrješke pri radu s različitim vrstama podataka (poput pokušaja zbrajanja broja i teksta). Predstavlja ključan koncept koji osigurava programu raditi s ispravnim vrstama podataka tijekom prevođenja ili izvršavanja. Tako postoji snažna i slaba tipska sigurnost. Jezik sa strogom tipskom sigurnošću neće dopustiti operacije koje nisu definirane za određeni tip, čime se smanjuje broj grešaka u kodu. Tipska sigurnost često se provjerava prilikom prevođenja.
Jezik sa strogom tipskom sigurnošću neće dopustiti operacije koje nisu definirane za određeni tip, čime se smanjuje broj grešaka u kodu. Time je kod stabilniji i lakši za održavanje jer se pogrješke otkrije rano. Kod je uz to sigurniji zbog smanjena rizika od nepredviđena ponašanja. Neki jezici se služe tipskom sigurnošću da bi postigli bolje performanse.
Primjerice, u Javi prevoditelj radi osiguranja tipske sigurnosti dodaje potrebna ukalupljivanja i možebitne potrebne dodatne metode u slučaju nasljeđivanja parametriziranih klasa. Java pak pri parametrizaciji briše tipove (eng. type erasure) čime se gubit tipska sigurnost, što čini kod izloženom zloporabi uporabom tzv. raw tipova. Prevoditelj koda dojavljuje upozorenje ali sve isto prevodi kod. Zbog toga se takav kod u Javi ne preporučuje.[1] Uporabom generika (Java) omogućuje se stvaranje ponovno iskoristivog koda uz zadržavanje tipske sigurnosti. Kada se generičkoj strukturi dodijeli određeni tip, tipska sigurnost je očuvana.
Izvori
- ↑ 8: Generics. Boxing i unboxing. str. 15.-16. Pristupljeno 9. travnja 2026. Dostupno po licenciji: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International {{Cc-by-nc-sa-4.0}}