public void printPair( Par<String, Long><\/span> <\/b> par) {<\/tt>
\n \u00a0 System.out.println(\"(\"+pair.getFirst()+\",\"+pair.getSecond()+\")\");<\/tt>
\n }<\/tt> Par<String, Long><\/span> <\/b> granica = novo Par<String, Long><\/span> <\/b> (\"maksimum\", 1024L);<\/tt>
\n printPair(ograni\u010denje);<\/tt><\/p><\/blockquote>\nPrimjer (parametriziranog tipa zamjenskog znaka):<\/p>\n
\n public void printPair( Par<?,?><\/span> <\/b> par) {<\/tt>
\n \u00a0 System.out.println(\"(\"+pair.getFirst()+\",\"+pair.getSecond()+\")\");<\/tt>
\n }<\/tt> Par<?,?><\/span> <\/b> granica = novo Par<String, Long><\/span> <\/b> (\"maksimum\", 1024L);<\/tt>
\n printPair(ograni\u010denje);<\/tt><\/p><\/blockquote>\n<\/blockquote>\nSve instance generi\u010dkog tipa dijele isti prikaz tipa vremena izvo\u0111enja, naime prikaz sirovog tipa. Na primjer, instancije generi\u010dkog tipa Popis<\/tt> , kao \u0161to je Popis<Datum><\/tt> , Popis<Niz><\/tt> , Popis<Long><\/tt> , itd. imaju razli\u010dite stati\u010dke tipove u vrijeme prevo\u0111enja, ali isti dinami\u010dki tip Popis <\/tt> u vrijeme izvo\u0111enja.<\/p>\n
Gluma\u010dka postava sastoji se od dva dijela:<\/p>\n
\n- stati\u010dka provjera tipa koju provodi kompilator u vrijeme kompajliranja i<\/li>\n
- dinami\u010dka provjera tipa koju izvodi virtualni stroj tijekom izvo\u0111enja.<\/li>\n<\/ul>\n
Stati\u010dki dio razvrstava besmislene glumce koji ne mogu uspjeti, poput gluma\u010dke postave iz Niz<\/tt> da Datum<\/tt> ili od Popis<Niz><\/tt> da Popis<Datum><\/tt> .<\/p>\n
Dinami\u010dki dio koristi informacije o vrsti vremena izvo\u0111enja i provodi provjeru tipa za vrijeme izvo\u0111enja.\u00a0 Podi\u017ee a ClassCastException<\/tt> ako dinami\u010dki tip objekta nije ciljni tip (ili podtip ciljnog tipa) cast. Primjeri odljeva s dinami\u010dnim dijelom su odljev iz Objekt<\/tt> da Niz<\/tt> ili od Objekt<\/tt> da Popis<Niz><\/tt> .\u00a0 To su tzv. downcast-ovi, od nadtipa prema dolje prema podtipu.<\/p>\n
Primjeri konkretnih parametriziranih tipova su Popis<Niz><\/tt> , Map<String,Date><\/tt> , ali ne Popis<? produ\u017eava Broj><\/tt> ili Map<String,?><\/tt> .<\/p>\n
Ponekad se o\u010dekuje da a Popis<Objekt><\/tt> bio bi supertip a Popis<Niz><\/tt> , jer Objekt<\/tt> je supertip od Niz<\/tt> .\u00a0 Ovo o\u010dekivanje proizlazi iz \u010dinjenice da takva vrsta odnosa postoji za nizove:\u00a0 Objekt[]<\/tt> je supertip od Niz[]<\/tt> , jer Objekt<\/tt> je supertip od Niz<\/tt> . (Ovaj tip odnosa je poznat kao kovarijanca<\/i> .) Odnos super-podtipa tipova komponenti prote\u017ee se u odgovaraju\u0107e tipove polja. Ne postoji takav odnos tipa za instancije generi\u010dkih tipova. (Parametrizirani tipovi su ne<\/i> kovarijanta.)<\/p>\n
Nedostatak super-podtipskog odnosa me\u0111u instancacijama istog generi\u010dkog tipa ima razli\u010dite posljedice.\u00a0 Evo primjera.<\/p>\n
Primjer:<\/p>\n
void printAll(ArrayList<Object> c) {<\/tt>
\n \u00a0 za (Objekt o : c)\u00a0<\/tt>
\n \u00a0\u00a0\u00a0 System.out.println(o);<\/tt>
\n }<\/tt> ArrayList<String> popis = novi ArrayList<String>();<\/tt>
\n ...ispunite popis...<\/tt>
\n ispisSve(popis);\u00a0\u00a0 \/\/ pogre\u0161ka<\/tt><\/p>\n
A ArrayList<String><\/tt> objekt se ne mo\u017ee proslijediti kao argument metodi koja tra\u017ei a ArrayList<Object><\/tt> jer su dva tipa instancije istog generi\u010dkog tipa, ali za druga\u010diji<\/i> tip argumente, i iz tog razloga oni nisu me\u0111usobno kompatibilni.<\/p>\n
Konkretni parametrizirani tipovi su konkretne instancije generi\u010dkog tipa.\u00a0 Oni su gotovo kao tipovi; postoji samo nekoliko ograni\u010denja.\u00a0 NE mogu se koristiti u sljede\u0107e svrhe:<\/p>\n
\n- za stvaranje nizova<\/li>\n
- u rukovanju iznimkama<\/li>\n
- u klasnom literalu<\/li>\n
- u an instanceof<\/tt> izraz<\/li>\n<\/ul>\n
Nizovi koji sadr\u017ee elemente \u010diji je tip konkretan parametrizirani tip su nedopu\u0161teni.<\/p>\n
Primjer (nedopu\u0161tenog tipa polja):<\/p>\n
static void test() {<\/tt>
\n \u00a0 Par<Integer,Integer>[]<\/span> <\/b> intPairArr = novo Par<Cijeli broj,Cijeli broj>[10]<\/span> <\/b> ; \/\/ pogre\u0161ka<\/span> <\/b> <\/tt>
\n \u00a0 dodajElemente(intPairArr);\u00a0<\/tt>
\n \u00a0 Pair<Integer,Integer> pair = intPairArr[1];<\/tt>
\n \u00a0 Cijeli broj i = pair.getFirst();<\/tt>
\n \u00a0 pair.setSecond(i);<\/tt>
\n }<\/tt>
\n static void addElements( Objekt[]<\/b> objArr) {<\/tt>
\n \u00a0 objArr[0] = novi Par<Integer,Integer>(0,0);<\/tt>
\n \u00a0 objArr[1] = novi Pair<String,String>(\"\",\"\");\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/ trebao bi uspjeti s ArrayStoreException<\/tt>
\n }<\/tt><\/p>\nKompajler zabranjuje stvaranje nizova \u010diji je tip komponente konkretan parametrizirani tip, kao \u0161to je Par<Cijeli broj,Cijeli broj><\/tt> u na\u0161em primjeru.\u00a0 U prethodnom unosu raspravljali smo o tome za\u0161to je razumno da kompilator kvalificira a Par<Integer,Integer>[]<\/tt> <\/span> kao nezakonito.\u00a0 Klju\u010dni problem je taj \u0161to kompajler i runtime sustav moraju osigurati da niz bude a homogena<\/i> niz elemenata iste vrste.\u00a0 Jedna od tipskih provjera, naime array-store-check koju izvodi virtualni stroj tijekom izvo\u0111enja, ne uspijeva otkriti uvredljivo umetanje vanzemaljskog elementa. U primjeru drugo umetanje u addElements<\/tt> metoda bi trebala biti neuspje\u0161na, jer su dodavali par nizova nizu integralnih vrijednosti, ali ne pada na o\u010dekivani na\u010din. O razlozima je bilo rije\u010di u prethodnom unosu.<\/p>\nAko ne mo\u017eemo koristiti nizove koji sadr\u017ee elemente \u010diji je tip konkretan parametrizirani tip, \u0161to \u0107emo koristiti kao zaobilazno rje\u0161enje?<\/p>\n
Razmotrimo 3 mogu\u0107a rje\u0161enja:<\/p>\n
\n- niz sirovih vrsta<\/li>\n
- polje neograni\u010denog zamjenskog znaka parametriziranog tipa<\/li>\n
- zbirka umjesto niza<\/li>\n<\/ul>\n
Dok su nizovi konkretnih parametriziranih tipova nezakoniti, zbirke konkretnih parametriziranih tipova su dopu\u0161tene.<\/p>\n
Parametrizirani tip sa zamjenskim znakom je instancacija generi\u010dkog tipa gdje je barem jedan argument tipa zamjenski znak.\u00a0 Primjeri parametariziranih tipova sa zamjenskim znakovima su Kolekcija<?><\/tt> , Popis<? produ\u017eava Broj><\/tt> , Usporednik<? super String><\/tt> i Par<String,?><\/tt> . Parametrizirani tip sa zamjenskim znakovima ozna\u010dava obitelj tipova koja sadr\u017ei konkretne instancije generi\u010dkog tipa.\u00a0 Vrsta zamjenskog znaka koja se koristi odre\u0111uje koji konkretni parametrizirani tipovi pripadaju obitelji.\u00a0 Na primjer, tip s parametrima zamjenskih znakova Kolekcija<?><\/tt> ozna\u010dava obitelj svih instancijacija Kolekcija<\/tt> su\u010delje bez obzira na argument tipa.\u00a0 Parametrizirani tip zamjenskog znaka Popis<? produ\u017eava Broj><\/tt> ozna\u010dava obitelj svih tipova popisa gdje je tip elementa podtip\u00a0 Broj<\/tt> .\u00a0 Parametrizirani tip zamjenskog znaka Usporednik<? super String><\/tt> je obitelj svih instancijacija Usporednik<\/tt> su\u010delje za tipove argumenata tipa koji su supertipovi Niz.<\/tt><\/p>\n
Parametrizirani tip sa zamjenskim znakovima nije tip u uobi\u010dajenom smislu (razli\u010dit od neparametrizirane klase\/su\u010delja ili sirovog tipa).<\/em> <\/strong><\/p>\nParametrizirani tipovi zamjenskih znakova mogu se koristiti za tipkanje (poput neparametriziranih klasa i su\u010delja):<\/p>\n
\n- kao argument i povratne vrste metoda<\/li>\n
- kao tip polja ili lokalne referentne varijable<\/li>\n
- kao tip komponente arrayas tipa argument drugih parametriziranih tipova<\/li>\n
- kao ciljni tip u castovima<\/li>\n<\/ul>\n
Ne samo da tipovi mogu biti generi\u010dki, ve\u0107 i metode mogu biti generi\u010dke. Stati\u010dke i nestati\u010dke metode kao i konstruktori mogu imati parametre tipa. Sintaksa za deklaraciju parametara formalnog tipa sli\u010dna je sintaksi za generi\u010dke tipove. Odjeljak parametra tipa ome\u0111en je uglatim zagradama i pojavljuje se prije tipa povrata metode. Njegova sintaksa i zna\u010denje identi\u010dni su popisu parametara tipa generi\u010dkog tipa.<\/p>\n
Evo primjera generi\u010dkog lijeka max<\/tt> metoda koja izra\u010dunava najve\u0107u vrijednost u kolekciji elemenata nepoznatog tipa A<\/tt> .<\/p>\n
Primjer (generi\u010dke metode):<\/p>\n
klase Zbirke {<\/tt>
\n \u00a0 javna stati\u010dnost <A pro\u0161iruje Comparable<A>> A<\/span> <\/b> max(Zbirka< A<\/span> <\/b> > xs) {<\/tt>
\n \u00a0\u00a0\u00a0 Iterator< A<\/span> <\/b> > xi = xs.iterator();<\/tt>
\n \u00a0\u00a0\u00a0 A<\/span> <\/b> w = xi.sljede\u0107i();<\/tt>
\n \u00a0\u00a0\u00a0 dok (xi.hasNext()) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0 A<\/span> <\/b> x = xi.sljedeci();<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0 if (w.compareTo(x) < 0) w = x;<\/tt>
\n \u00a0\u00a0\u00a0 }<\/tt>
\n \u00a0\u00a0\u00a0 povratak w;<\/tt>
\n \u00a0 }<\/tt>
\n }\u00a0<\/tt><\/p><\/blockquote>\nThe max<\/tt> metoda ima jedan parametar tipa, named A<\/tt> .\u00a0 To je dr\u017ea\u010d mjesta za tip elementa zbirke na kojem metoda radi. Parametar tipa ima ograni\u010denje; to mora biti tip koji je podtip Usporedivo<A><\/tt><\/p>\n
Primjer (istog generi\u010dkog tipa, ovaj put s<\/i> granice):<\/p>\n javno su\u010delje Comparable<T> {<\/tt>
\n \u00a0 public int compareTo(T arg);<\/tt>
\n }<\/tt>
\n javna klasa TreeMap<Key prote\u017ee Comparable<Key><\/span> <\/b> ,Podaci>{<\/tt>
\n \u00a0 privatna stati\u010dka klasa Entry<K,V> {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 K klju\u010d;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 V vrijednost;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Unos<K,V> lijevo = null;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Unos<K,V> desno = null;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Unos<K,V> roditelj;<\/tt>
\n \u00a0 }<\/tt>
\n \u00a0 privatni prijelazni Entry<Key,Data> root = null;<\/tt>
\n \u00a0 ...<\/tt>
\n \u00a0 private Entry<Key,Data> getEntry(klju\u010d klju\u010da) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Entry<Key,Data> p = korijen;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Klju\u010d k = klju\u010d;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 dok (p != null) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 int cmp = k. usporedi s(p.klju\u010d)<\/span> <\/b> ;\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 ako (cmp == 0)<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 povratak p;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 ina\u010de ako (cmp < 0)<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 p = p.lijevo;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 drugo\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 p = p. desno;\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 }<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 vratiti null;<\/tt>
\n \u00a0 }<\/tt>
\n \u00a0 public boolean containsKey(klju\u010d klju\u010da) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 return getEntry(key) != null;<\/tt>
\n \u00a0 }<\/tt>
\n \u00a0 ...<\/tt>
\n }<\/tt><\/p><\/blockquote>\nU gornjem primjeru, parametar tipa Klju\u010d<\/tt> ima obvezu Usporedivo<Key><\/tt> .\u00a0 Specifikacija granice ima dva u\u010dinka:<\/p>\n\n- Omogu\u0107uje pristup metodama koje veza specificira<\/i> .\u00a0 U primjeru vezani Usporedivo<Key> <\/tt> daje pristup usporediti<\/tt> metoda koju \u017eelimo pozvati u implementaciji na\u0161eg TreeMap<\/tt> razreda.<\/li>\n<\/ul>\n
\n- Samo tipovi “unutar granica” mogu se koristiti za instanciranje generi\u010dkog tipa.<\/i> \u00a0 U primjeru, parametrizirani tip kao \u0161to je TreeMap<Broj, Niz><\/tt> bio bi odbijen, jer tip Broj<\/tt> nije podvrsta Usporediv<Broj><\/tt> .\u00a0 Parametrizirani tip poput TreeMap<String,String><\/tt> bi se prihvatilo, jer je tip String unutar granica, tj. podtip je Usporedivo<String><\/tt> .<\/li>\n<\/ul>\n
Sve klase, su\u010delja i enum tipovi mogu se koristiti kao vezani za parametar tipa, uklju\u010duju\u0107i ugnije\u017e\u0111ene i unutarnje tipove.\u00a0 Niti primitivni tipovi niti tipovi polja ne mogu se koristiti kao vezani za parametar tipa.<\/p>\n
Primjeri (ograni\u010denja parametara tipa):<\/p>\n
klasa X0 <T prote\u017ee int<\/span> <\/b> > { ... }\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/ pogre\u0161ka<\/span> <\/b> <\/tt>
\n klasa X1 <T pro\u0161iruje Objekt[]<\/span> <\/b> > { ... } \/\/ pogre\u0161ka<\/span> <\/b> <\/tt>
\n klasa X2 <T pro\u0161iruje Broj<\/span> <\/b> > { ... }<\/tt>
\n klasa X3 <T produ\u017euje Niz<\/span> <\/b> > { ... }<\/tt>
\n klasa X4 <T produ\u017euje Pokretljiv<\/span> <\/b> > { ... }<\/tt>
\n klasa X5 <T produ\u017euje Nit.Stanje<\/span> <\/b> > { ... }<\/tt>
\n klasa X6 <T produ\u017euje Popis<\/span> <\/b> > { ... }<\/tt>
\n klasa X7 <T produ\u017euje Popis<Niz><\/span> <\/b> > { ... }<\/tt>
\n klasa X8 <T produ\u017euje Popis<? produ\u017eava Broj><\/span> <\/b> > { ... }<\/tt>
\n klasa X9 <T produ\u017euje Usporedivo<? super broj><\/span> <\/b> > { ... }<\/tt>
\n klasa X10<T prote\u017ee se Map.Entry<?,?><\/span> <\/b> > { ... }<\/tt><\/p><\/blockquote>\nUzorak koda pokazuje da primitivni tipovi kao \u0161to su int<\/tt> i vrste nizova kao \u0161to su Objekt[] <\/tt> nisu dopu\u0161teni kao vezani za parametar tipa.<\/p>\n
Tipovi klasa, kao npr Broj<\/tt> ili Niz<\/tt> , i vrste su\u010delja, kao \u0161to je Pokretljiv<\/tt> , dopu\u0161teni su kao vezani za parametar tipa.<\/p>\n
Tipovi enuma, kao npr Nit.Stanje<\/tt> tako\u0111er su dopu\u0161teni kao vezani za parametar tipa. Nit.Stanje<\/tt> je primjer ugnije\u017e\u0111enog tipa koji se koristi kao veza parametra tipa.\u00a0 Dopu\u0161teni su i nestati\u010dni unutarnji tipovi.<\/p>\n
Neobra\u0111eni tipovi dopu\u0161teni su kao vezani za parametar tipa; Popis<\/span> <\/tt> je primjer.<\/p>\nParametrizirani tipovi dopu\u0161teni su kao vezani za parametar tipa, uklju\u010duju\u0107i konkretne parametrizirane tipove kao \u0161to su Popis<Niz><\/tt> , ograni\u010deni zamjenski znakovi parametrizirani tipovi kao \u0161to su Popis<? produ\u017eava Broj><\/tt> i Usporedivo<? super Long><\/tt> , i neograni\u010deni zamjenski znakovi parametrizirani tipovi kao \u0161to su Map.Entry<?,?><\/tt> .\u00a0 Veza koja je parametarizirani tip sa zamjenskim znakom dopu\u0161ta kao argument tipa sve tipove koji pripadaju obitelji tipova koju ozna\u010dava zamjenski znak.\u00a0 Ograni\u010denje parametariziranog tipa sa zamjenskim znakom daje samo ograni\u010deni pristup poljima i metodama; ograni\u010denja ovise o vrsti zamjenskog znaka.<\/p>\n
Primjer (zamjenski znakovi parametriziranog tipa kao vezanog parametra tipa):<\/p>\n
klasa X< T pro\u0161iruje List<? produ\u017eava Broj><\/span> <\/b> > {<\/tt>
\n \u00a0 public void someMethod(T t) {<\/tt>
\n \u00a0\u00a0\u00a0 t.add(novo Dugo(0L));\u00a0\u00a0\u00a0 \/\/ pogre\u0161ka<\/span> <\/b> <\/tt>
\n \u00a0\u00a0\u00a0 Broj n = t.ukloni(0);<\/tt>
\n \u00a0 }<\/tt>
\n }<\/tt>
\n klasa Test {<\/tt>
\n \u00a0 public static void main(String[] args) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 <\/span> <\/b> X<ArrayList<<\/span> dugo<\/span> <\/b> >> x1 = novi X<ArrayList<Long>>();\u00a0<\/span> <\/tt>
\n \u00a0\u00a0\u00a0\u00a0 X<ArrayList<<\/span> Niz<\/span> <\/b> >> x2 = novi X<ArrayList<String>>(); <\/span> \/\/ pogre\u0161ka<\/span> <\/b> <\/tt>
\n \u00a0 }<\/tt>
\n }<\/tt><\/p><\/blockquote>\nReferentne varijable tipa T <\/tt> (parametar tipa) tretiraju se kao referentne varijable zamjenskog tipa (vezani parametar tipa).\u00a0 U na\u0161em primjeru posljedica je da prevodilac odbija pozivanje metoda koje uzimaju argument “nepoznatog” tipa za koji stoji parametar tipa, kao \u0161to je Nabrojati.dodati<\/tt> , jer je granica parametarizirani tip zamjenskog znaka s gornjom granicom.
\nUjedno i vezani Popis<? produ\u017eava Broj><\/tt> odre\u0111uje tipove koji se mogu koristiti kao argumenti tipa. Prevodilac prihva\u0107a sve argumente tipa koji pripadaju obitelji tipa Popis<? produ\u017eava Broj><\/tt> , odnosno sve podvrste Popis<\/tt> s argumentom tipa koji je podtip Broj<\/tt> .<\/p>\n
Parametar tipa mo\u017ee se koristiti kao granica drugog parametra tipa.<\/p>\n
Primjer (parametra tipa koji se koristi kao veza parametra tipa):<\/p>\n
klasa Triple <T><\/b> {<\/tt>
\n \u00a0 privatni T fst, snd, trd;<\/tt>
\n \u00a0 javni < U<\/b> produ\u017eava T<\/span> <\/b> , V produ\u017eava T<\/span> <\/b> , W produ\u017eava T<\/span> <\/b> > Triple(U arg1, V arg2, W arg3) {<\/tt>
\n \u00a0\u00a0\u00a0 fst = arg1;<\/tt>
\n \u00a0\u00a0\u00a0 snd = arg2;<\/tt>
\n \u00a0\u00a0\u00a0 trd = arg3;<\/tt>
\n \u00a0 }<\/tt>
\n }<\/tt><\/p><\/blockquote>\nU ovom primjeru parametar tipa T<\/tt> parametrizirane klase koristi se kao veza parametara tipa U<\/tt> ,\u00a0 V<\/tt> i W<\/tt> parametrizirane metode instance te klase.<\/p>\n
Daljnje prilike za kori\u0161tenje parametara tipa kao granica drugih parametara tipa uklju\u010duju situacije u kojima je ugnije\u017e\u0111eni tip definiran unutar generi\u010dkog tipa ili je lokalna klasa definirana unutar generi\u010dke metode.\u00a0 \u010cak je dopu\u0161teno koristiti parametar tipa kao vezu drugog parametra tipa u istom odjeljku parametra tipa.<\/p>\n
Veza koja je klasa daje pristup svim svojim javnim \u010dlanovima, to jest javnim poljima, metodama i ugnije\u017e\u0111enim tipovima. Samo konstruktori nisu dostupni, jer nema jamstva da podklasa vezane ima iste konstruktore kao i veza.<\/p>\n
Primjer (klase koja se koristi kao veza parametra tipa):<\/p>\n
javna klasa Superklasa<\/span> {<\/tt> \u00a0\u00a0\u00a0 \/\/ stati\u010dki \u010dlanovi<\/tt>
\n \u00a0\u00a0\u00a0 javna enum EnumType {THIS, THAT}<\/tt>
\n \u00a0\u00a0\u00a0 javni stati\u010dki objekt staticField;<\/tt>
\n \u00a0\u00a0\u00a0 public static void staticMethod() { ... }<\/tt><\/p>\n \u00a0\u00a0\u00a0 \/\/ nestati\u010dki \u010dlanovi<\/tt>
\n \u00a0\u00a0\u00a0 javna klasa InnerClass { ... }<\/tt>
\n \u00a0\u00a0\u00a0 javni objekt nonStaticField;<\/tt>
\n \u00a0\u00a0\u00a0 public void nonStaticMethod() { ... }<\/tt><\/p>\n
\u00a0\u00a0\u00a0 \/\/ konstruktori<\/tt>
\n \u00a0\u00a0\u00a0 public SuperClass() { ... }<\/tt><\/p>\n
\u00a0\u00a0\u00a0 \/\/ privatni \u010dlanovi<\/tt>
\n \u00a0\u00a0\u00a0 privatni objekt privateField;\u00a0<\/tt><\/p>\n
\u00a0\u00a0\u00a0 ...<\/tt>
\n }<\/tt><\/p>\n
public final class SomeClass<T extends Superklasa<\/span> <\/b> > {<\/tt>
\n \u00a0\u00a0\u00a0 privatni T objekt;<\/tt>
\n \u00a0\u00a0\u00a0 public SomeClass(T t) { object = t; }\u00a0<\/tt><\/p>\n \u00a0\u00a0\u00a0 public String toString() {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 povratak<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \"stati\u010dki ugnije\u017e\u0111eni tip\u00a0\u00a0\u00a0 : \"+T.EnumType.class+\"\\n\"\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"stati\u010dno polje\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+T.staticField+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"stati\u010dka metoda\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+T.staticMethod()+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"nestati\u010dki ugnije\u017e\u0111eni tip: \"+T.InnerClass.class+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"nestati\u010dno polje\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+object.nonStaticField+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"nestati\u010dna metoda\u00a0\u00a0\u00a0\u00a0 : \"+object.nonStaticMethod()+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"konstruktor\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+(novo T())+\"\\n\"\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/ pogre\u0161ka<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"privatni \u010dlan\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+object.privateField+\"\\n\"\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/ pogre\u0161ka\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 ;<\/tt>
\n \u00a0\u00a0\u00a0 }<\/tt>
\n }<\/tt><\/p><\/blockquote>\n
Vezani Superklasa<\/tt> daje pristup svojim ugnije\u017e\u0111enim tipovima, stati\u010dkim poljima i metodama i nestati\u010dkim poljima i metodama.\u00a0 Samo konstruktor nije dostupan.\u00a0 To je zato \u0161to se konstruktori ne naslje\u0111uju. Svaka podklasa definira svoje vlastite konstruktore i ne mora podr\u017eavati konstruktore svoje superklase.\u00a0 Stoga nema jamstva da \u0107e podklasa od Superklasa<\/tt> imat \u0107e isti konstruktor kao i njegova superklasa.<\/p>\n
Kontekst u kojem Enum<E pro\u0161iruje Enum<E>><\/tt> ” \u010cini se da je deklaracija Enum<\/tt> klasa u paketu java.lang<\/tt> :<\/p>\n javna apstraktna klasa Enum<E pro\u0161iruje Enum<E>><\/b> {<\/tt>
\n \u00a0 ...<\/tt>
\n }<\/tt><\/p><\/blockquote>\n
Vrsta Enum<\/tt> je zajedni\u010dka osnovna klasa svih tipova nabrajanja.\u00a0 U Javi tip enumeracije kao \u0161to je Boja<\/tt> se prevodi u klasu Boja<\/tt> koji se prote\u017ee Enum<Boja><\/tt> . Svrha superklase Enum<\/tt> je pru\u017eiti funkcionalnost koja je zajedni\u010dka svim tipovima nabrajanja.<\/p>\n
Ovdje je skica klase Enum<\/tt> :<\/p>\n javna apstraktna klasa Enum< E<\/span> prote\u017ee Enum<E>><\/b> implementira Comparable< E<\/span> <\/b> >, Serializable {<\/tt>
\n \u00a0 privatno kona\u010dno ime niza;<\/tt>
\n \u00a0 public final String name() { ... }<\/tt> \u00a0 privatni zavr\u0161ni int ordinal;<\/tt>
\n \u00a0 public final int ordinal() { ... }<\/tt><\/p>\n \u00a0 za\u0161ti\u0107en Enum(naziv niza, int redni) { ... }<\/tt><\/p>\n
\u00a0 javni niz\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 toString() { ... }<\/tt>
\n \u00a0 public final boolean equals(Object other) { ... }<\/tt>
\n \u00a0 public final int hashCode() { ... }<\/tt>
\n \u00a0 za\u0161ti\u0107eni kona\u010dni Object clone() izbacuje CloneNotSupportedException { ... }<\/tt>
\n \u00a0 public final int compareTo( E<\/span> <\/b> o) { ... }<\/tt><\/p>\n \u00a0 javna zavr\u0161na klasa< E<\/span> <\/b> > getDeclaringClass() { ... }<\/tt>
\n \u00a0 public static <T extends Enum<T>> T valueOf(Class<T> enumType, String name) { ... }<\/tt>
\n }<\/tt><\/p><\/blockquote>\nIznena\u0111uju\u0107a zna\u010dajka u deklaraciji “ Enum<E pro\u0161iruje Enum<E>><\/tt> ” je \u010dinjenica da je novodefinirana klasa Enum<\/tt> i njegov novodefinirani parametar tipa E <\/tt> pojaviti u granicama tog istog tipa parametra.\u00a0 To zna\u010di da je Enum<\/tt> tip mora biti instanciran za jedan od svojih podtipova.\u00a0 Kako bismo razumjeli za\u0161to ovo ima smisla, uzmite u obzir da je svaki tip enuma preveden u podtip Enum<\/tt> .<\/p>\n
Ovdje je izmi\u0161ljen tip enuma Boja<\/tt> :<\/p>\n nabrajanje Boja<\/b> {CRVENA, PLAVA, ZELENA}<\/tt><\/p><\/blockquote>\n
Kompajler ga prevodi u sljede\u0107u klasu:<\/p>\n
javni zavr\u0161ni razred Boja<\/b> prote\u017ee se Enum<Boja><\/b> {<\/tt>
\n \u00a0 public static final Color[] values() { return (Color[])$VALUES.clone(); }<\/tt>
\n \u00a0 public static Color valueOf(String name) { ... }<\/tt> \u00a0 private Boja(String s, int i) { super(s, i); }<\/tt><\/p>\n
\u00a0 javna stati\u010dna finalna boja CRVENA;<\/tt>
\n \u00a0 javna stati\u010dna finalna boja PLAVA;<\/tt>
\n \u00a0 javna stati\u010dna finalna boja ZELENA;<\/tt><\/p>\n
\u00a0 privatna stati\u010dka kona\u010dna boja $VALUES[];<\/tt><\/p>\n
\u00a0 stati\u010dki {<\/tt>
\n \u00a0\u00a0\u00a0 RED = nova boja(\"RED\", 0);<\/tt>
\n \u00a0\u00a0\u00a0 PLAVA = nova boja(\"PLAVA\", 1);<\/tt>
\n \u00a0\u00a0\u00a0 ZELENO = nova boja(\"ZELENO\", 2);<\/tt>
\n \u00a0\u00a0\u00a0 $VRIJEDNOSTI = (nova boja[] { CRVENA, PLAVA, ZELENA });<\/tt>
\n \u00a0 }<\/tt>
\n }<\/tt><\/p><\/blockquote>\n
Naslje\u0111e ima za posljedicu da Boja<\/tt> tip naslje\u0111uje sve metode implementirane u Enum<Boja><\/tt> .\u00a0 Me\u0111u njima je i usporediti<\/tt> metoda.\u00a0 The Boja. usporediti<\/tt> metoda bi vjerojatno trebala uzeti a Boja<\/tt> kao argument.\u00a0 Kako bi se to dogodilo klas Enum<\/tt> je generi\u010dki i Enum.compareTo<\/tt> metoda uzima Enum<\/tt> parametar tipa E <\/tt> kao argument.\u00a0 Kao rezultat toga, tip Boja<\/tt> izvedeno iz Enum<Boja><\/tt> naslje\u0111uje a usporediti<\/tt> metoda koja uzima a Boja<\/tt> kao i argument, to\u010dno kako treba.
\nAko ra\u0161\u010dlanimo deklaraciju “ Enum<E pro\u0161iruje Enum<E>><\/tt> ” mo\u017eemo vidjeti da ovaj obrazac ima nekoliko aspekata.<\/p>\n
Prvo, postoji \u010dinjenica da je vezan parametar tipa sam tip: “ Enum<\/b> <E se prote\u017ee Enum<\/b> <E>><\/tt> “. Osigurava da samo podtipovi tipa Enum<\/tt> dopu\u0161teni su kao argumenti tipa. (Teoretski, tip Enum<\/tt> mo\u017ee se instancirati na sebi, kao u Enum<Enum><\/tt> , ali to sigurno nije namjera i te\u0161ko je zamisliti situaciju u kojoj bi takva instancija bila korisna.)<\/p>\n
Drugo, postoji \u010dinjenica da je parametar vezan tip parametrizirani tip Enum <E><\/b> <\/tt> , koji koristi parametar tipa E<\/tt> kao argument tipa vezanog. Ova deklaracija osigurava da odnos naslje\u0111ivanja izme\u0111u podtipa i instancije Enum<\/tt> je oblika X pro\u0161iruje Enum<X><\/tt> “. Podtip kao \u0161to je “ X pro\u0161iruje Enum<Y><\/tt> ” ne mo\u017ee se deklarirati zbog argumenta tipa Y<\/tt> ne bi bilo unutar granica; samo podvrste Enum<X><\/tt> su unutar granica.<\/p>\n
Tre\u0107e, postoji \u010dinjenica da Enum<\/tt> je generi\u010dki na prvom mjestu.\u00a0 To zna\u010di da neke od metoda klase Enum<\/tt> uzeti argument ili vratiti vrijednost nepoznatog tipa (ili na drugi na\u010din ovisiti o nepoznatom tipu). Kao \u0161to ve\u0107 znamo, ovaj nepoznati tip \u0107e kasnije biti podtip X<\/tt> od Enum<X><\/tt> .\u00a0 Dakle, u parametriziranom tipu Enum<X><\/tt> , ove metode uklju\u010duju podtip X<\/tt> , i oni se naslje\u0111uju u podtip X<\/tt> .\u00a0 The usporediti<\/tt> metoda je primjer takve metode; naslje\u0111uje se iz nadklase u svaku podklasu i u svakom slu\u010daju ima potpis specifi\u010dan za podklasu.<\/p>\n
Ukratko, deklaracija “ Enum<E pro\u0161iruje Enum<E>><\/tt> ” se mo\u017ee de\u0161ifrirati kao: Enum<\/tt> je generi\u010dki tip koji se mo\u017ee instancirati samo za svoje podtipove, a ti podtipovi \u0107e naslijediti neke korisne metode, od kojih neke uzimaju argumente specifi\u010dne za podtip (ili na drugi na\u010din ovise o podtipu).<\/p>\n
Parametri tipa donje granice klasa<\/b><\/p>\n
Parametri tipa mogu imati nekoliko granica, kao u klasa Box<T pro\u0161iruje Number> {...}<\/tt> . Ali parametar tipa ne mo\u017ee imati donju granicu, to jest, konstrukcija kao \u0161to je klasa Box<T super<\/b> Broj> {...}<\/tt> nije dopu\u0161teno.\u00a0 Za\u0161to ne?\u00a0 Odgovor je: besmisleno je jer vam ni\u0161ta ne bi kupilo da je dopu\u0161teno.\u00a0 Pogledajmo za\u0161to su parametri tipa donje granice klasa zbunjuju\u0107i istra\u017euju\u0107i \u0161to zna\u010di gornja granica parametra tipa.<\/p>\n
Gornja granica parametra tipa ima tri u\u010dinka:<\/p>\n
\n\n- Ograni\u010dena instancija.<\/i> <\/b> Gornja granica ograni\u010dava skup tipova koji se mogu koristiti za instanciranje generi\u010dkog tipa.\u00a0 Ako proglasimo a klasa Box<T pro\u0161iruje Number> {...} <\/tt> tada bi prevodilac osigurao da samo podtipovi od Broj<\/tt> mo\u017ee se koristiti kao argument tipa.\u00a0 Odnosno, a Kutija<Broj><\/tt> ili a Kutija<Long><\/tt> je dopu\u0161teno, ali a Kutija<Objekt><\/tt> ili Kutija<Niz><\/tt> bio bi odbijen<\/li>\n<\/ol>\n<\/ol>\n
Primjer (ograni\u010dene instancije zbog gornje granice parametra tipa):
\n klasa Box<T extends Number> {\u00a0<\/tt>
\n \u00a0\u00a0 privatna T vrijednost;\u00a0<\/tt>
\n \u00a0\u00a0 public Box(T t) { value = t; }\u00a0<\/tt>
\n \u00a0\u00a0 ...<\/tt>
\n }\u00a0<\/tt> klasa Test {\u00a0<\/tt>
\n \u00a0\u00a0 public static void main(String[] args) {\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Box<Long> boxOfLong = novi Box<Long>(0L);\u00a0\u00a0 \/\/ dobro<\/b> <\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Box<String> boxOfString = novi Box<String>(\"\"); \/\/ pogre\u0161ka: String nije unutar granica<\/span> <\/b> <\/tt>
\n \u00a0\u00a0 }<\/tt>
\n }<\/tt><\/p>\n\n- Pristup nestati\u010dnim \u010dlanovima. <\/i> <\/b> Gornja granica daje pristup svim javnim nestati\u010dkim metodama i poljima gornje granice.\u00a0 U provedbi na\u0161eg klasa Box<T pro\u0161iruje Number> {...}<\/tt> mo\u017eemo pozvati sve javne nestati\u010dke metode definirane u klasi Broj<\/tt> , kao \u0161to je intValue()<\/tt> na primjer.\u00a0 Bez gornje granice prevodilac bi odbio svako takvo pozivanje. Primjer (pristupa nestati\u010dkim \u010dlanovima zbog gornje granice parametra tipa):<\/li>\n<\/ol>\n
klasa Box<T extends Number> {\u00a0<\/tt>
\n \u00a0\u00a0 privatna T vrijednost;\u00a0<\/tt>
\n \u00a0\u00a0 public Box(T t) { value = t; }\u00a0<\/tt>
\n \u00a0\u00a0 public int increment() { return value.intValue()+1; } \/\/ <= bila bi pogre\u0161ka bez vezanog broja<\/b> <\/tt>
\n \u00a0\u00a0 ...<\/tt>