1 159.234 159.234 LECTURE 15 LECTURE 15 Inheritance Inheritance Text book p.273-298
1
159.234159.234 LECTURE 15LECTURE 15
InheritanceInheritance
Text book p.273-298
2
We frequently classify objects according to some common properties.
Mammals have properties such as:
• warm-blooded
• higher vertebrates
These properties are valid for both an elephant and a mouse, but it is best if we only have to express it only once for all mammals and not have to duplicate for every mammal.
Using inheritance, a large body of knowledge can be presented in a more compact way.
InheritanceInheritance
3
The class catcat is derived from the class mammal.We say that a cat “is a mammal” and is also a “living creature”. But a cat “is not a reptile”. It is often useful to build our Object-Oriented programs this way.
mammal
elephant
reptile
snakecat
living creatures
InheritanceInheritance
4
Sphere
Shape
TwoD ThreeD
Circle Rectangle
Parent, or base class
Child, or derived class
How can we code our objects like this?How can we code our objects like this?
InheritanceInheritance
5
#include <iostream>using namespace std;const static double PI = 3.141592654;
class Shape{ // base class private: char * label; // a string label for the shape};
class TwoD : public Shape{ // two dimensional shapes private: double x, y;};
class ThreeD : public Shape{ // three dimensional shapes private: double x, y, z;};
class Circle : public TwoD{ // Circle extends TwoD public: double area() { return PI * radius * radius; } private: double radius;};
class Rectangle : public TwoD{ public: double area(){ return width * height; } private: double width, height;};
class Sphere : public ThreeD{ public: double volume() { return 4.0 / 3.0 * PI * radius * radius * radius; } private: double radius;};
int main(){ Sphere s1; Circle c1; Shape* shptr;
shptr = & s1; shptr = & c1; return 0;}
No output - this is only a skeleton code!.skeleton code!.
Note the public inheritance public inheritance relations between the classes.
Shape is the base classbase class, and TwoD and ThreeD are derivedderived from it
We can group information (and avoid having to duplicate code) in a way that reflects our application and the real things or ideas that our code models.
Note that in main, a Shape pointer can point to any object that is derivedderived from it.
6
For the parentparent (of class Circle) we might write:
class TwoD : public Shape{ public: void print(){cout<< x;} //... protectedprotected: double x,y; //...};
protectedprotected: : the data of the class is accessible from within the class itself, to its friend classes, derived classes and their friend classes (derived classes’ friend classes), but not in any other part of the program.
InheritanceInheritance
7
For the parent class of Circle we write:
class TwoDTwoD :public Shape{ public: void print()print(){cout<<…;} //.. protected: double x, yx, y; //..};
For the derived class derived class we write:
class CircleCircle :public TwoD:public TwoD{ public: double area(); private: double radius;};
public print()print() and protected xx and yy, are now also part of CCircleircle (inherited from the parent).
InheritanceInheritance
8
This is called public inheritancepublic inheritance.
publicpublic and protectedprotected data of the parent class are inherited in the derived class, and have the same access type.
We can have private and protected inheritance as well - we will look at those later. Public inheritance is the most commonly used.
class Circle :public TwoD :public TwoD { public: double area(); private: double radius;};
InheritanceInheritance
Next, let’s modify the hierarchy of classes we saw earlier...
9
#include <iostream>using namespace std;const static double PI = 3.141592654;
class Shape{ // base class private: char * label; // a string label for the shape};
class TwoD : public Shape{ // two dimensional shapes protected: double x, y;};
class ThreeD : public Shape{ // three dimensional shapes protected: double x, y, z;};
class Circle : public TwoD{ // Circle extends TwoD public: double area(){ return PI * radius * radius; } private: double radius;};
class Rectangle : public TwoD{ public: double area(){ return width * height; } private: double width, height;};
class Sphere : public ThreeD{ public: double volume() { return 4.0 / 3.0 * PI * radius * radius * radius; } private: double radius;};
int main(){
Sphere s1; Circle c1;
cout << "size of s1 is " << sizeof(s1) << endl; cout << "size of c1 is " << sizeof(c1) << endl;
return 0;}
• Example Output:size of s1 is 36+4size of c1 is 28+4
40 = 4 (char *) + 3 * 8 (double) + 8 (double) + 4 (Class)32 = 4 (char*) + 2 * 8 (double) + 8 (double)+ 4 (Class)
Circles inherit labellabel and xx and yySpheres inherit labellabel, x, yx, y and zz
class incurs an extra overhead
10
Inheritance: Inheritance: Visibility ModifiersVisibility Modifiers
Public inheritance:public in base -> public in derivedprotected -> protectedprivate -> cannot be accessedcannot be accessed
Protected inheritance:public in base -> protected in derivedprotected -> protectedprivate -> cannot be accessedcannot be accessed
Private inheritance:public in base -> private in derivedprotected -> privateprivate -> cannot be accessedcannot be accessed
Default inheritance if not explicitly specified: privateprivate
11
InheritanceInheritance
class StudStud {public: Stud(char *s, int id); void print();
protected: int stud_id; char surname[64];};
We can create a new type Grad from Stud with added information :
class GradGrad : publicpublic StudStud {public: Grad(char *s, int id, char *t); void print();
protected: char thesis[64];};
Notice that each class has its own constructor.
12
InheritanceInheritance
Stud:: StudStud(char *s, int id) { strcpy(surname,s); stud_id = id;}
Grad::GradGrad(char *ss, int idid, char *t) :: StudStud(s, id)(s, id) { strcpy(thesis, t);}
The constructor for Stud is placed in the initialiser list initialiser list of the GradGrad constructor.
How do we get initialisation of the information?
13
InheritanceInheritance
It is possible to redefine functions (override) in the derived class to alter its behaviour.
print() is defined in both Stud and Grad.
void Stud::printprint() { cout << surname << " " << stud_id;}
void Grad::printprint() { Stud::print();Stud::print(); cout << " " << thesis;}
We must use the scope operator, otherwise we get a recursive call.
Which function is used is decided at compile time - depending on the type of the object.
14
InheritanceInheritance
If we have many objects derivedderived from the type TwoDTwoD and need to calculate their total area:
We could store pointerspointers to them in an array.
Then work through the array to calculate the total area.
CircleCircle c, dc, d; RectRect e, fe, f; TwoDTwoD *pp[4];
pp[0]=&cc; pp[1]=ⅆ pp[2]=ⅇ pp[3]=&ff;
This is allowed because CircleCircle and RectRect are both derivedderived from TwoDTwoD.
15
InheritanceInheritance
Now loop through the array:
for (int i=0;i<4;i++) { total += pp[i]->area()area();
}
Does this work?
Yes, if we create virtual functions!
16
PolymorphismPolymorphism
class TwoDTwoD {public: TwoD(double a, double b) : x(a), y(b) {} virtualvirtual double areaarea(void) {return 0;return 0;}
protected: double x,y;};
area()area() is a called a virtual virtual function.
17
PolymorphismPolymorphism
class RectRect : public TwoDTwoD{public: RectRect(double a, double b, double ht, double wd) : TwoDTwoD(a,b), h(ht), w(wd) {} virtualvirtual double area(void) {return w * h;return w * h;}
private: double h,w;};
area()area() is a called a virtual virtual function.
18
PolymorphismPolymorphism
class CircleCircle : public TwoDTwoD{public: Circle(double a, double b, double rad) : TwoD(a,b), r(rad) {} virtualvirtual double area(void) {return PI*r*r;return PI*r*r;}
private: double r;};
area is a called a virtual function.
19
PolymorphismPolymorphism
area() is called a virtualvirtual function.
The run-time system knows the types of knows the types of objects that pointers objects that pointers point topoint to!
The appropriate function is called when we ask for p[i]->area()p[i]->area()
for (int i=0;i<4;i++) { total += p[i]->area()p[i]->area();
}
Here’s the code segment again:
Circle c, d; Rect e, f; TwoD* p[4];
p[0]=&c; p[1]=&d; p[2]=&e; p[3]=&f;
This is called dynamic bindingdynamic binding. The binding of the call to the actual code to be executed is deferred until run-time.
20
DestructorsDestructors
Be careful with derivedderived objects created on the heap using new/deletenew/delete..
If we delete an object through a base-class pointer
delete p[i];delete p[i];
Then only the destructor of the base class base class will be called! Not unless it is declared virtualvirtual.
As a general rule, if a base class base class contains virtual functionsvirtual functions, then the destructordestructor in the base class should also be virtualshould also be virtual.
See Virtual Destructor - Memory Leak Resolved.cpp
21
Abstract Base ClassesAbstract Base Classes
Sometimes we want to declare a class, but only allow a programmer to create objects of its derived classes.
TwoDTwoD can be made into an abstract class. We can create objects of its derived classes, circlecircle and rectrect. We can create pointers to the TwoDTwoD class. But, we can not create an object of type TwoDTwoD .
The compiler will not allow an object to be created if a class contains a 'pure virtual function'pure virtual function'.
22
PurePure Virtual Function Virtual Function
class TwoD {public: TwoD(double a, double b) : x(a), y(b) {} virtual double area(void) virtual double area(void) = 0= 0;;protected: double x, y;};
23
Multiple InheritanceMultiple Inheritance
class Student {public: char namename[32]; char id[10];...};
class Worker {public: char namename[32[32]; char ird_no[13];...};
class Lab_TutorLab_Tutor : public Student, public Worker {...};
Derived classes can have more than one base class:
24
InheritanceInheritance
Lab_TutorLab_Tutor A; strcpy(A.Student::A.Student::name, “Napoleon"); ...
The scope operator is used to resolve name clashes.
25
Virtual InheritanceVirtual Inheritance
If we want to remove the ambiguityto remove the ambiguity, we can make the inheritance 'virtual'.
class Person { public: char name[32];};
class Student : virtual public Person { public: char id[10]; ...};
or public virtual Person
26
Virtual InheritanceVirtual Inheritance
class Worker : virtual public Person {public: char ird_no[13]; ...};
class Lab_Tutor : public Student, public Worker {...};
Now there is only one name associated with Lab_Tutor:
Lab_Tutor A;strcpy(A.namename, “Itchy");...
class Person { public: char name[32];};
class Student : virtual public Person { public: char id[10]; ...};
27
See Demo Codes:• virt_err.cpp• virt_sel2.cpp• abstract.cpp
Sample CodesSample Codes
28
#include <iostream>
using namespace std;
class B {public: virtual void foo(int i) {cout<<"\n In Base " << i;} virtual void foo(double d){cout<<"\n In Base "<< d;}};
class D : public B {public: void foo(int k) {cout<<"\n In derived " <<k;}};
int main(){
D d;
B b, *pb = &d;
b.foo(9); //selects B::foo(int); b.foo(9.5); //selects B::foo(double); d.foo(9); //selects D::foo(int); d.foo(9.5); //selects D::foo(int);
// here, the function foo() in class
//d is called because we are accessing //the object directly
pb -> foo(9); //selects D::foo(int);
pb -> foo(9.5); //selects B::foo(double);
return 0;}
virt_err.cpp
Output:
In Base 9 In Base 9.5 In derived 9 In derived 9 In derived 9 In Base 9.5
29
#include <iostream>using namespace std;//virtual function selection
class B {public: int i; virtual //comment this out-see what is the result! void print_i() const { cout << i << " inside Base class" << endl; }};
class D : public B {
public: //virtual as well
void print_i() const { cout << i << " inside Derived class" << endl; }};
int main() { B b; B* pb = &b; //points at a B object D f; D& g=f;
f.i = 1 + (b.i = 1);
pb -> print_i(); //call BB::print_i() pb = &f; //points at a DD object pb -> print_i(); //call DD::print_i() g.print_i(); //call DD::print_i() }
virt_sel2.cppOutput:1 inside Base class2 inside Derived class2 inside Derived class
30
Output (non-virtual):1 inside Base class2 inside Base class2 inside Derived class
#include <iostream>using namespace std;//virtual function selection
class B {public: int i; void print_i() const { cout << i << " inside Base class" << endl; }};
class D : public B {
public: void print_i() const { cout << i << " inside Derived class" << endl; }};
int main() { B b; B* pb = &b; //points at a B object D f; D& g=f;
f.i = 1 + (b.i = 1);
pb -> print_i(); //call BB::print_i() pb = &f; //points at a DD object pb -> print_i(); //call DD::print_i() g.print_i(); //call DD::print_i() }
31
Let’s take a peek at how the compiler is actually implementing virtual inheritance.
32
Virtual InheritanceVirtual Inheritance
No classes actually contain the virtual base class. Instead, they hold a pointer to a virtual base class table that tells them where in the object the virtual base class exists.
ColorListStruct
ColorListStruct Base Table
Source: Efficient C/C++ Coding Techniques Embedded Systems Conference Boston 2001 Class 304
33
Multiple Virtual InheritanceMultiple Virtual Inheritance
Each level of virtual inheritance requires its own virtual base table.
Source: Efficient C/C++ Coding Techniques Embedded Systems Conference Boston 2001 Class 304
Additional References
34
Technical Report on C++ Performance ISO/IEC TR 18015:2006(E)
Next: Inheritance
Mastering Visual C++
http://www.cplusplus.com/reference/iostream/ios/bad.html
Efficient C/C++ Coding Techniques Embedded Systems Conference Boston 2001 Class 304
35
Inheritance is the mechanism of deriving new classes from old ones. Through inheritance, a hierarchy of related, code-sharing abstract data types (ADT’s) can be created.
The keywords public, private, and protected are used as visibility modifiers for class members.
Next: More on inheritanceAbstract classes
SummarySummary