Dotaz: Java - přetypování a jiné libůstky

[ja_kral_ll]

Ahoj, začínám s Javou a mám pár nesrovnalostí.

Jak poznám na jaké hodnoty můžu přetypovat určitou hodnotu ?

viz třeba jeden example na Android :

final EditText myEditText = (EditText)findViewById(R.id.myEditText);

Chápu že muselo dojít k přetypování z View na EditText protože findViewById vrací View a já potřebuju EditText. Kde se ale dá zjistit jaké typy jsou kompatibilní a lze je přetypovat ?

Dále mi neni jasný co je <String> v tomto examplu :

final ArrayList<String> todoItems = new ArrayList<String>();

Díky za nakopnutí :)

---

---

Odpovědi

[ja_kral_ll]

Ad přetypování – pokud jsou nějaké typy automaticky „typově kompatibilní“, přetypovávat je nemusíte vůbec. Přetypování je nutné v případě, kdy podle deklarace (proměnné nebo návratového typu metody) dostanete předka (třídu nebo interface), ale vy víte, že za splnění určitých podmínek ta proměnná bude obsahovat nebo metoda bude vracet nějakého potomka deklarovaného typu.

Například v následujícím kódu můžete přetypování udělat, ale kdybyste neznam vstupní parametr metody test(), o vraceném typu nic nevíte.

public Object test(int cislo) {
  if (cislo == 0) {
    return "nula";
  }
  return 0;
}

String str = (String) test(0);

V druhém případě jde o generika, novinku z Javy 5.

Každopádně doporučuju sehnat nějakou učebnici Javy, dobrá je např. Učebnice jazyka Java od Pavla Herouta, novější vydáí už by měla zahrnovat i novinky v Javě 5.

[pht]

Kde se ale dá zjistit jaké typy jsou kompatibilní a lze je přetypovat ?

Přetypovat můžete co chcete na co chcete. Přetypování Vám ale "projde" jen v případě, že objekt je skutečně instancí dané třídy (nebo jejím potomkem). Pokud toto nebude splněno dostanete výjimku ClassCastException.

To se týká přetypování objektů, přetypování primitivních typů je veskrze jiná věc.

[ja_kral_ll]

Opravdu musí jít o potomka dané třídy ? Nebo stačí že typ na který přetypovávám musí mít implementovány stejné metody a proměnné jako typ původní ?

Díky za ta generika - dostuduji :)

[razor]

No můžeš to přetypovat na interface.

[razor]

Přesněji řečeno přetypovat na interface, který třída dané instance implementuje.

[ja_kral_ll]

Musí jít o potomka (potomek třídy nebo implementace rozhraní). Pouhá implementace stejných metod nestačí.

[ja_kral_ll]

Děkuji za rady pánové :)

[qwerty]

no nie tak presne, nemozete pretypovat "co chcete na co chcete", mozete bud pretypovat hocico na nejaky interface, alebo hocico na triedu, ktora je potomkom (alebo predkom, co ale nema moc zmysel) hocicoho
tj. nemozete napr. spravit:
Map map = (HashMap) new LinkedList();
toto nepojde ani len skompilovat

[pht]

Map map = (HashMap) new LinkedList();

toto nepojde ani len skompilovat

OK, zdá se, že tohle chytne už překladač. Ale přeložíte

Map m = (Map) new ArrayList();

nebo

Map m = (HashMap) (Object) new ArrayList();

a oboje podle očekávání vyhodí výjimku ClassCastException.

alebo predkom, co ale nema moc zmysel

Smysl to má, pokud to třeba použijete v souvislosti s generiky (např. metodou java.util.arrays.asList).

[Filip Jirsák]

Rozdíl je v tom, zda „rodič“ je třída nebo rozhraní – kvůli vícenásobné dědičnosti (u rozhraní) resp. jejímu zákazu (u tříd). Tj. deklarovaný typ LinkedList na třídu HashMap nepřetypujete, protože žádný objekt nemůže být zároveň typu HashMap i LinkedList. U rozhraní to možné je – můžete si vytvořit potomka ArrayList, který bude zároveň typu Map.

U toho konstruktoru je to sice vidět, že to přetypování je nesmysl, ale kompilátor zřejmě nezkoumá tenhle vyšší pohled. Pro kompilátor jsou to dva kroky – získání objektu typu ArrayList (v tomto případě vytvořením nové instance) a v druhém kroku jeho přetypování. Když si místo toho představíte trochu jiný kód, ten už může normálně fungovat:

public ArrayList getArrayList() {…}
Map m = (Map) getArrayList();

[podlesh]

Na první otázku již bylo v podstatě odpovězeno, takže jen stručně: přetypování lze použít (zkompilovat) lze pouze pokud "cílový" typ je potomkem deklarovaného typu na tom místě (pojmem "předek" zde pro zjednodušení označuji i implementovaný interface); případně opačně, ale v takovém případě se jedná o operaci která vůbec nic nedělá. U primitivních typů je definována kompletní tabulka co lze převést na co a jak, přičemž princip je podobný (pokud můžeme považovat double za předka int).

Na druhou otázku také velmi zjednodušeně: jedná se o generiky a tento konkrétní zápis znamená, že v tom seznamu se mohou vykytovat pouze řetězce. Nic jiného tam nelze vložit a při čtení je automaticky deklarován typ String. Pozor na to, že generiky v Javě jsou zpracovávány jen na úrovní kompilátoru, ve výsledném kódu tam je deklarováno Object a všude doplněno přetypování.