Video: [C++ von { bis }] 14 - Abstrakte Klassen 2024
C ++ støtter sen binding , som er når det løser en metodeanrop basert på løpstid type (eller dynamisk type) av målobjektet i stedet for den oppgitte typen (eller statisk type). Dette er demonstrert i følgende C ++ kodebit:
#include using namespace std; klassen Ovn {offentlig: virtuell tomromkoker () {cout << "matlaging med en ovn" << endl;}}; klasse MicrowaveOven: public Oven {public: virtual void cook () {cout << "matlaging med mikrobølgeovn" << endl;}}; void preparationMeal (Ovn og ovn) {ovn. koker ();}
I funksjonen prepareMeal (), kalles til ovn. Kok () kan passere til Ovnen:: Kok () eller Mikrobølgeovn:: Kok () avhengig av kjøretiden (den "aktuelle") typen av ovnen gjenstanden.
Det virtuelle søkeordet er kritisk her. Uten det ville koken () -metoden være bundet tidlig, basert på kompileringstiden, og påkalle Oven:: cook () hver gang. Når det er blitt erklært virtuelt i Ovn-klassen, antas metoden å være virtuell i hver underklasse, men det gjør ikke vondt for å gjenta erklæringen slik at leserne forstår.
Følgende enkle program demonstrerer dette prinsippet i praksis:
int main () {Ovnen; prepareMeal (ovn); MicrowaveOven mo; prepareMeal (mo); returnere 0;}
I dette programmet genererer anropet til å lage mat () to forskjellige utganger avhengig av ovnen:
Koking med en stekeovn Koking med mikrobølgeovn
Det er ikke alltid tilfelle, at en metode i grunnklassen kan defineres. Vurder ovnen saken mer nøye. Det finnes en rekke forskjellige typer ovner - konvensjonelle ovner, konveksjon ovner og mikrobølgeovner - men man kan hevde at det ikke er noen egentlig ovn som ikke tilhører en av disse underklassene. Du kan kanskje si hvordan ulike ovnformer utfører kokkoperasjonen - det vil si hva en KonvensjonellOven:: kokk () og en MicrowaveOven:: cook () skal gjøre kan defineres. Det er sannsynligvis ikke mulig å definere hvilke handlinger Oven:: cook () skal utføre.
Du kan ikke bare forlate Oven:: cook () sort i et sterkt skrevet språk som C ++. Du kan imidlertid erklære en metode, men la den være unimplemented hvis det ikke finnes noen implementering. En bruker følgende nysgjerrige syntaks for å gjøre det:
klasse Ovn {offentlig: virtuell tomrom () = 0;};
Denne koden erklærer en metode Ovn:: kokk () som er bundet sent, men implementerer ikke metoden. Faktisk går det videre ved å si at metoden ikke vil bli implementert. I C ++ er en slik metode sies å være ren virtuell . C ++ programmerere bruker også termen som er foretrukket i mange andre kraftig tastede dataspråk: abstrakt .Ovnen klassen sies å være abstrakt.
Et abstrakt representerer en egenskap som du vet at klassen besitter, men vet ikke hvordan man skal utføre entydig i dagens klasse.
En klasse er abstrakt hvis den inneholder en eller flere rene virtuelle metoder. Betydningen av dette er at du ikke kan ordne en abstrakt klasse. Følgende er ikke lenger tillatt:
int main () {Ovnen; prepareMeal (ovn); return 0;}
Årsaken til dette er ganske enkelt: Hvis du opprettet et objekt av klasse Ovn og deretter prøvde å påkalle ovnen. kokk (), hva skal kompilatoren gjøre?
På et mer filosofisk nivå er det fint å si at det er noen vanlige begreper som heter Ovn som beskriver konvensjonelle ovner og mikrobølgeovner og konveksjonsovner. Denne termen Ovn er et vanlig konsept fordi det binder opp likhetene i alle disse underklassene. Men det er ingen forekomst av en ovn som ikke er en av ovnens underklasser.
En underklasse av en abstrakt klasse er i seg selv abstrakt inntil alle rene virtuelle metoder har blitt tilsidesatt av ikke-abstrakte (det vil si konkrete ) versjoner. Derfor er klassen MicrowaveOven i forrige kodebit ikke abstrakt - selv om Oven var abstrakt - fordi den overstyrer cook () med sin egen konkrete versjon.
Merk at det ikke er noe galt med funksjonen prepareMeal () definert som følger:
void preparationMeal (Ovn og ovn) {ovn. kokk ();}
Selv om argumentet er erklært å være en Ovn, kan det bare påberopes med noen underklasse Ovnen, for eksempel MicrowaveOven eller ConventionalOven, for hvilken kokk () er definert.