Generici

Question 1

Uvod

Answer 1

Uopstavanje apstrakcija->parametrizovani tipovi i postupci
Slicnost sa C++ genericima samo namena
U Javi: -nezavisno prevodjenje
- samo jedan tip bez obzira na broj konkretizacija
- parametrizacija primitivnim tipom nije moguca

Question 2

Priroda generika

Answer 2

Kod generika se prevodi nezavisno, samo jedna klasa bez obzira na broj poziva generika, konkretizovane klase su u stvari ista klasa

Question 3

Provera i brisanje tipa

Answer 3

Prevodila ubacuje proveru tipa, formalni parametri generickog tipa u celom telu se zamenjuju sa object, vrsi se konverzija u ciljni tip ali je sada bezbedna, u bytecode samo jedan tip za sve pozive generika- raw

Question 4

Definisanje genericke klase

Answer 4

Genericka klasa moze biti parametrizovana jednim ili pomocu vise tipova koji se pojavljuju kao formalni argumenti generika ciji je doseg sve do kraja klase.
Oni se mogu pojavit u deklaraciji polja, kao povratni tip metoda, kao parametar metoda ili konstruktora, u deklaraciji lok. promenljive, u deklaraciji ugnezdjenog tipa.

Question 5

Ogranicenja u definicijama

Answer 5

Formalni parametar se ne moze koristiti kao tip statickog polja, povratna vrednost ili param staticke metode, tip lok. prom u stat metodi, u statickim inicijalizatorskim blokovima-razlog:samo jedna klasa(sirovi)
Takodje, statickom clanu klase se ne moze pristupati preko parametrizovanog imena

Question 6

Koriscenje generika

Answer 6

Konkretizovani tip ili poziv generika=formalni parametri zamenjeni stvarnim argumentima
Stvarni argumenti mogu biti klase, interfejsi i nizovi(cak i sa elem prim tipa) ali ne i sami primitivni tipovi

Question 7

Zakljucivanje o tipu

Answer 7

Od Jave 7 u pozivu konstruktora se mogu izostaviti argumenti tipa, prevodilac zakljucuje automatski na osnovu izraza sa leve strane =

Question 8

Generici i nizovi

Answer 8

Argument generika moze biti niz
1. referenci na objekte
2.primitivnog tipa
Ne moze se kreirati niz objekata konkretne genericke klase(moze samo sa object ali nebezbedno)

Question 9

Generici, izvodjenje u ugnezdjenje

Answer 9

Genericka klasa moze biti izvedena iz
1. negenericke
2. konkretizacije generickog tipa
3. sirovog tipa
Genericka klasa ne moze biti podklasa Throwable
Kod udnezdjenih tipova i spoljasnji i udnezdjeni mogu biti genericki ili ne

Question 10

Ogranicenje parametara

Answer 10

Parametar generika se moze ograniciti sa gornje strane
Stvarni parametar T mora biti podtipa ili tipa svih navedenih tipova