Tipska sigurnost: razlika između inačica
Stvorena nova stranica sa sadržajem: »'''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. Kategorija:Programsko...«. |
Nema sažetka uređivanja |
||
| Redak 1: | Redak 1: | ||
'''Tipska sigurnost''' (eng. ''type safety'') je pojam iz računalnog [[programiranje|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. | '''Tipska sigurnost''' (eng. ''type safety'') je pojam iz računalnog [[programiranje|programiranja]]. Odnosi se na sposobnost [[programski jezik|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. | ||
Primjerice, u [[Java (programski jezik)|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 [[parametrizacija|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.<ref>[https://www.fer.unizg.hr/_download/repository/08-Generics.pdf '' 8: Generics. Boxing i unboxing'']. str. 15.-16. Pristupljeno 9. travnja 2026. {{pp|Cc-by-nc-sa-4.0}}</ref> Uporabom [[generik]]a (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== | |||
{{izvori}} | |||
[[Kategorija:Programsko inženjerstvo]] | [[Kategorija:Programsko inženjerstvo]] | ||
Inačica od 9. travanj 2026. u 05:41
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.
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. {{Cc-by-nc-sa-4.0}}