Casten van objecten

[robinP95]

Ik heb al een tijdje programmeren links laten liggen en laatst weer opgepakt.
Nu loop ik vast bij het kunnen begrijpen van casten.

Stel: een superklasse Winkel met de subklasse Supermarkt

Winkel winkel = new Winkel();
Supermarkt jumbo = new Supermarkt();

jumbo = (Supermarkt)winkel;

Wat is hierboven nu gebeurd? Als ik het goed begrijp is het object "winkel" gecast naar een Supermarkt object als variabele "jumbo". Maar is "jumbo" nu ook een echt een normaal Supermarkt object, of bevat dit object iets extra's aangezien hij gecast is vanaf een Winkel object?


Wat hieronder staat, doet dit hetzelfde als hierboven beschreven?

Winkel C1000 = new Supermarkt();


Alvast bedankt,
-Robin

[Caelorum]

Het eerste is wat ze noemen upcasting en is vaak al niet eens mogelijk in een taal. Als het wel mogelijk is ligt het maar net aan de taal hoe er mee wordt omgegaan.
Het tweede doet niet wat erboven staat. In het tweede voorbeeld creëer je een object van het type Supermarkt en behandel je het als een Winkel. Je kan dan dus de methodes zoals gedefinieerd in Winkel aanroepen op het Supermarkt object, maar niet die in Supermarkt. Dat kan handig zijn in het geval van meerdere typen Winkels die je toch allemaal als hetzelfde wilt behandelen op sommige plekken.

[Sebazzz]

Casten moet je zien als tegen de compiler zeggen: "Ik weet wat het type van deze variabele is, ga maar uit van die aanname".

[.oisyn]

robinP95 schreef op zaterdag 10 januari 2015 @ 14:26:
Wat is hierboven nu gebeurd?

Eigenlijk helemaal niets. Het statische type zoals je compiler er tegenaankijkt is gewijzigd, maar het object is nog exact hetzelfde. Afhankelijk van de taal (bij de meeste eigenlijk wel) krijg je een error bij het casten, want 'winkel' is nou eenmaal geen (subklasse van) Supermarkt.

Maar is "jumbo" nu ook een echt een normaal Supermarkt object, of bevat dit object iets extra's aangezien hij gecast is vanaf een Winkel object?

Geen van beide. Het is een Winkel object. Eigenschappen die uniek zijn voor een Supermarkt zal het object niet hebben.

Wat hieronder staat, doet dit hetzelfde als hierboven beschreven?

Winkel C1000 = new Supermarkt();

Ja en nee. Het doet hetzelfde in de zin dat ook hier anders tegen het object aan gekeken wordt door de compiler. Je zult hier alleen geen runtime error krijgen aangezien elke Supermarkt per definitie ook een Winkel is. Het object waar 'C1000' naar wijst is en blijft een Supermarkt, alleen limiteer je jezelf tot de eigenschappen die alle Winkels met elkaar delen.

Je kunt 'C1000' vervolgens weer downcasten naar een Supermarkt, en in dat geval krijg je geen errors aangezien het object waar 'C1000' naar verwijst in werkelijkheid een Supermarkt is.

Caelorum schreef op zaterdag 10 januari 2015 @ 14:56:
Het eerste is wat ze noemen upcasting en is vaak al niet eens mogelijk in een taal.

Andersom . Van derived naar base heet upcasten (en kan in de regel impliciet), van base naar derived heet downcasten (en moet doorgaans expliciet)

[ Voor 18% gewijzigd door .oisyn op 10-01-2015 16:12 ]

[Herko_ter_Horst]

Aangenomen dat je een inheritance-relatie hebt tussen Winkel en Supermarkt (Supermarkt extends Winkel), heeft casten alleen zin/gaat het alleen goed als je een Winkel hebt waarvan jij als programmeur weet dat het een Supermarkt is.

Dus bijv.

code:

Winkel jumboWinkel = new Supermarkt();
Supermarkt jumboSupermarkt = (Supermarkt)jumboWinkel;

Dit werkt omdat het object waar jumboWinkel naar refereert een Supermarkt is.

Wat dus niet werkt is:

code:

Winkel gammaWinkel = new Bouwmarkt();
Supermarkt gammaSupermarkt = (Supermarkt)gammaWinkel;

Het moge duidelijk zijn waarom dit niet werkt.

En wat dus ook niet werkt:

code:

Winkel winkel = new Winkel();
Supermarkt supermarkt = (Supermarkt)winkel;

Dit werkt ook niet, want winkel is geen Supermarkt.

Wat wel altijd kan, zonder cast, is de andere kant op:

code:

Supermarkt jumbo = new Supermarkt();
Winkel jumboWinkel = jumbo;
Bouwmarkt gamma = new Bouwmarkt();
Winkel gammaWinkel = gamma;

tl;dr: casten is geen magie, het is een aanwijzing voor de compiler om iets goed te keuren wat hij zelf niet kan weten, maar wat jij als programmeur wel weet.

[ Voor 9% gewijzigd door Herko_ter_Horst op 10-01-2015 16:30 ]

[farlane]

robinP95 schreef op zaterdag 10 januari 2015 @ 14:26:
Stel: een superklasse Winkel met de subklasse Supermarkt

code:

Winkel winkel = new Winkel();
Supermarkt jumbo = new Supermarkt();

jumbo = (Supermarkt)winkel;

Als je moet downcasten is het meestal goed om te kijken of je klasse hiërarchie wel ok is, het wordt vaak als een 'code smell' gezien