Virtueel versus abstract
Virtueel en Abstract zijn twee sleutelwoorden die worden gebruikt in de meeste objectgeoriënteerde (OO) programmeertalen zoals Java en C. Hoewel er kleine verschillen zijn in wat het betekent in verschillende talen, geven zowel virtuele als abstracte trefwoorden een gevoel van gedeeltelijke implementatie aan de entiteiten waaraan het is gekoppeld.
Abstract
Normaal gesproken kunnen abstracte klassen, ook wel abstracte basisklassen (ABC) genoemd, niet worden geïnstantieerd (er kan geen instantie van die klasse worden gemaakt). Abstracte klassen hebben dus alleen betekenis als de programmeertaal overerving ondersteunt (mogelijkheid om subklassen te maken door een klasse uit te breiden). Abstracte klassen vertegenwoordigen meestal een abstract concept of entiteit met gedeeltelijke of geen implementatie. Daarom fungeren abstracte klassen als bovenliggende klassen waaruit onderliggende klassen zijn afgeleid, zodat de onderliggende klasse de onvolledige kenmerken van de bovenliggende klasse deelt en functionaliteit kan worden toegevoegd om ze te voltooien. Abstracte klassen kunnen abstracte methoden bevatten. Subklassen die een abstracte klasse uitbreiden, kunnen deze (overgeërfde) abstracte methoden implementeren. Als de onderliggende klasse al dergelijke abstracte methoden implementeert, is het een concrete klasse. Maar als dat niet het geval is, wordt de onderliggende klasse ook een abstracte klasse. Wat dit allemaal betekent, is dat, wanneer de programmeur een klasse nomineert als een abstract, ze zegt dat de klasse onvolledig zal zijn en elementen zal hebben die moeten worden voltooid door de overnemende subklassen. Dit is een leuke manier om een contract tussen twee programmeurs te maken, wat de taken in softwareontwikkeling vereenvoudigt. De programmeur, die code schrijft om te erven, moet de methodedefinities exact volgen (maar kan natuurlijk haar eigen implementatie hebben). In Java en C worden abstracte klassen en methoden gedeclareerd met het trefwoord Abstract.
Virtueel
Virtuele methoden/functies bieden de mogelijkheid om het gedrag optioneel te overschrijven door een overervende klasse (met behulp van een functie met dezelfde handtekening). Het concept van de virtuele functie is belangrijk in het volgende scenario. Stel dat een klasse wordt afgeleid door een onderliggende klasse, dan kan het, wanneer een object van de afgeleide klasse wordt gebruikt, verwijzen naar een object van de basisklasse of de afgeleide klasse. Maar het gedrag van methodeaanroepen kan dubbelzinnig zijn als de methoden van de basisklasse worden overschreven. Dus om deze dubbelzinnigheid op te lossen, wordt het virtuele trefwoord gebruikt. Als de methode Virtueel is gemarkeerd, wordt de functie van de afgeleide klasse aangeroepen (indien aanwezig) of wordt de functie van de basisklasse aangeroepen. In C++ wordt het virtuele trefwoord bijvoorbeeld precies voor dit doel gebruikt. In C wordt het trefwoord Virtual op een vergelijkbare manier gebruikt, maar daarnaast moet het trefwoord override worden gebruikt om alle overschreven methoden te wijzigen. Maar in Java is er geen expliciet virtueel trefwoord. Alle niet-statische methoden worden als virtueel beschouwd. Virtuele functies zonder lichaam worden Pure Virtuele functies genoemd. In Java en C zijn abstracte methoden in feite puur virtueel.
Verschil tussen virtueel en abstract
Hoewel Abstract en Virtueel twee sleutelwoorden/concepten zijn die een onvolledige implementatie betekenen voor de bijbehorende entiteiten, hebben ze toch hun verschillen. Abstracte methoden (die binnen abstracte klassen moeten worden gedefinieerd) hebben helemaal geen implementatie, terwijl virtuele methoden een implementatie kunnen hebben. Als abstracte methoden worden uitgebreid met een concrete klasse, moeten alle overgeërfde abstracte methoden worden geïmplementeerd, terwijl overgeërfde virtuele methoden al dan niet worden overschreven.
