C++ POO Lab Lucrarea 4
Această lucrare are ca scop familiarizarea cu următoarele noțiuni:
- Moștenirea
- Ascunderea metodelor
- Polimorfismul
- Metode virtuale și suprascrierea metodelor
- Metode pur virtuale și clase abstracte
Moștenirea
Introducere
Moștenirea este mecanismul prin care o clasă preia structura (câmpurile) și comportamentul (metodele) unei alte (sau mai multor) clase, la care poate adăuga alți membri specifici.
Clasa de la care se preiau membrii se numește:
- clasă de bază
- superclasă
Clasa nouă, care preia membrii de la clasa de bază se numește:
- clasă derivată
- clasă extinsă
- subclasă
În C++, moștenirea poate fi multiplă, în sensul că o clasă derivată poate moșteni mai multe clase de bază. Nu în toate limbajele există acest concept (în Java, de exemplu, există doar moștenire simplă - adică o clasă poate moșteni o singură altă clasă).
Utilitatea moștenirii în programarea orientată pe obiecte este:
- reutilizarea codului existent fără modificarea acestuia;
- extinderea a unei clase deja scrise, fără a fi necesară recompilarea ei;
- utilizarea polimorfismului în timpul execuției, prin folosirea metodelor virtuale.
Exemplu
1#include <string>
2#include <cstdio>
3
4class Animal {
5 std::string mName;
6 std::string mColor;
7 int mAge;
8protected:
9 bool mHasFeathers;
10
11public:
12 void makeSound() const {
13 printf("Animal %s makes a sound!\n", mName.c_str());
14 }
15
16 // this is a getter method
17 std::string getName() const {
18 return mName;
19 }
20
21 // this is a setter method
22 void setAge(int age) {
23 if(age > 0) {
24 mAge = age;
25 }
26 }
27};
28
29class Cat : public Animal {
30 unsigned int mLives;
31public:
32 Cat() : mLives(9) {
33 mHasFeathers = false;
34 }
35};
36
37int main() {
38 Cat cat;
39 cat.makeSound(); // makeSound este mostenita din clasa Animal
40 return 0;
41}
În exemplul de mai sus, clasa Cat
preia toți membrii din clasa Animal
și adaugă un câmp mLives
și un constructor fără argumente. S-a introdus, de asemenea, un nou modificator de acces, protected
, care permite accesul la membrul respectiv atât din clasa curentă cât și din orice clasă derivată din clasa curentă, dar nu și din alte clase sau funcții.
Se observă, de asemenea, că moștenirea a fost declarată publică. Există două timpuri de moșteniri:
- publică
- privată
Relativ la tipul de moștenire, mai jos este prezentat modul în care se preiau membrii din clasa de bază:
Protecția in clasa de baza | Modificatorul de acces utilizat în lista claselor de bază | Dreptul de acces în clasa derivată |
---|---|---|
public | public | public |
private | public | inaccesibil |
protected | public | protected |
public | private | private |
private | private | inaccesibil |
protected | private | private |
class
și struct
este că pentru prima, moștenirea implicită este private iar pentru a doua este public.Apelul constructorului superclasei
Când se instanțiază o clasă derivată, constructorul acestei clase se ocupă de inițializarea câmpurilor definite în clasa derivată. Pentru a inițializa câmpurile din clasa de bază, este necesar să apelăm constructorul ei. Prin urmare:
Apelul constructorului superclasei se face folosind aceeași sintaxă ca pentru inițializarea câmpurilor:
1class Animal {
2 std::string mName;
3 std::string mColor;
4 int mAge;
5protected:
6 bool mHasFeathers;
7
8public:
9 Animal(const std::string & name, const std::string & color) : mName(name), mColor(color) {
10 }
11
12 void makeSound() const {
13 printf("Animal %s makes a sound!\n", mName.c_str());
14 }
15
16 // this is a getter method
17 std::string getName() const {
18 return mName;
19 }
20
21 // this is a setter method
22 void setAge(int age) {
23 if(age > 0) {
24 mAge = age;
25 }
26 }
27};
28
29class Cat : public Animal {
30 unsigned int mLives;
31public:
32 Cat(const std::string & name, const std::string & color) : Animal(name, color), mLives(9) {
33 mHasFeathers = false;
34 }
35};
Ascunderea metodelor
În anumite situații, există nevoia ca o anumită metodă care este moștenită din clasa de bază să se comporte altfel în clasa derivată. Putem realiza acest lucru reimplementând metoda respectivă, cu aceeași semnătură, în clasa derivată. Acest mecanism se numește ascundere (hiding):
1#include <string>
2#include <cstdio>
3
4class Animal {
5 std::string mName;
6 std::string mColor;
7 int mAge;
8protected:
9 bool mHasFeathers;
10
11public:
12 Animal(const std::string & name, const std::string & color) : mName(name), mColor(color) {
13 }
14
15 void makeSound() const {
16 printf("Animal %s makes a sound!\n", mName.c_str());
17 }
18
19 // this is a getter method
20 std::string getName() const {
21 return mName;
22 }
23
24 // this is a setter method
25 void setAge(int age) {
26 if(age > 0) {
27 mAge = age;
28 }
29 }
30};
31
32class Cat : public Animal {
33 unsigned int mLives;
34public:
35 Cat(const std::string & name, const std::string & color) : Animal(name, color), mLives(9) {
36 mHasFeathers = false;
37 }
38
39 void makeSound() const {
40 printf("Cat %s meows!\n", getName().c_str());
41 }
42};
43
44int main() {
45 Animal animal("Rex", "black");
46 animal.makeSound();
47 Cat cat("Spot", "tabby");
48 cat.makeSound();
49 return 0;
50}
Ieșire:
Animal Rex makes a sound!
Cat Spot meows!
Polimorfismul
Introducere
Polimorfismul -- din greacă "poly" (mai multe) and "morphe" (forme) -- se referă la faptul că un obiect care este de tipul unei clase derivate, este în același timp și de tipul clasei de bază. Altfel spus:
B
extinde (direct sau indirect) o clasă A
, atunci un obiect b
de tipul B
este în același timp și de tipul A
.Folosind acest concept, care este implementat și în limbajul C++, se pot utiliza pointeri sau referințe de un tip T
pentru a referi obiecte de tipuri derivate din T
.
Exemplu
1#include <string>
2#include <cstdio>
3
4class Animal {
5 std::string mName;
6 std::string mColor;
7 int mAge;
8protected:
9 bool mHasFeathers;
10
11public:
12 Animal(const std::string & name, const std::string & color) : mName(name), mColor(color) {
13 }
14
15 void makeSound() const {
16 printf("Animal %s makes a sound!\n", mName.c_str());
17 }
18
19 // this is a getter method
20 std::string getName() const {
21 return mName;
22 }
23
24 // this is a setter method
25 void setAge(int age) {
26 if(age > 0) {
27 mAge = age;
28 }
29 }
30};
31
32class Cat : public Animal {
33 unsigned int mLives;
34public:
35 Cat(const std::string & name, const std::string & color) : Animal(name, color), mLives(9) {
36 mHasFeathers = false;
37 }
38
39 void makeSound() const {
40 printf("Cat %s meows!\n", getName().c_str());
41 }
42};
43
44int main() {
45 Animal animal("Rex", "black");
46 Cat cat("Spot", "tabby");
47
48 Animal & animalRef = animal;
49 Cat & catRef = cat;
50 Animal & catRef2 = cat;
51
52 animalRef.makeSound();
53 catRef.makeSound();
54 catRef2.makeSound();
55
56 return 0;
57}
Ieșire:
Animal Rex makes a sound!
Cat Spot meows!
Animal Spot makes a sound!
Se vede că pe linia 50 de mai sus, avem o referință de tip Animal
la un obiect de tip Cat
. Acest lucru este posibil pentru că o Cat
este în același timp și un Animal
(deoarece Cat
extinde Animal
). Totuși, se poate observa din textul de ieșire că deși referințele catRef
și catRef2
sunt către același obiect (de tip Cat
), apelul metodei makeSound
se face în funcție de tipul referinței, nu de tipul obiectului. Există însă scenarii în care se dorește comportamentul invers, anume apelul metodei în funcție de tipul obiectului, nu de tipul referinței cu care este accesat. Astfel, se introduce conceptul de metodă virtuală.
Metode virtuale și suprascrierea metodelor
Introducere
Dacă o metodă este declarată virtuală, folosind cuvântul cheie virtual
plasat în fața tipului întors, atunci reimplementarea acesteia în clasele derivate se numește suprascriere. Apelul unei metode virtuale folosind o referință de alt tip decât al clasei din care face parte obiectul, va apela metoda corespunzătoare obiectului în sine, nu cea care aparține tipului referinței.
Exemplu
1#include <string>
2#include <cstdio>
3
4class Animal {
5 std::string mName;
6 std::string mColor;
7 int mAge;
8protected:
9 bool mHasFeathers;
10
11public:
12 Animal(const std::string & name, const std::string & color) : mName(name), mColor(color) {
13 }
14
15 virtual void makeSound() const {
16 printf("Animal %s makes a sound!\n", mName.c_str());
17 }
18
19 // this is a getter method
20 std::string getName() const {
21 return mName;
22 }
23
24 // this is a setter method
25 void setAge(int age) {
26 if(age > 0) {
27 mAge = age;
28 }
29 }
30};
31
32class Cat : public Animal {
33 unsigned int mLives;
34public:
35 Cat(const std::string & name, const std::string & color) : Animal(name, color), mLives(9) {
36 mHasFeathers = false;
37 }
38
39 void makeSound() const override {
40 printf("Cat %s meows!\n", getName().c_str());
41 }
42};
43
44int main() {
45 Animal animal("Rex", "black");
46 Cat cat("Spot", "tabby");
47
48 Animal & animalRef = animal;
49 Cat & catRef = cat;
50 Animal & catRef2 = cat;
51
52 animalRef.makeSound();
53 catRef.makeSound();
54 catRef2.makeSound();
55
56 return 0;
57}
Ieșire:
Animal Rex makes a sound!
Cat Spot meows!
Cat Spot meows!
override
. Deși acest lucru nu este obligatoriu, vă va avertiza printr-o eroare de compilare dacă suprascrierea nu se face corect (de exemplu dacă metoda din clasa de bază nu este declarată virtuală).Metode pur virtuale și clase abstracte
Introducere
În anumite situații, o metodă virtuală nu poate avea o implementare în clasa de bază, pentru că nu este cunoscut modul în care aceasta se comportă. În această situație, metoda poate fi definită ca fiind pur virtuală, adică o metodă fără implementare, dar care este totuși declarată în cadrul clasei.
Dacă am crea un obiect de tipul respectiv, atunci nu am putea apela metoda pur virtuală pentru că implementarea aceasteia lipsește. Clasele abstracte se pot folosi numai pentru a fi extinse, și metodele pur virtuale trebuie suprascrise în clasele derivate. Dacă cel puțin una din metodele pur virtuale nu este suprascrisă, atunci clasa derivată este la rândul ei abstractă.
Exemplu
1#include <string>
2#include <cstdio>
3
4class Animal {
5 std::string mName;
6 std::string mColor;
7 int mAge;
8protected:
9 bool mHasFeathers;
10
11public:
12 Animal(const std::string & name, const std::string & color) : mName(name), mColor(color) {
13 }
14
15 virtual void makeSound() const {
16 printf("Animal %s makes a sound!\n", mName.c_str());
17 }
18
19 // this is a getter method
20 std::string getName() const {
21 return mName;
22 }
23
24 virtual int getNumberOfLegs() const = 0;
25
26 // this is a setter method
27 void setAge(int age) {
28 if(age > 0) {
29 mAge = age;
30 }
31 }
32};
33
34class Cat : public Animal {
35 unsigned int mLives;
36public:
37 Cat(const std::string & name, const std::string & color) : Animal(name, color), mLives(9) {
38 mHasFeathers = false;
39 }
40
41 void makeSound() const override {
42 printf("Cat %s meows!\n", getName().c_str());
43 }
44
45 int getNumberOfLegs() const override {
46 return 4;
47 }
48};
49
50int main() {
51 Animal animal("Rex", "black"); // eroare de compilare, Animal este clasa abstracta
52
53 Cat cat("Spot", "tabby");
54 Cat & catRef = cat;
55 Animal & catRef2 = cat;
56
57 catRef.makeSound();
58 catRef2.makeSound();
59
60 return 0;
61}