Tipska sigurnost - Povijest promjena

Suradnik10 u (test) 05:48, 9. travanj 2026.

2026-04-09T05:48:35Z

←Starija inačica		Inačica od 9. travanj 2026. u 05:48
Redak 4:		Redak 4:

	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.		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.		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. Dostupno po licenciji: [https://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International] {{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==

Suradnik10 u (test) 05:43, 9. travanj 2026.

2026-04-09T05:43:28Z

←Starija inačica		Inačica od 9. travanj 2026. u 05:43
Redak 1:		Redak 1:
	'''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.		'''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.

			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 [[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.		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.

Suradnik10 u (test) 05:41, 9. travanj 2026.

2026-04-09T05:41:06Z

←Starija inačica		Inačica od 9. travanj 2026. u 05:41
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]]

Suradnik10: 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...«.

2026-04-09T05:12:59Z

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...«.

Nova stranica

'''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.

[[Kategorija:Programsko inženjerstvo]]