W jaki sposób kompilator C ++ wie, jaką implementację funkcji wirtualnej wywołać?
Oto przykład polimorfizmu zhttp://www.cplusplus.com/doc/tutorial/polymorphism.html (edytowane dla czytelności):
// abstract base class
#include <iostream>
using namespace std;
class Polygon {
protected:
int width;
int height;
public:
void set_values(int a, int b) { width = a; height = b; }
virtual int area(void) =0;
};
class Rectangle: public Polygon {
public:
int area(void) { return width * height; }
};
class Triangle: public Polygon {
public:
int area(void) { return width * height / 2; }
};
int main () {
Rectangle rect;
Triangle trgl;
Polygon * ppoly1 = ▭
Polygon * ppoly2 = &trgl;
ppoly1->set_values (4,5);
ppoly2->set_values (4,5);
cout << ppoly1->area() << endl; // outputs 20
cout << ppoly2->area() << endl; // outputs 10
return 0;
}
Moje pytanie brzmi: w jaki sposób kompilator wie, że ppoly1 jest prostokątem, a ppoly2 jest trójkątem, dzięki czemu może wywołać poprawną funkcję obszaru ()? Mogłoby to znaleźć patrząc na linię „Polygon * ppoly1 = ▭” i wiedząc, że rect jest prostokątem, ale to nie zadziałałoby we wszystkich przypadkach, prawda? Co jeśli zrobiłbyś coś takiego?
cout << ((Polygon *)0x12345678)->area() << endl;
Zakładając, że masz dostęp do tego losowego obszaru pamięci.
Przetestowałbym to, ale nie mogę na komputerze, na którym aktualnie jestem.
(Mam nadzieję, że nie brakuje mi czegoś oczywistego ...)