Virtuell funktion
Wikipedia
Inom objektorienterad programmering är en virtuell funktion eller virtuell metod en funktion som definieras i en klass och kan bli omdefinierad (överskriven) av underklasser, även ifall den statiska typen av ett objekt inte är densamma som den faktiska typen.
I en del språk som till exempel C++, C# och Object Pascal måste en klass medlemsfunktioner uttryckligen deklareras som virtuella. I andra språk som Ruby och Java är alla medlemsfunktioner virtuella.
För virtuella funktioner kan hoppadressen för ett anrop inte avgöras under kompileringen eftersom den exakta typen av det objekt som är föremål för anropet inte är känt. Hoppet blir alltså indirekt, vilket ger en liten prestandaförsämring.
[redigera] Exempel
I nedanstående C++-exempel har vi en klasshierarki baserad på klassen Djur, med en virtuell funktion smaka() som skriver ut hur djuret smakar. I huvudprogrammet skapar instansierar vi ett objekt av vardera klassen och anropar smaka().
#include <iostream>
class Djur
{
public:
void smaka() { cout << "Jag smakar som ett generiskt djur." << endl; }
};
class Gris : public Djur
{
public:
void smaka() { cout << "Jag smakar som en gris." << endl; }
};
class Fisk : public Djur
{
public:
void smaka() { cout << "Jag smakar som en fisk." << endl; }
};
class AnnatDjur : public Djur
{
};
int main()
{
Djur *djur[4];
djur[0] = new Djur();
djur[1] = new Gris();
djur[2] = new Fisk();
djur[3] = new AnnatDjur();
for (int i = 0; i < 4; i++)
djur[i]->smaka();
return 0;
}
Här är resultatet av en körning:
Jag smakar som ett generiskt djur. Jag smakar som en gris. Jag smakar som en fisk. Jag smakar som ett generiskt djur.
Trots att huvudprogrammet inte vet att djur[1] pekar på ett objekt av typen Gris – variabelns statiska typ är alltjämt Djur – så har uppenbarligen koden i klassen Gris exekverats. Detta hade inte hänt ifall smaka() inte hade markerats som virtuell; då hade i samtliga fall funktionen i basklassen Djur exekverats.
