public void printPair( P\u00e1r<String,Long><\/span> <\/b> p\u00e1r) {<\/tt>
\n \u00a0 System.out.println(\"(\"+pair.getFirst()+\",\"+pair.getSecond()+\")\");<\/tt>
\n }<\/tt> P\u00e1r<String,Long><\/span> <\/b> limit = \u00faj P\u00e1r<String,Long><\/span> <\/b> (\"maximum\", 1024L);<\/tt>
\n printPair(limit);<\/tt><\/p><\/blockquote>\nP\u00e9lda (a helyettes\u00edt\u0151 karakterekkel param\u00e9terezett t\u00edpusra):<\/p>\n
\n public void printPair( Pair<?,?><\/span> <\/b> p\u00e1r) {<\/tt>
\n \u00a0 System.out.println(\"(\"+pair.getFirst()+\",\"+pair.getSecond()+\")\");<\/tt>
\n }<\/tt> Pair<?,?><\/span> <\/b> limit = \u00faj P\u00e1r<String,Long><\/span> <\/b> (\"maximum\", 1024L);<\/tt>
\n printPair(limit);<\/tt><\/p><\/blockquote>\n<\/blockquote>\nEgy \u00e1ltal\u00e1nos t\u00edpus minden p\u00e9ld\u00e1nya ugyanazt a fut\u00e1sidej\u0171 t\u00edpus\u00e1br\u00e1zol\u00e1st haszn\u00e1lja, nevezetesen a nyers t\u00edpus reprezent\u00e1ci\u00f3j\u00e1t. P\u00e9ld\u00e1ul egy \u00e1ltal\u00e1nos t\u00edpus p\u00e9ld\u00e1nyai Lista<\/tt> , mint pl List<Date><\/tt> , List<String><\/tt> , List<Long><\/tt> stb. k\u00fcl\u00f6nb\u00f6z\u0151 statikus t\u00edpusokkal rendelkeznek a ford\u00edt\u00e1si id\u0151ben, de ugyanaz a dinamikus t\u00edpus Lista <\/tt> fut\u00e1sid\u0151ben.<\/p>\n
A szereposzt\u00e1s k\u00e9t r\u00e9szb\u0151l \u00e1ll:<\/p>\n
\n- a ford\u00edt\u00f3 \u00e1ltal a ford\u00edt\u00e1si id\u0151ben v\u00e9grehajtott statikus t\u00edpusellen\u0151rz\u00e9s \u00e9s<\/li>\n
- a virtu\u00e1lis g\u00e9p \u00e1ltal fut\u00e1s k\u00f6zben v\u00e9grehajtott dinamikus t\u00edpusellen\u0151rz\u00e9s.<\/li>\n<\/ul>\n
A statikus r\u00e9sz kiv\u00e1logatja az \u00e9rtelmetlen szereposzt\u00e1sokat, amelyek nem siker\u00fclhetnek, mint p\u00e9ld\u00e1ul a szereposzt\u00e1s H\u00far<\/tt> hogy D\u00e1tum<\/tt> vagy t\u0151l List<String><\/tt> hogy List<Date><\/tt> .<\/p>\n
A dinamikus r\u00e9sz a fut\u00e1sidej\u0171 t\u00edpusinform\u00e1ci\u00f3kat haszn\u00e1lja, \u00e9s fut\u00e1s k\u00f6zben t\u00edpusellen\u0151rz\u00e9st hajt v\u00e9gre.\u00a0 Felveti a ClassCastException<\/tt> ha az objektum dinamikus t\u00edpusa nem a leadott c\u00e9lt\u00edpusa (vagy a c\u00e9lt\u00edpus alt\u00edpusa). P\u00e9ld\u00e1k a dinamikus r\u00e9sszel rendelkez\u0151 dob\u00e1sokra a cast from Objektum<\/tt> hogy H\u00far<\/tt> vagy t\u0151l Objektum<\/tt> hogy List<String><\/tt> .\u00a0 Ezek az \u00fagynevezett downcastok, a szupert\u00edpust\u00f3l az alt\u00edpusig.<\/p>\n
P\u00e9ld\u00e1k a konkr\u00e9t param\u00e9terezett t\u00edpusokra List<String><\/tt> , Map<String,Date><\/tt> , de nem List<? kiterjeszti Number><\/tt> vagy Map<String,?><\/tt> .<\/p>\n
N\u00e9ha v\u00e1rhat\u00f3, hogy a List<Object><\/tt> szupert\u00edpusa lenne a List<String><\/tt> , mert Objektum<\/tt> egy szupert\u00edpusa H\u00far<\/tt> .\u00a0 Ez az elv\u00e1r\u00e1s abb\u00f3l a t\u00e9nyb\u0151l fakad, hogy l\u00e9tezik ilyen t\u00edpus\u00fa kapcsolat a t\u00f6mb\u00f6kn\u00e9l:\u00a0 Objektum[]<\/tt> egy szupert\u00edpusa H\u00far[]<\/tt> , mert Objektum<\/tt> egy szupert\u00edpusa H\u00far<\/tt> . (Ez a fajta kapcsolat az \u00fagynevezett kovariancia<\/i> .) A komponenst\u00edpusok szuper-alt\u00edpus-kapcsolata kiterjed a megfelel\u0151 t\u00f6mbt\u00edpusokra. Nem l\u00e9tezik ilyen t\u00edpus\u00fa kapcsolat az \u00e1ltal\u00e1nos t\u00edpusok p\u00e9ld\u00e1nyos\u00edt\u00e1sa eset\u00e9n. (A param\u00e9terezett t\u00edpusok nem<\/i> kovari\u00e1ns.)<\/p>\n
Az azonos \u00e1ltal\u00e1nos t\u00edpus\u00fa p\u00e9ld\u00e1nyok k\u00f6z\u00f6tti szuper-alt\u00edpus-kapcsolat hi\u00e1nya k\u00fcl\u00f6nf\u00e9le k\u00f6vetkezm\u00e9nyekkel j\u00e1r.\u00a0 \u00cdme egy p\u00e9lda.<\/p>\n
P\u00e9lda:<\/p>\n
void printAll(ArrayList<Object> c) {<\/tt>
\n \u00a0 az (O objektum: c)\u00a0<\/tt>
\n \u00a0\u00a0\u00a0 System.out.println(o);<\/tt>
\n }<\/tt> ArrayList<String> lista = new ArrayList<String>();<\/tt>
\n ... t\u00f6ltse ki a list\u00e1t ...<\/tt>
\n printAll(lista);\u00a0\u00a0 \/\/ hiba<\/tt><\/p>\n
A ArrayList<String><\/tt> objektum nem adhat\u00f3 \u00e1t argumentumk\u00e9nt olyan met\u00f3dusnak, amely a ArrayList<Object><\/tt> mert a k\u00e9t t\u00edpus ugyanannak az \u00e1ltal\u00e1nos t\u00edpusnak a p\u00e9ld\u00e1nyos\u00edt\u00e1sa, de for k\u00fcl\u00f6nb\u00f6z\u0151<\/i> t\u00edpus\u00fa argumentumokat, \u00e9s emiatt nem kompatibilisek egym\u00e1ssal.<\/p>\n
A konkr\u00e9t param\u00e9terezett t\u00edpusok egy \u00e1ltal\u00e1nos t\u00edpus konkr\u00e9t p\u00e9ld\u00e1nyai.\u00a0 Szinte olyanok, mint a t\u00edpusok; csak n\u00e9h\u00e1ny korl\u00e1toz\u00e1s van.\u00a0 NEM haszn\u00e1lhat\u00f3k a k\u00f6vetkez\u0151 c\u00e9lokra:<\/p>\n
\n- t\u00f6mb\u00f6k l\u00e9trehoz\u00e1s\u00e1hoz<\/li>\n
- kiv\u00e9telkezel\u00e9sben<\/li>\n
- oszt\u00e1lysz\u00f3 szerint<\/li>\n
- egy an p\u00e9ld\u00e1nya<\/tt> kifejez\u00e9s<\/li>\n<\/ul>\n
A konkr\u00e9t param\u00e9terezett t\u00edpus\u00fa elemeket tartalmaz\u00f3 t\u00f6mb\u00f6k illeg\u00e1lisak.<\/p>\n
P\u00e9lda (illeg\u00e1lis t\u00f6mbt\u00edpusra):<\/p>\n
static void test() {<\/tt>
\n \u00a0 P\u00e1r<Integer,Integer>[]<\/span> <\/b> intPairArr = \u00faj Pair<Integer,Integer>[10]<\/span> <\/b> ; \/\/ hiba<\/span> <\/b> <\/tt>
\n \u00a0 addElements(intPairArr);\u00a0<\/tt>
\n \u00a0 Pair<Integer,Integer> p\u00e1r = intPairArr[1];<\/tt>
\n \u00a0 Integer i = p\u00e1r.getFirst();<\/tt>
\n \u00a0 pair.setSecond(i);<\/tt>
\n }<\/tt>
\n static void addElements( Objektum[]<\/b> objArr) {<\/tt>
\n \u00a0 objArr[0] = \u00faj P\u00e1r<Integer,Integer>(0,0);<\/tt>
\n \u00a0 objArr[1] = new Pair<String,String>(\"\",\"\");\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/ sikertelennek kell lennie az ArrayStoreException eset\u00e9n<\/tt>
\n }<\/tt><\/p>\nA ford\u00edt\u00f3 tiltja olyan t\u00f6mb\u00f6k l\u00e9trehoz\u00e1s\u00e1t, amelyek komponenst\u00edpusa konkr\u00e9t param\u00e9terezett t\u00edpus\u00fa, mint pl Pair<Integer,Integer><\/tt> p\u00e9ld\u00e1nkban.\u00a0 Az el\u0151z\u0151 bejegyz\u00e9sben t\u00e1rgyaltuk, mi\u00e9rt \u00e9sszer\u0171, hogy a ford\u00edt\u00f3 min\u0151s\u00edtse a P\u00e1r<Integer,Integer>[]<\/tt> <\/span> mint illeg\u00e1lis.\u00a0 A f\u0151 probl\u00e9ma az, hogy a ford\u00edt\u00f3nak \u00e9s a fut\u00e1sidej\u0171 rendszernek biztos\u00edtania kell, hogy egy t\u00f6mb a homog\u00e9n<\/i> azonos t\u00edpus\u00fa elemek sorozata.\u00a0 Az egyik t\u00edpusellen\u0151rz\u00e9s, nevezetesen a virtu\u00e1lis g\u00e9p \u00e1ltal fut\u00e1s k\u00f6zben v\u00e9grehajtott t\u00f6mbt\u00e1r-ellen\u0151rz\u00e9s, nem \u00e9szleli egy idegen elem s\u00e9rt\u0151 beilleszt\u00e9s\u00e9t. A p\u00e9ld\u00e1ban a m\u00e1sodik beilleszt\u00e9s a addElements<\/tt> met\u00f3dus meghi\u00fasulhat, mert egy sztringp\u00e1rt adtak hozz\u00e1 az integr\u00e1l\u00e9rt\u00e9kek t\u00f6mbj\u00e9hez, de ez nem siker\u00fcl a v\u00e1rt m\u00f3don. Az okokat az el\u0151z\u0151 bejegyz\u00e9sben t\u00e1rgyaltuk.<\/p>\nHa nem haszn\u00e1lhatunk olyan t\u00f6mb\u00f6ket tartalmaz\u00f3 elemeket, amelyek t\u00edpusa egy konkr\u00e9t param\u00e9terezett t\u00edpus, akkor mit haszn\u00e1ljunk megker\u00fcl\u0151 megold\u00e1sk\u00e9nt?<\/p>\n
N\u00e9zz\u00fcnk meg 3 lehets\u00e9ges megold\u00e1st:<\/p>\n
\n- nyers t\u00edpusok t\u00f6mbje<\/li>\n
- korl\u00e1tlan helyettes\u00edt\u0151 karakterekkel param\u00e9terezett t\u00edpus\u00fa t\u00f6mb<\/li>\n
- t\u00f6mb helyett gy\u0171jtem\u00e9ny<\/li>\n<\/ul>\n
M\u00edg a konkr\u00e9t param\u00e9terezett t\u00edpusok t\u00f6mbjei illeg\u00e1lisak, a konkr\u00e9t param\u00e9terezett t\u00edpusok gy\u0171jtem\u00e9nye megengedett.<\/p>\n
A helyettes\u00edt\u0151 karakterekkel param\u00e9terezett t\u00edpus egy \u00e1ltal\u00e1nos t\u00edpus p\u00e9ld\u00e1nya, amelyben legal\u00e1bb egy t\u00edpus argumentum helyettes\u00edt\u0151 karakter.\u00a0 P\u00e9ld\u00e1k a helyettes\u00edt\u0151 karakterekkel param\u00e9terezett t\u00edpusokra Gy\u0171jtem\u00e9ny<?><\/tt> , List<? kiterjeszti Number><\/tt> , \u00d6sszehasonl\u00edt\u00f3<? szuper String><\/tt> \u00e9s P\u00e1r<String,?><\/tt> . A helyettes\u00edt\u0151 karakterrel param\u00e9terezett t\u00edpus t\u00edpuscsal\u00e1dot jel\u00f6l, amely egy \u00e1ltal\u00e1nos t\u00edpus konkr\u00e9t p\u00e9ld\u00e1nyait tartalmazza.\u00a0 A haszn\u00e1lt helyettes\u00edt\u0151 karakter t\u00edpusa hat\u00e1rozza meg, hogy mely konkr\u00e9t param\u00e9terezett t\u00edpusok tartoznak a csal\u00e1dba.\u00a0 P\u00e9ld\u00e1ul a helyettes\u00edt\u0151 karakterekkel param\u00e9terezett t\u00edpus Gy\u0171jtem\u00e9ny<?><\/tt> az \u00f6sszes p\u00e9ld\u00e1ny csal\u00e1dj\u00e1t jel\u00f6li Gy\u0171jtem\u00e9ny<\/tt> interf\u00e9sz a t\u00edpus argumentumt\u00f3l f\u00fcggetlen\u00fcl.\u00a0 A helyettes\u00edt\u0151 karakterekkel param\u00e9terezett t\u00edpus List<? kiterjeszti Number><\/tt> az \u00f6sszes listat\u00edpus csal\u00e1dj\u00e1t jel\u00f6li, ahol az elemt\u00edpus alt\u00edpusa\u00a0 Sz\u00e1m<\/tt> .\u00a0 A helyettes\u00edt\u0151 karakterekkel param\u00e9terezett t\u00edpus \u00d6sszehasonl\u00edt\u00f3<? szuper String><\/tt> az \u00f6sszes p\u00e9ld\u00e1ny csal\u00e1dja \u00d6sszehasonl\u00edt\u00f3<\/tt> interf\u00e9sz olyan t\u00edpus\u00fa argumentumt\u00edpusokhoz, amelyek szupert\u00edpusai H\u00far.<\/tt><\/p>\n
A helyettes\u00edt\u0151 karakterekkel param\u00e9terezett t\u00edpus nem a szok\u00e1sos \u00e9rtelemben vett t\u00edpus (k\u00fcl\u00f6nb\u00f6zik a nem param\u00e9terezett oszt\u00e1lyt\u00f3l\/interf\u00e9szt\u0151l vagy a nyers t\u00edpust\u00f3l).<\/em> <\/strong><\/p>\nA helyettes\u00edt\u0151 karakterekkel param\u00e9terezett t\u00edpusok haszn\u00e1lhat\u00f3k a g\u00e9pel\u00e9shez (p\u00e9ld\u00e1ul nem param\u00e9terezett oszt\u00e1lyok \u00e9s interf\u00e9szek):<\/p>\n
\n- mint argumentum \u00e9s visszat\u00e9r\u00e9si t\u00edpus\u00fa met\u00f3dusok<\/li>\n
- mez\u0151 vagy helyi referenciav\u00e1ltoz\u00f3 t\u00edpusak\u00e9nt<\/li>\n
- m\u00e1s param\u00e9terezett t\u00edpusok arrayas t\u00edpus\u00fa argumentum\u00e1nak komponenst\u00edpusak\u00e9nt<\/li>\n
- mint c\u00e9lt\u00edpus a dob\u00e1sokban<\/li>\n<\/ul>\n
Nemcsak a t\u00edpusok lehetnek \u00e1ltal\u00e1nosak, hanem a m\u00f3dszerek is lehetnek \u00e1ltal\u00e1nosak. A statikus \u00e9s nem statikus met\u00f3dusoknak, valamint a konstruktoroknak lehetnek t\u00edpusparam\u00e9terei. A form\u00e1lis t\u00edpusparam\u00e9terek deklar\u00e1l\u00e1s\u00e1nak szintaxisa hasonl\u00f3 az \u00e1ltal\u00e1nos t\u00edpusok szintaxis\u00e1hoz. A t\u00edpusparam\u00e9ter szakaszt sz\u00f6gletes z\u00e1r\u00f3jelek hat\u00e1rolj\u00e1k, \u00e9s a met\u00f3dus visszat\u00e9r\u00e9si t\u00edpusa el\u0151tt jelenik meg. Szintaxisa \u00e9s jelent\u00e9se megegyezik egy \u00e1ltal\u00e1nos t\u00edpus t\u00edpusparam\u00e9ter-list\u00e1j\u00e1val.<\/p>\n
\u00cdme egy \u00e1ltal\u00e1nos p\u00e9lda max<\/tt> olyan m\u00f3dszer, amely a legnagyobb \u00e9rt\u00e9ket sz\u00e1m\u00edtja ki egy ismeretlen t\u00edpus\u00fa elemek gy\u0171jtem\u00e9ny\u00e9ben A<\/tt> .<\/p>\n
P\u00e9lda (egy \u00e1ltal\u00e1nos m\u00f3dszerre):<\/p>\n
oszt\u00e1ly Gy\u0171jtem\u00e9nyek {<\/tt>
\n \u00a0 nyilv\u00e1nos statikus Az <A kiterjeszti \u00d6sszehasonl\u00edthat\u00f3<A>> A<\/span> <\/b> max(Gy\u0171jtem\u00e9ny< 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.next();<\/tt>
\n \u00a0\u00a0\u00a0 while (xi.hasNext()) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0 A<\/span> <\/b> x = xi.next();<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0 if (w.hasonl\u00edtsa \u00f6ssze(x) < 0) w = x;<\/tt>
\n \u00a0\u00a0\u00a0 }<\/tt>
\n \u00a0\u00a0\u00a0 return w;<\/tt>
\n \u00a0 }<\/tt>
\n }\u00a0<\/tt><\/p><\/blockquote>\nA max<\/tt> A met\u00f3dusnak egy t\u00edpusparam\u00e9tere van, a neve A<\/tt> .\u00a0 Ez a gy\u0171jtem\u00e9ny azon elemt\u00edpus\u00e1nak hely\u0151rz\u0151je, amelyen a met\u00f3dus m\u0171k\u00f6dik. A type param\u00e9ternek van korl\u00e1tja; olyan t\u00edpusnak kell lennie, amely alt\u00edpusa \u00d6sszehasonl\u00edthat\u00f3<A><\/tt><\/p>\n
P\u00e9lda (ez\u00fattal ugyanabb\u00f3l az \u00e1ltal\u00e1nos t\u00edpusb\u00f3l -vel<\/i> hat\u00e1rok):<\/p>\n nyilv\u00e1nos fel\u00fclet \u00d6sszehasonl\u00edthat\u00f3<T> {<\/tt>
\n \u00a0 public int \u00d6sszehasonl\u00edtTo(T arg);<\/tt>
\n }<\/tt>
\n nyilv\u00e1nos oszt\u00e1ly TreeMap<Key kiterjeszti Comparable<Key><\/span> <\/b> ,Data>{<\/tt>
\n \u00a0 priv\u00e1t statikus oszt\u00e1ly Entry<K,V> {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 K gomb;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 V \u00e9rt\u00e9k;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Entry<K,V> balra = null;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Entry<K,V> jobb = null;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Entry<K,V> sz\u00fcl\u0151;<\/tt>
\n \u00a0 }<\/tt>
\n \u00a0 priv\u00e1t tranziens Entry<Key,Data> gy\u00f6k\u00e9r = null;<\/tt>
\n \u00a0 ...<\/tt>
\n \u00a0 priv\u00e1t Entry<Key,Data> getEntry(Kulcskulcs) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Entry<Key,Data> p = gy\u00f6k\u00e9r;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Kulcs k = kulcs;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 while (p != null) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 int cmp = k. \u00f6sszehasonl\u00edt\u00e1s(p.kulcs)<\/span> <\/b> ;\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 if (cmp == 0)<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 return p;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 k\u00fcl\u00f6nben ha (cmp < 0)<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 p = p.bal;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 m\u00e1s\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 p = p.jobb;\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 }<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 return null;<\/tt>
\n \u00a0 }<\/tt>
\n \u00a0 public logikai \u00e9rt\u00e9k tartalmazzaKey(Kulcskulcs) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 return getEntry(kulcs) != null;<\/tt>
\n \u00a0 }<\/tt>
\n \u00a0 ...<\/tt>
\n }<\/tt><\/p><\/blockquote>\nA fenti p\u00e9ld\u00e1ban a t\u00edpus param\u00e9ter Kulcsfontoss\u00e1g\u00fa<\/tt> megvan a k\u00f6tve \u00d6sszehasonl\u00edthat\u00f3<Key><\/tt> .\u00a0 A k\u00f6t\u00e9s megad\u00e1s\u00e1nak k\u00e9t hat\u00e1sa van:<\/p>\n\n- Hozz\u00e1f\u00e9r\u00e9st biztos\u00edt a korl\u00e1t \u00e1ltal meghat\u00e1rozott met\u00f3dusokhoz<\/i> .\u00a0 A p\u00e9ld\u00e1ban a k\u00f6t\u00f6tt \u00d6sszehasonl\u00edthat\u00f3<Key> <\/tt> hozz\u00e1f\u00e9r\u00e9st biztos\u00edt a \u00f6sszehasonl\u00edtani<\/tt> m\u00f3dszer, amelyet meg akarunk h\u00edvni a mi megval\u00f3s\u00edt\u00e1sunk sor\u00e1n TreeMap<\/tt> oszt\u00e1ly.<\/li>\n<\/ul>\n
\n- Csak a “hat\u00e1rokon bel\u00fcl” t\u00edpusok haszn\u00e1lhat\u00f3k az \u00e1ltal\u00e1nos t\u00edpus p\u00e9ld\u00e1nyos\u00edt\u00e1s\u00e1ra.<\/i> \u00a0 A p\u00e9ld\u00e1ban egy param\u00e9terezett t\u00edpus, mint pl TreeMap<Number,String><\/tt> elutas\u00edt\u00e1sra ker\u00fclne, mert a t\u00edpus Sz\u00e1m<\/tt> nem alt\u00edpusa \u00d6sszehasonl\u00edthat\u00f3<Sz\u00e1m><\/tt> .\u00a0 Param\u00e9terezett t\u00edpus, mint pl TreeMap<String,String><\/tt> elfogadn\u00e1nk, mert a String t\u00edpus a hat\u00e1rokon bel\u00fcl van, azaz alt\u00edpusa \u00d6sszehasonl\u00edthat\u00f3<String><\/tt> .<\/li>\n<\/ul>\n
Minden oszt\u00e1ly, interf\u00e9sz \u00e9s enum t\u00edpus haszn\u00e1lhat\u00f3 t\u00edpusparam\u00e9terhez k\u00f6t\u00f6ttk\u00e9nt, bele\u00e9rtve a be\u00e1gyazott \u00e9s a bels\u0151 t\u00edpusokat is.\u00a0 Sem primit\u00edv t\u00edpusok, sem t\u00f6mbt\u00edpusok nem haszn\u00e1lhat\u00f3k t\u00edpusparam\u00e9ter-k\u00f6t\u00e9sk\u00e9nt.<\/p>\n
P\u00e9ld\u00e1k (t\u00edpusparam\u00e9ter korl\u00e1tokra):<\/p>\n
oszt\u00e1ly X0 <T kiterjeszti int<\/span> <\/b> > { ... }\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/ hiba<\/span> <\/b> <\/tt>
\n oszt\u00e1ly X1 <T kiterjeszti Objektum[]<\/span> <\/b> > { ... } \/\/ hiba<\/span> <\/b> <\/tt>
\n oszt\u00e1ly X2 <T kiterjeszti Sz\u00e1m<\/span> <\/b> > { ... }<\/tt>
\n oszt\u00e1ly X3 <T kiterjeszti H\u00far<\/span> <\/b> > { ... }<\/tt>
\n oszt\u00e1ly X4 <T kiterjeszti Futhat\u00f3<\/span> <\/b> > { ... }<\/tt>
\n oszt\u00e1ly X5 <T kiterjeszti Menet.\u00c1llam<\/span> <\/b> > { ... }<\/tt>
\n oszt\u00e1ly X6 <T kiterjeszti Lista<\/span> <\/b> > { ... }<\/tt>
\n oszt\u00e1ly X7 <T kiterjeszti List<String><\/span> <\/b> > { ... }<\/tt>
\n oszt\u00e1ly X8 <T kiterjeszti List<? kiterjeszti Number><\/span> <\/b> > { ... }<\/tt>
\n oszt\u00e1ly X9 <T kiterjeszti \u00d6sszehasonl\u00edthat\u00f3<? szuper sz\u00e1m><\/span> <\/b> > { ... }<\/tt>
\n oszt\u00e1ly X10<T kiterjeszti T\u00e9rk\u00e9p.Entry<?,?><\/span> <\/b> > { ... }<\/tt><\/p><\/blockquote>\nA k\u00f3dminta azt mutatja, hogy a primit\u00edv t\u00edpusok, mint pl int<\/tt> \u00e9s t\u00f6mbt\u00edpusok, mint pl Objektum[] <\/tt> t\u00edpusparam\u00e9terhez k\u00f6t\u00f6ttk\u00e9nt nem enged\u00e9lyezettek.<\/p>\n
Az oszt\u00e1lyt\u00edpusok, mint pl Sz\u00e1m<\/tt> vagy H\u00far<\/tt> , \u00e9s interf\u00e9szt\u00edpusok, mint pl Futhat\u00f3<\/tt> , t\u00edpus param\u00e9terhez k\u00f6t\u00f6tt.<\/p>\n
Enum t\u00edpusok, mint pl Menet.\u00c1llam<\/tt> t\u00edpusparam\u00e9terhez k\u00f6t\u00f6ttk\u00e9nt is megengedettek. Menet.\u00c1llam<\/tt> egy p\u00e9lda egy be\u00e1gyazott t\u00edpusra, amelyet t\u00edpusparam\u00e9ter-k\u00f6t\u00e9sk\u00e9nt haszn\u00e1lnak.\u00a0 Nem statikus bels\u0151 t\u00edpusok is megengedettek.<\/p>\n
A nyers t\u00edpusok t\u00edpusparam\u00e9terhez k\u00f6t\u00f6ttekk\u00e9nt megengedettek; Lista<\/span> <\/tt> egy p\u00e9lda.<\/p>\nA param\u00e9terezett t\u00edpusok t\u00edpusparam\u00e9terhez k\u00f6t\u00f6ttk\u00e9nt enged\u00e9lyezettek, bele\u00e9rtve a konkr\u00e9t param\u00e9terezett t\u00edpusokat is, mint pl List<String><\/tt> , korl\u00e1tos helyettes\u00edt\u0151 karakterekkel param\u00e9terezett t\u00edpusok, mint pl List<? kiterjeszti Number><\/tt> \u00e9s \u00d6sszehasonl\u00edthat\u00f3<? szuper Long><\/tt> , \u00e9s a korl\u00e1tlan helyettes\u00edt\u0151 karakterekkel param\u00e9terezett t\u00edpusok, mint pl T\u00e9rk\u00e9p.Entry<?,?><\/tt> .\u00a0 A helyettes\u00edt\u0151 karakterrel param\u00e9terezett k\u00f6t\u00e9s t\u00edpus argumentumk\u00e9nt minden olyan t\u00edpust enged\u00e9lyez, amely ahhoz a t\u00edpuscsal\u00e1dhoz tartozik, amelyet a helyettes\u00edt\u0151 karakter jel\u00f6l.\u00a0 A helyettes\u00edt\u0151 karakterekkel param\u00e9terezett t\u00edpuskorl\u00e1t csak korl\u00e1tozott hozz\u00e1f\u00e9r\u00e9st biztos\u00edt a mez\u0151kh\u00f6z \u00e9s met\u00f3dusokhoz; a korl\u00e1toz\u00e1sok a helyettes\u00edt\u0151 karakter t\u00edpus\u00e1t\u00f3l f\u00fcggenek.<\/p>\n
P\u00e9lda (a helyettes\u00edt\u0151 karakterrel param\u00e9terezett t\u00edpus t\u00edpusparam\u00e9terhez k\u00f6t\u00f6tt):<\/p>\n
X< oszt\u00e1ly T kiterjeszti a List<-t? kiterjeszti Number><\/span> <\/b> > {<\/tt>
\n \u00a0 public void someMethod(T t) {<\/tt>
\n \u00a0\u00a0\u00a0 t.add(new Long(0L));\u00a0\u00a0\u00a0 \/\/ hiba<\/span> <\/b> <\/tt>
\n \u00a0\u00a0\u00a0 n sz\u00e1m = t.remove(0);<\/tt>
\n \u00a0 }<\/tt>
\n }<\/tt>
\n oszt\u00e1ly teszt {<\/tt>
\n \u00a0 public static void main(String[] args) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 <\/span> <\/b> X<ArrayList<<\/span> Hossz\u00fa<\/span> <\/b> >> x1 = \u00faj X<ArrayList<Long>>();\u00a0<\/span> <\/tt>
\n \u00a0\u00a0\u00a0\u00a0 X<ArrayList<<\/span> H\u00far<\/span> <\/b> >> x2 = \u00faj X<ArrayList<String>>(); <\/span> \/\/ hiba<\/span> <\/b> <\/tt>
\n \u00a0 }<\/tt>
\n }<\/tt><\/p><\/blockquote>\nT\u00edpus\u00fa referenciav\u00e1ltoz\u00f3k T <\/tt> (a t\u00edpusparam\u00e9ter) a helyettes\u00edt\u0151 karakter t\u00edpus\u00fa referenciav\u00e1ltoz\u00f3kk\u00e9nt kezelend\u0151k (a t\u00edpusparam\u00e9ter k\u00f6t\u00f6tt).\u00a0 P\u00e9ld\u00e1nkban ennek az a k\u00f6vetkezm\u00e9nye, hogy a ford\u00edt\u00f3 elutas\u00edtja olyan met\u00f3dusok megh\u00edv\u00e1s\u00e1t, amelyek a type param\u00e9ter \u00e1ltal jelzett “ismeretlen” t\u00edpus\u00fa argumentumot veszik fel, mint pl. List.add<\/tt> , mert a korl\u00e1t helyettes\u00edt\u0151 karakterekkel param\u00e9terezett t\u00edpus fels\u0151 korl\u00e1ttal.
\nUgyanakkor a k\u00f6t\u00f6tt List<? kiterjeszti Number><\/tt> meghat\u00e1rozza a t\u00edpus argumentumk\u00e9nt haszn\u00e1lhat\u00f3 t\u00edpusokat. A ford\u00edt\u00f3 minden t\u00edpus\u00fa argumentumot elfogad, amely a t\u00edpuscsal\u00e1dhoz tartozik List<? kiterjeszti Number><\/tt> , azaz minden alt\u00edpusa Lista<\/tt> t\u00edpus argumentummal, amely alt\u00edpusa Sz\u00e1m<\/tt> .<\/p>\n
Egy t\u00edpusparam\u00e9ter egy m\u00e1sik t\u00edpusparam\u00e9ter korl\u00e1tjak\u00e9nt haszn\u00e1lhat\u00f3.<\/p>\n
P\u00e9lda (t\u00edpusparam\u00e9ter k\u00f6t\u00e9sk\u00e9nt haszn\u00e1lt t\u00edpusparam\u00e9terre):<\/p>\n
oszt\u00e1ly Tripla <T><\/b> {<\/tt>
\n \u00a0 priv\u00e1t T fst, snd, trd;<\/tt>
\n \u00a0 nyilv\u00e1nos < U<\/b> kiterjeszti T<\/span> <\/b> , V kiterjeszti T<\/span> <\/b> , W kiterjeszti 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>\nEbben a p\u00e9ld\u00e1ban a t\u00edpus param\u00e9ter T<\/tt> a param\u00e9terezett oszt\u00e1lyt haszn\u00e1ljuk a t\u00edpusparam\u00e9terek korl\u00e1tjak\u00e9nt U<\/tt> ,\u00a0 V<\/tt> \u00e9s W<\/tt> az adott oszt\u00e1ly param\u00e9terezett p\u00e9ld\u00e1nymet\u00f3dus\u00e1nak.<\/p>\n
Tov\u00e1bbi lehet\u0151s\u00e9gek a t\u00edpusparam\u00e9terek m\u00e1s t\u00edpusparam\u00e9terek hat\u00e1rak\u00e9nt t\u00f6rt\u00e9n\u0151 haszn\u00e1lat\u00e1ra olyan helyzetekben, amikor egy be\u00e1gyazott t\u00edpust egy \u00e1ltal\u00e1nos t\u00edpuson bel\u00fcl, vagy egy helyi oszt\u00e1lyt egy \u00e1ltal\u00e1nos met\u00f3duson bel\u00fcl hat\u00e1roznak meg.\u00a0 M\u00e9g az is megengedett, hogy egy t\u00edpusparam\u00e9tert egy m\u00e1sik t\u00edpusparam\u00e9terhez k\u00f6tve ugyanabban a t\u00edpusparam\u00e9ter r\u00e9szben.<\/p>\n
Egy oszt\u00e1lynak min\u0151s\u00fcl\u0151 k\u00f6t\u00e9s hozz\u00e1f\u00e9r\u00e9st biztos\u00edt minden nyilv\u00e1nos tagj\u00e1hoz, azaz nyilv\u00e1nos mez\u0151ihez, met\u00f3dusaihoz \u00e9s be\u00e1gyazott t\u00edpusaihoz. Csak a konstruktorok nem \u00e9rhet\u0151k el, mert nincs garancia arra, hogy a k\u00f6t\u00e9s egy aloszt\u00e1lya ugyanazokkal a konstruktorokkal rendelkezik, mint a k\u00f6t\u00e9s.<\/p>\n
P\u00e9lda (egy t\u00edpusparam\u00e9ter k\u00f6t\u00e9sek\u00e9nt haszn\u00e1lt oszt\u00e1lyra):<\/p>\n
nyilv\u00e1nos oszt\u00e1ly Szuperoszt\u00e1ly<\/span> {<\/tt> \u00a0\u00a0\u00a0 \/\/ statikus tagok<\/tt>
\n \u00a0\u00a0\u00a0 nyilv\u00e1nos enum EnumType {THIS, THAT}<\/tt>
\n \u00a0\u00a0\u00a0 public static Object staticField;<\/tt>
\n \u00a0\u00a0\u00a0 public static void staticMethod() { ... }<\/tt><\/p>\n \u00a0\u00a0\u00a0 \/\/ nem statikus tagok<\/tt>
\n \u00a0\u00a0\u00a0 public class InnerClass { ... }<\/tt>
\n \u00a0\u00a0\u00a0 public Object nonStaticField;<\/tt>
\n \u00a0\u00a0\u00a0 public void nonStaticMethod() { ... }<\/tt><\/p>\n
\u00a0\u00a0\u00a0 \/\/ konstruktorok<\/tt>
\n \u00a0\u00a0\u00a0 public SuperClass() { ... }<\/tt><\/p>\n
\u00a0\u00a0\u00a0 \/\/ priv\u00e1t tagok<\/tt>
\n \u00a0\u00a0\u00a0 private Object privateField;\u00a0<\/tt><\/p>\n
\u00a0\u00a0\u00a0 ...<\/tt>
\n }<\/tt><\/p>\n
nyilv\u00e1nos v\u00e9gs\u0151 oszt\u00e1ly SomeClass<T kiterjeszti Szuperoszt\u00e1ly<\/span> <\/b> > {<\/tt>
\n \u00a0\u00a0\u00a0 priv\u00e1t T objektum;<\/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 visszat\u00e9r\u00e9s<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \"statikus be\u00e1gyazott t\u00edpus\u00a0\u00a0\u00a0 : \"+T.EnumType.class+\"\\n\"\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"statikus mez\u0151\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+T.staticField+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"statikus met\u00f3dus\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+T.staticMethod()+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"nem statikus be\u00e1gyazott t\u00edpus: \"+T.InnerClass.class+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"nem statikus mez\u0151\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+object.nonStaticField+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"nem statikus met\u00f3dus\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 : \"+(\u00faj T())+\"\\n\"\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/ hiba<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"priv\u00e1t tag\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+object.privateField+\"\\n\"\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/ hiba\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 ;<\/tt>
\n \u00a0\u00a0\u00a0 }<\/tt>
\n }<\/tt><\/p><\/blockquote>\n
A k\u00f6t\u00f6tt Szuperoszt\u00e1ly<\/tt> hozz\u00e1f\u00e9r\u00e9st biztos\u00edt be\u00e1gyazott t\u00edpusaihoz, statikus mez\u0151ihez \u00e9s met\u00f3dusaihoz, valamint nem statikus mez\u0151ihez \u00e9s met\u00f3dusaihoz.\u00a0 Csak a kivitelez\u0151 nem el\u00e9rhet\u0151.\u00a0 Ez az\u00e9rt van, mert a konstruktorok nem \u00f6r\u00f6kl\u0151dnek. Minden aloszt\u00e1ly meghat\u00e1rozza a saj\u00e1t konstruktorait, \u00e9s nem kell t\u00e1mogatnia a szuperoszt\u00e1ly konstruktorait.\u00a0 Ez\u00e9rt nincs garancia arra, hogy egy aloszt\u00e1ly Szuperoszt\u00e1ly<\/tt> ugyanolyan konstruktora lesz, mint a szuperoszt\u00e1ly\u00e1nak.<\/p>\n
A kontextus, amelyben Az Enum<E kiterjeszti az Enum<E>>-t<\/tt> ” jelenik meg a nyilatkozata Enum<\/tt> oszt\u00e1ly csomagban java.lang<\/tt> :<\/p>\n nyilv\u00e1nos absztrakt oszt\u00e1ly Az Enum<E kiterjeszti az Enum<E>>-t<\/b> {<\/tt>
\n \u00a0 ...<\/tt>
\n }<\/tt><\/p><\/blockquote>\n
A t\u00edpus Enum<\/tt> az \u00f6sszes felsorol\u00e1st\u00edpus k\u00f6z\u00f6s alaposzt\u00e1lya.\u00a0 Java nyelven egy felsorol\u00e1st\u00edpus, mint pl Sz\u00edn<\/tt> oszt\u00e1lyra ford\u00edtj\u00e1k Sz\u00edn<\/tt> amely kiterjed Enum<Color><\/tt> . A szuperoszt\u00e1ly c\u00e9lja Enum<\/tt> c\u00e9lja, hogy olyan funkcionalit\u00e1st biztos\u00edtson, amely minden felsorol\u00e1si t\u00edpusra jellemz\u0151.<\/p>\n
Itt van egy v\u00e1zlat az oszt\u00e1lyr\u00f3l Enum<\/tt> :<\/p>\n nyilv\u00e1nos absztrakt oszt\u00e1ly Enum< E<\/span> kiterjeszti Enum<E>><\/b> Comparable< val\u00f3s\u00edtja meg E<\/span> <\/b> >, sorozhat\u00f3 {<\/tt>
\n \u00a0 priv\u00e1t v\u00e9gleges String n\u00e9v;<\/tt>
\n \u00a0 public final String name() { ... }<\/tt> \u00a0 private final ind ordinal;<\/tt>
\n \u00a0 public final int ordinal() { ... }<\/tt><\/p>\n \u00a0 protected Enum(karakterl\u00e1nc neve, int sorsz\u00e1m\u00fa) { ... }<\/tt><\/p>\n
\u00a0 public String\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 toString() { ... }<\/tt>
\n \u00a0 nyilv\u00e1nos v\u00e9gleges logikai \u00e9rt\u00e9k egyenl\u0151 (Object other) { ... }<\/tt>
\n \u00a0 public final int hashCode() { ... }<\/tt>
\n \u00a0 Protected final Az objektumkl\u00f3n() CloneNotSupportedException { ... }<\/tt>
\n \u00a0 nyilv\u00e1nos v\u00e9gs\u0151 int \u00d6sszehasonl\u00edt\u00e1s( E<\/span> <\/b> o) { ... }<\/tt><\/p>\n \u00a0 nyilv\u00e1nos d\u00f6nt\u0151 Class< E<\/span> <\/b> > getDeclaringClass() { ... }<\/tt>
\n \u00a0 public static <T kiterjeszti Enum<T>> T valueOf(Class<T> enumType, String name) { ... }<\/tt>
\n }<\/tt><\/p><\/blockquote>\nA meglep\u0151 jellemz\u0151 a nyilatkozatban “ Az Enum<E kiterjeszti az Enum<E>>-t<\/tt> ” az a t\u00e9ny, hogy az \u00fajonnan meghat\u00e1rozott oszt\u00e1ly Enum<\/tt> \u00e9s annak \u00fajonnan defini\u00e1lt t\u00edpusparam\u00e9tere E <\/tt> azonos t\u00edpus\u00fa param\u00e9ter korl\u00e1tj\u00e1ban jelennek meg.\u00a0 Ez azt jelenti, hogy a Enum<\/tt> t\u00edpust p\u00e9ld\u00e1nyos\u00edtani kell valamelyik alt\u00edpus\u00e1hoz.\u00a0 Annak meg\u00e9rt\u00e9s\u00e9hez, hogy ennek mi\u00e9rt van \u00e9rtelme, vegy\u00fck figyelembe, hogy minden enumt\u00edpust leford\u00edtanak az alt\u00edpusba Enum<\/tt> .<\/p>\n
Itt van a kital\u00e1lt enum t\u00edpus Sz\u00edn<\/tt> :<\/p>\n enum Sz\u00edn<\/b> {PIROS, K\u00c9K, Z\u00d6LD}<\/tt><\/p><\/blockquote>\n
A ford\u00edt\u00f3 a k\u00f6vetkez\u0151 oszt\u00e1lyba ford\u00edtja le:<\/p>\n
nyilv\u00e1nos z\u00e1r\u00f3\u00f3ra Sz\u00edn<\/b> kiterjed Enum<Color><\/b> {<\/tt>
\n \u00a0 public static final Sz\u00edn[] \u00e9rt\u00e9kek() { return (Sz\u00edn[])$\u00c9RT\u00c9KEK.kl\u00f3n(); }<\/tt>
\n \u00a0 public static Color valueOf(String name) { ... }<\/tt> \u00a0 private Color(String s, int i) { super(s, i); }<\/tt><\/p>\n
\u00a0 nyilv\u00e1nos statikus v\u00e9gleges Sz\u00edn PIROS;<\/tt>
\n \u00a0 publikus statikus v\u00e9gleges Sz\u00edn K\u00c9K;<\/tt>
\n \u00a0 publikus statikus v\u00e9gleges Sz\u00edn Z\u00d6LD;<\/tt><\/p>\n
\u00a0 priv\u00e1t statikus v\u00e9gleges Sz\u00edn $\u00c9RT\u00c9KEK[];<\/tt><\/p>\n
\u00a0 static {<\/tt>
\n \u00a0\u00a0\u00a0 PIROS = new Color(\"PIROS\", 0);<\/tt>
\n \u00a0\u00a0\u00a0 K\u00c9K = new Color(\"BLUE\", 1);<\/tt>
\n \u00a0\u00a0\u00a0 Z\u00d6LD = new Color(\"Z\u00d6LD\", 2);<\/tt>
\n \u00a0\u00a0\u00a0 $\u00c9RT\u00c9KEK = (\u00faj sz\u00edn[] { PIROS, K\u00c9K, Z\u00d6LD });<\/tt>
\n \u00a0 }<\/tt>
\n }<\/tt><\/p><\/blockquote>\n
Az \u00f6r\u00f6kl\u0151d\u00e9snek az a hat\u00e1sa, hogy a Sz\u00edn<\/tt> type \u00f6r\u00f6kli az \u00f6sszes olyan met\u00f3dust, amely a -ben implement\u00e1lt Enum<Color><\/tt> .\u00a0 K\u00f6zt\u00fck van a \u00f6sszehasonl\u00edtani<\/tt> m\u00f3dszer.\u00a0 A Sz\u00edn. \u00f6sszehasonl\u00edtani<\/tt> m\u00f3dszernek val\u00f3sz\u00edn\u0171leg a Sz\u00edn<\/tt> \u00e9rvk\u00e9nt.\u00a0 Annak \u00e9rdek\u00e9ben, hogy ez megt\u00f6rt\u00e9njen, oszt\u00e1ly Enum<\/tt> \u00e1ltal\u00e1nos \u00e9s a Enum.compareTo<\/tt> m\u00f3dszert vesz ig\u00e9nybe Enum<\/tt> t\u00edpus param\u00e9tere E <\/tt> \u00e9rvk\u00e9nt.\u00a0 Ennek eredm\u00e9nyek\u00e9nt \u00edrja be Sz\u00edn<\/tt> sz\u00e1rmaz\u00f3 Enum<Color><\/tt> \u00f6r\u00f6k\u00f6l a \u00f6sszehasonl\u00edtani<\/tt> m\u00f3dszer, amely a Sz\u00edn<\/tt> ahogy \u00e9s \u00e9rvel\u00e9s, pontosan \u00fagy, ahogy kell.
\nHa boncolgatjuk a nyilatkozatot” Az Enum<E kiterjeszti az Enum<E>>-t<\/tt> “L\u00e1thatjuk, hogy ennek a mint\u00e1nak t\u00f6bb aspektusa van.<\/p>\n
El\u0151sz\u00f6r is az a t\u00e9ny, hogy a t\u00edpusparam\u00e9ter-k\u00f6t\u00e9s maga a t\u00edpus: “ Enum<\/b> Az <E meghosszabbodik Enum<\/b> <E>><\/tt> “. Biztos\u00edtja, hogy csak a t\u00edpus alt\u00edpusai Enum<\/tt> t\u00edpus argumentumk\u00e9nt enged\u00e9lyezettek. (Elm\u00e9letileg \u00edrja be Enum<\/tt> \u00f6nmag\u00e1ban is p\u00e9ld\u00e1nyos\u00edthat\u00f3, mint pl Enum<Enum><\/tt> , de ez term\u00e9szetesen nem sz\u00e1nd\u00e9kos, \u00e9s neh\u00e9z elk\u00e9pzelni olyan helyzetet, amelyben egy ilyen p\u00e9ld\u00e1nyos\u00edt\u00e1s hasznos lenne.)<\/p>\n
M\u00e1sodszor, ott van az a t\u00e9ny, hogy a param\u00e9terhez k\u00f6t\u00f6tt t\u00edpus a param\u00e9terezett t\u00edpus Enum <E><\/b> <\/tt> , amely a type param\u00e9tert haszn\u00e1lja E<\/tt> mint a k\u00f6t\u00f6tt t\u00edpusargumentuma. Ez a deklar\u00e1ci\u00f3 biztos\u00edtja, hogy az \u00f6r\u00f6kl\u0151d\u00e9si kapcsolat egy alt\u00edpus \u00e9s egy p\u00e9ld\u00e1nya k\u00f6z\u00f6tt fenn\u00e1ll Enum<\/tt> alak\u00fa Az X kiterjeszti az Enum<X>-t<\/tt> “. Egy alt\u00edpus, p\u00e9ld\u00e1ul “ Az X kiterjeszti az Enum<Y>-t<\/tt> ” nem deklar\u00e1lhat\u00f3 a type argumentum miatt Y<\/tt> nem lenne hat\u00e1rokon bel\u00fcl; csak alt\u00edpusai Enum<X><\/tt> hat\u00e1rokon bel\u00fcl vannak.<\/p>\n
Harmadszor, ott van az a t\u00e9ny, hogy Enum<\/tt> els\u0151sorban \u00e1ltal\u00e1nos.\u00a0 Ez azt jelenti, hogy n\u00e9h\u00e1ny m\u00f3dszer az oszt\u00e1ly Enum<\/tt> vegyen egy argumentumot, vagy adjon vissza egy ismeretlen t\u00edpus\u00fa \u00e9rt\u00e9ket (vagy m\u00e1s m\u00f3don f\u00fcggj\u00f6n egy ismeretlen t\u00edpust\u00f3l). Mint m\u00e1r tudjuk, ez az ismeretlen t\u00edpus k\u00e9s\u0151bb egy alt\u00edpus lesz X<\/tt> -b\u00f3l Enum<X><\/tt> .\u00a0 Ez\u00e9rt a param\u00e9terezett t\u00edpusban Enum<X><\/tt> , ezek a m\u00f3dszerek az alt\u00edpust \u00e9rintik X<\/tt> , \u00e9s az alt\u00edpusba \u00f6r\u00f6kl\u0151dnek X<\/tt> .\u00a0 A \u00f6sszehasonl\u00edtani<\/tt> a m\u00f3dszer egy p\u00e9lda egy ilyen m\u00f3dszerre; a szuperoszt\u00e1lyb\u00f3l \u00f6r\u00f6kl\u0151dik minden aloszt\u00e1lyba, \u00e9s minden esetben aloszt\u00e1lyspecifikus al\u00e1\u00edr\u00e1ssal rendelkezik.<\/p>\n
\u00d6sszefoglalva, a nyilatkozat “ Az Enum<E kiterjeszti az Enum<E>>-t<\/tt> ” a k\u00f6vetkez\u0151k\u00e9ppen fejthet\u0151 meg: Enum<\/tt> egy \u00e1ltal\u00e1nos t\u00edpus, amely csak az alt\u00edpusaihoz p\u00e9ld\u00e1nyos\u00edthat\u00f3, \u00e9s ezek az alt\u00edpusok \u00f6r\u00f6k\u00f6lnek n\u00e9h\u00e1ny hasznos met\u00f3dust, amelyek k\u00f6z\u00fcl n\u00e9h\u00e1ny alt\u00edpus-specifikus argumentumokat vesz fel (vagy m\u00e1s m\u00f3don f\u00fcgg az alt\u00edpust\u00f3l).<\/p>\n
Oszt\u00e1lyok als\u00f3 korl\u00e1tos t\u00edpusparam\u00e9terei<\/b><\/p>\n
A t\u00edpusparam\u00e9tereknek t\u00f6bb hat\u00e1ra is lehet, p\u00e9ld\u00e1ul in oszt\u00e1ly Box<T kiterjeszti Number> {...}<\/tt> . De egy t\u00edpusparam\u00e9ternek nem lehet als\u00f3 korl\u00e1tja, vagyis olyan konstrukci\u00f3, mint pl oszt\u00e1ly\u00fa Box<T nagy<\/b> Number> {...}<\/tt> nem megengedett.\u00a0 Mi\u00e9rt ne?\u00a0 A v\u00e1lasz: \u00e9rtelmetlen, mert nem venne semmit, ha megengedn\u00e9.\u00a0 N\u00e9zz\u00fck meg, mi\u00e9rt zavar\u00f3ak az oszt\u00e1lyok als\u00f3 hat\u00e1r\u00e1nak t\u00edpusparam\u00e9terei, ha megvizsg\u00e1ljuk, mit jelent egy t\u00edpusparam\u00e9ter fels\u0151 korl\u00e1tja.<\/p>\n
A t\u00edpusparam\u00e9ter fels\u0151 hat\u00e1r\u00e1nak h\u00e1rom hat\u00e1sa van:<\/p>\n
\n\n- Korl\u00e1tozott p\u00e9ld\u00e1nyos\u00edt\u00e1s.<\/i> <\/b> A fels\u0151 korl\u00e1t korl\u00e1tozza az \u00e1ltal\u00e1nos t\u00edpus p\u00e9ld\u00e1nyos\u00edt\u00e1s\u00e1hoz haszn\u00e1lhat\u00f3 t\u00edpusk\u00e9szletet.\u00a0 Ha kijelentj\u00fck a oszt\u00e1ly Box<T kiterjeszti Number> {...} <\/tt> akkor a ford\u00edt\u00f3 gondoskodna arr\u00f3l, hogy csak az alt\u00edpusai Sz\u00e1m<\/tt> t\u00edpus argumentumk\u00e9nt haszn\u00e1lhat\u00f3.\u00a0 Vagyis a Doboz<Sz\u00e1m><\/tt> vagy a Doboz<Long><\/tt> megengedett, de a Box<Object><\/tt> vagy Box<String><\/tt> elutas\u00edt\u00e1sra ker\u00fclne<\/li>\n<\/ol>\n<\/ol>\n
P\u00e9lda (korl\u00e1tozott p\u00e9ld\u00e1nyos\u00edt\u00e1sra egy t\u00edpusparam\u00e9ter fels\u0151 korl\u00e1tja miatt):
\n oszt\u00e1ly Box<T kiterjeszti Number> {\u00a0<\/tt>
\n \u00a0\u00a0 priv\u00e1t T \u00e9rt\u00e9k;\u00a0<\/tt>
\n \u00a0\u00a0 public Box(T t) { \u00e9rt\u00e9k = t; }\u00a0<\/tt>
\n \u00a0\u00a0 ...<\/tt>
\n }\u00a0<\/tt> oszt\u00e1ly teszt {\u00a0<\/tt>
\n \u00a0\u00a0 public static void main(String[] args) {\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Box<Long> boxOfLong = \u00faj Box<Long>(0L);\u00a0\u00a0 \/\/ rendben<\/b> <\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Box<String> boxOfString = new Box<String>(\"\"); \/\/ hiba: A karakterl\u00e1nc nincs a hat\u00e1rokon bel\u00fcl<\/span> <\/b> <\/tt>
\n \u00a0\u00a0 }<\/tt>
\n }<\/tt><\/p>\n\n- Hozz\u00e1f\u00e9r\u00e9s a nem statikus tagokhoz. <\/i> <\/b> A fels\u0151 korl\u00e1t hozz\u00e1f\u00e9r\u00e9st biztos\u00edt az \u00f6sszes nyilv\u00e1nos, nem statikus met\u00f3dushoz \u00e9s a fels\u0151 korl\u00e1t mez\u0151j\u00e9hez.\u00a0 A mi oszt\u00e1ly Box<T kiterjeszti Number> {...}<\/tt> az oszt\u00e1lyban meghat\u00e1rozott \u00f6sszes nyilv\u00e1nos nem statikus met\u00f3dust meg tudjuk h\u00edvni Sz\u00e1m<\/tt> , mint pl intValue()<\/tt> p\u00e9ld\u00e1ul.\u00a0 A fels\u0151 korl\u00e1t n\u00e9lk\u00fcl a ford\u00edt\u00f3 minden ilyen h\u00edv\u00e1st elutas\u00edtana. P\u00e9lda (nem statikus tagokhoz val\u00f3 hozz\u00e1f\u00e9r\u00e9sre egy t\u00edpusparam\u00e9ter fels\u0151 korl\u00e1tja miatt):<\/li>\n<\/ol>\n
oszt\u00e1ly Box<T kiterjeszti Number> {\u00a0<\/tt>
\n \u00a0\u00a0 priv\u00e1t T \u00e9rt\u00e9k;\u00a0<\/tt>
\n \u00a0\u00a0 public Box(T t) { \u00e9rt\u00e9k = t; }\u00a0<\/tt>
\n \u00a0\u00a0 public int increment() { return value.intValue()+1; } \/\/ <= hiba lenne a sz\u00e1mhoz k\u00f6t\u00f6tt n\u00e9lk\u00fcl<\/b> <\/tt>
\n \u00a0\u00a0 ...<\/tt>