visual basic 2010 broncode voorbeelden

Niet alleen een klasse zelf kunnen we abstract maken, ook members kunnen abstract worden gemaakt.  Deze abstracte members hebben een signatuur ( zijn aanwezig in een klasse met een bepaalde interface ), maar hebben geen implementatie.

Uiteraard kunnen we dergelijke members enkel in een abstracte klasse definiëren, want anders zouden we voor objecten van concrete types die members kunnen aanroepen, zonder dat geweten is welke implementatie aan die aanroep moet gekoppeld worden ( welke binding moet worden gebruikt ).

Een member maak je abstract via het keyword MustOverride, en de definitie hiervan bestaat enkel uit de signatuurregel.  Een concreet afgeleide klasse is dan verplicht een Overrides implementatie te gaan binden aan die memberinterface die hij van die abstracte klasse heeft overgeërfd.

Alle figuren in ons systeem ( alle afgeleide types van Figure ) zouden bijvoorbeeld nut hebben aan een member die de oppervlakte ( GetArea() ) oplevert.
Gezien deze member voor alle soorten van figuren van toepassing is, kunnen we deze member best in het generalisatietype Figure opnemen, zo kan de member worden overgenomen naar alle gespecialiseerde afgeleide types.
We kunnen echter moeilijk een implementatie koppelen aan die member omdat er simpelweg geen algemene formule bestaat voor het bepalen van de oppervlakte die voor alle gespecialiseerde soorten figuren van toepassing is.
Dit is geen probleem we kunnen die member als abstracte member ( MustOverride member ) opnemen in het generalisatietype Figure, alle concrete afgeleide types kunnen/moeten daarvoor dan een implementatie voorzien ( Overrides implementatie ).

200
314,159265358979

De abstracte member (1) wordt dus gedefinieerd door het MustOverride keyword, en bestaat dus enkel uit de signatuur van die member.  Public is hier opgenomen in de signatuur, omdat we wensen dat Area ook beschikbaar is in de publieke interface van die afgeleide types, en clients dus op die gespecialiseerde Figure objecten die member kunnen aanroepen.

Enkel implementatiemembers ( methods en properties ) kunnen als MustOverride worden gedefinieerd.  De herdefinitie ( bijhorende Overrides ) moet voorzien in een nieuwe implementatie voor die member.
Een member zonder implementatie ( zoals een field ) kan ook moeilijk gebonden worden aan een nieuwe implementatie.

Private members kunnen ook niet als MustOverride worden gemarkeerd.
Gezien er geen interface naar die member ( aanwezigheid van die member in de interface ) wordt overgeërfd, kan deze niet overgenomen interface niet geherdefinieerd worden.

Enkel concrete afgeleide klassen moeten een implementatie voorzien voor de overgeërfde abstracte member.  Is de afgeleide klasse zelf abstract dan kan (1), maar hoeft deze klasse geen implementatie te voorzien (2).

Class3.Method1()
Class3.Method1()
Class5.Method1()

Dat abstracte klassen die een abstracte member overerven geen implementatie moeten voorzien voor die member is niet zo vreemd.  Van dat afgeleide type zelf kan immers toch geen object worden aangemaakt waarop die members zou worden aangeroepen en waaraan dus een implementatie zou gekoppeld worden.

Dat concrete afgeleide klassen die een abstracte member overerven wel een implementatie moeten voorzien is ook logisch, want hiervan kunnen wel objecten worden aangemaakt waarop die member kan worden aangeroepen en waaraan dus wel een implementatie zou moeten worden gekoppeld.

200
red

314,159265358979
yellow

200
red

314,159265358979
yellow

31415,9265358979
red

Bovenstaande client verduidelijkt nogmaals dat we in een variabele gedeclareerd van een basis type ( Figure ) een referentie kunnen stockeren van een object van een afgeleid type ( Rectangle of Circle ).

Het is dus niet omdat het een abstract type is, dat je er geen variabele van zou kunnen declareren, enkel dergelijk object ( van abstract type ) instantiëren kan niet.

De array figures gedeclareerd met elementen van het type Figure kan referenties bevatten van Rectangle  en Circle objecten.
Maar op de figure expressie gedeclareerd van het type Figure en gebruikt in de For Each ... Next kan men dan enkel de members aanroepen die gedefinieerd zijn in het statisch type van die expressie ( Figure ).  Dus enkel de members GetArea() en Color zijn beschikbaar, de gespecialiseerde Height, Width en Radius members zijn pas beschikbaar indien casting wordt toegepast.

Opgave :

Gegeven zijn onderstaande ( correcte ) klassen en hun members :

Gegeven zijn onderstaande ( deels foutieve ) klasse en zijn members.

Onderzoek de implementaties van onderstaande boodschappen Query1(), Query2() en Query3() en leg uit wat er verkeerd aan is.

Voor verder onderzoek veronderstellen we dat de foutieve members uit bovenstaande klasse zijn verwijderd.

Onderzoek de uitvoer of wat fout loopt bij elk van onderstaande regels.
Ga na of er fouten zullen optreden, welke deze zijn, en ga na welke de uitvoer zou zijn ( indien geen fouten ).

Oplossing :

- Query1() is foutief, Class_3 is abstract en kan niet geïnstantieerd worden (1).
- Query2() is foutief, Class_5 is niet afgeleid van Class_2 (2).
- Query3() is correct.

Class_4.Command1()
Class_4.Command2()
Class_2.Command1()
Class_1.Command2()
Class_2.Command3()
Class_2.Command4()
Class_4.Command1()
Class_4.Command2()
Class_5.Command4()
Class_5.Command5()
Class_4.Command1()
Class_4.Command2()
Class_5.Command4()
Class_5.Command5()
Class_4.Command6()
Class_5.Command7()
Class_5.Command4()
Class_5.Command4()
Class_4.Command2()
Class_1.Command2()
Class_4.Command2()
Class_4.Command2()
Class_4.Command1()
Class_4.Command2()