Vytvoření nového objektu – Java – Fórum – Programujte.com

Dobrý den, chtěl bych se zeptat, proč je syntaxe nového objektu:

TypObjektu mujNovyObjekt = TypObjektu();

Jednoduše nechápu, proč se tam 2x vyskytuje název toho objektu (TypObjektu), logičtější by mi připadala syntaxe:

mujNovyObjekt = new TypObjektu();

Děkuji

#1 ViliX64
Jde o to, že

TypObjektu mujNovyObjekt

je pouze reference na objekt. Do této reference můžeš přiřadit jak novou instanci této třídy, tak i instanci potomku této třídy, např. když budu mít něco takového:

class A {}
class B extends A {}

tak já mohu udělat toto:

A objekt = new B();

podívej se na pojem polymorfismus

neni problem...

TypObjektu mujNovyObjekt;

mujNovyObjekt = new TypObjektu();

Problem solved....

Kazdopadne Java JE typovy jazyk, takze musis prekvapive poskytnout typ pro deklarace promennych. Taky nemusis dat primo TypObjektu ale jeden z jeho rodicu.. tim jak v jave je vse odvozeno od tridy Object, klidne muzes pouzit ten. (nicmene mas pak bez pretypovani k dispozici pouze rozhrani ktere je k dispozici pro ten definovany typ)

#2 crazy
no smysluplnější příklad by spíš byl, když budu tvořit pole tvarů:

class Tvar {}
class Kruh extends Tvar {}
class Ctverec extends Tvar {}

ArrayList<Tvar> list;

pak ja do tohoto listu mohu prirazovat, instance trid Tvar, Kruh, Ctverec

#1 ViliX64

Zkuste se podivat na Scalu, tam muzete psat

val mojeInstance = new MojeTrida()

A kompilator odvodi, ze typ promenne ``mojeInstance`` je ``MojeTrida``. Funguje to i na priklad se seznamem:

trait Tvar // = zhruba interface
class Kruh extends Tvar
class Ctverec extends Tvar
...

val tvary = List(new Ctverec, new Ctverec, new Kruh)
val ctverce = List(new Ctverec, new Ctverec)

Kompilator odvodi, ze ``tvary`` jsou typu ``List[Tvar]`` (v syntaxi Javy by to bylo ``List<Tvar>``); ``ctverce`` jsou typu ``List[Ctverec]``.

No, a hlavne kompilator Scaly funguje na JVM; muzete pouzit jakoukoliv jinou Java knihovnu a vystpu je Java bytecode, takze vsechno funguje jako po masle.