1. Inheritance: Polymorphism and Virtual Functions
Lecture 27
Fri, Mar 31, 2006
1/1/2019
Inheritance

2. Topics Access to inherited data members Inherited member functions
Polymorphism
Virtual functions
Abstract classes
1/1/2019
Inheritance

3. Access to Inherited Members
Three Access Modes
Public
Protected
Private
Base-class members have their usual member-access mode.
The inheritance relation itself has a separate access mode.
1/1/2019
Inheritance

4. Access to Inherited Members
We will normally use public inheritance.
Public and protected members of the base class will be accessible within the scope of the derived classes.
Only public members of the base class will be accessible outside the scope of the derived classes.
1/1/2019
Inheritance

5. Public Inheritance Suppose we have the following. class A { public:
funcA();
protected:
int aMem; }
class B : public A {
public:
funcB();
protected:
int bMem; }
int main() {
A Aobj;
B Bobj; }
1/1/2019
Inheritance

6. Public Inheritance Scope of A Scope of B Global Scope legal illegal NA
Aobj.funcA()
legal
Aobj.aMem
illegal
Bobj.funcA()
Bobj.aMem
Bobj.funcB() NA
Bobj.bMem
1/1/2019
Inheritance

7. Access to Inherited Members
Occasionally we will use private inheritance.
This affects only access of public members of class A through objects of class B.
1/1/2019
Inheritance

8. Public Inheritance Suppose we have the following. class A { public:
funcA();
protected:
int aMem; }
class B : private A {
public:
funcB();
protected:
int bMem; }
int main() {
A Aobj;
B Bobj; }
1/1/2019
Inheritance

9. Public Inheritance Scope of A Scope of B Global Scope legal illegal NA
Aobj.funcA()
legal
Aobj.aMem
illegal
Bobj.funcA()
Bobj.aMem
Bobj.funcB() NA
Bobj.bMem
1/1/2019
Inheritance

10. Polymorphism
A function that specifies a base-class object in its parameter list may accept a derived-class object in its place.
This phenomenon is called polymorphism.
Polymorphism works because the derived-class object IS-A base-class object.
We have already seen this used in the constructors.
1/1/2019
Inheritance

11. Polymorphism and Passing by Value
If a function passes the base-class object by value, then the derived-class object is considered to be an object of the base class.
This happens because the base-class copy constructor was used to create the local object.
The local object loses its derived-class data members and functions.
1/1/2019
Inheritance

12. Example: Polymorphism
int main() {
Man m("Joe");
Woman w("Jane");
Describe(m);
Describe(w); }
void Describe(Person p)
cout << p << endl; // Is p a Man, a Woman?
return;
1/1/2019
Inheritance

13. Demonstration Run the program FamilyTree.cpp to see what happens.
1/1/2019
Inheritance

14. Polymorphism and Passing by Reference
If the function passes the base-class object by reference, then the derived-class object is considered to be an object of the derived class.
1/1/2019
Inheritance

15. Example: Polymorphism
int main() {
Man m("Joe");
Woman w("Jane");
Describe(m);
Describe(w); }
void Describe(Person& p)
cout << p << endl; // Is p a Man, a Woman?
return;
1/1/2019
Inheritance

16. Demonstration
In the program FamilyTree.cpp, make the function parameter a reference parameter.
Run the program to see what happens.
1/1/2019
Inheritance

17. Virtual Functions
When base class and a derived class have distinct functions of the same name, how does the compiler know which one to invoke?
If the base-class function is virtual, then
The computer will invoke the member function of that name that is closest to the class of the invoking object.
Write the keyword virtual at the beginning of the function prototype.
1/1/2019
Inheritance

18. Example: Virtual Functions
class Person {
virtual void Output(ostream& out) const
{out << name << ‘ ‘ << sex;} };
1/1/2019
Inheritance

19. Example: Virtual Functions
int main() {
Man m("Joe");
Woman w("Jane");
Describe(m);
Describe(w); }
void Describe(Person& p)
cout << p << endl; // What will happen?
return;
1/1/2019
Inheritance

20. Demonstration In the file person.h, make Output() a virtual function.
Run the program FamilyTree.cpp to see what happens
1/1/2019
Inheritance

21. Virtual Functions and Value Parameters
What happens when the function is virtual and the parameter is a value parameter?
1/1/2019
Inheritance

22. Example: Virtual Functions
int main() {
Man m("Joe");
Woman w("Jane");
Describe(m);
Describe(w); }
void Describe(Person p)
cout << p << endl; // What will happen?
return;
1/1/2019
Inheritance

23. Demonstration
In the program FamilyTree.cpp, make the function parameter a value parameter.
Run the program to see what happens.
1/1/2019
Inheritance

24. Pure Virtual Functions
A function may be designated as a pure virtual function.
Write
The function is not instantiated at this level in the class hierarchy.
The function must be instantiated in the derived classes.
virtual function(parameters) = 0;
1/1/2019
Inheritance

25. Pure Virtual Functions
This is done when
the function must be implemented at some level in the hierarchy,
but there is not enough information at the top level to implement it there.
1/1/2019
Inheritance

26. Abstract Classes
An abstract class is a class that contains a pure virtual function.
No object of an abstract class may be instantiated.
Function parameters of an abstract class type must be passed by reference.
1/1/2019
Inheritance

27. Example: Pure Virtual Functions
class Person {
virtual void Output(ostream& out) const = 0; };
1/1/2019
Inheritance

28. Example: Pure Virtual Functions
int main() {
Man m("Joe");
Woman w("Jane");
Describe(m);
Describe(w); }
void Describe(Person& p)
cout << p << endl; // What will happen?
return;
1/1/2019
Inheritance

29. Demonstration
In the file person.h, make the Output() function pure virtual.
In FamilyTree.cpp, make the function parameter a reference parameter.
Run the program to see what happens.
1/1/2019
Inheritance

30. Demonstration
In FamilyTree.cpp, make the function parameter a value parameter.
Run the program to see what happens.
1/1/2019
Inheritance

31. Example: Abstract Class
Circles, squares, and triangles are shapes.
Create a shape class as a base class.
Each shape has an area and a perimeter.
However, we cannot find the area or perimeter until we know the particular shape.
Therefore, Shape should be an abstract class.
1/1/2019
Inheritance