h12: Polymorphism

Reading: Polymorphism, PS 15.3

1. (10 pts) Fill in the information in the header. The following are required to get the 10 "participation" points.
   • Filling in your name and umail address.
     
2. On p. 868 in PS, in Display 15.12, line 17, there is a use of the overloaded operator < on two objects, one of type Sale and another of type DiscountSale. The definition of that operator appears on lines 25 - 28 of Display 15.10 on p. 866. On line 27, there is an invocation of first.bill() and an invocation of second.bill().
   1. (5 pts) For first.bill() in the case of the invocation in Display 15.12 line 17, where is the definition of the member function bill() that is invoked? Give the Display number, line number(s) and page number(s) of the textbook where it appears.
       
   2. (5 pts) For second.bill() in the case of the invocation in Display 15.12 line 17, where is the definition of the member function bill() that is invoked? Give the Display number, line number(s) and page number(s) of the textbook where it appears.
       
   3. (5 pts) The bill() member function is "special", meaning that the exact definition of the function used depends on what type of object it is invoked on - if it is an instance of Sale or DiscountSale, for example, which may not be known until run-time. What is the C++ keyword that is used in the source code on the definition of bill() that signals this so called run-time dispatch of the member function?
       
   4. (5 pts) Is bill() an example of a function with early binding or late binding?
       
3. (8 pts) Assume we have a base class (e.g. Person) and derived class (e.g. Student), and there is some function such as toString() that is defined in both the base class and the dervied class. For example, suppose that:
   • for Person, toString returns the person's name, e.g. Chris Gaucho
   • for Student, toString returns the person's name and their perm number in parentheses. e.g. Chris Gaucho (1234567).
   We say that toString() is overridding in the derived class. However, in PS (15.3), Savitch makes a distinction between the two cases, one that is properly called overriding and another that should really be called redefinition. Most of the cases we've seen so far are really just redefinition. What is different, according to Savitch, in the case where this should be called overriding?
    
4. Given the following class definitions (you may assume all necessary libraries have already been included):

   class A {
   public:
       ~A() { cout << "A::~A()" << endl; }
       void f1() { cout << "A::f1()" << endl; }
       virtual void f2() { cout << "A::f2()" << endl; }
   };
   class B : public A {
   public:
       virtual ~B() { cout << "B::~B()" << endl; }
       virtual void f1() { cout << "B::f1()" << endl; }
       void f2() { cout << "B::f2()" << endl; }
       virtual void f3() = 0;
   };
   class C : public B {
   public:
       ~C() { cout << "C::~C()" << endl; }
       void f1() { cout << "C::f1()" << endl; }
       virtual void f3() { cout << "C::f3()" << endl; }
   };
   

   a. (6 pts) What will the output be if we ran the following code (be sure to include destructors' output):

   void f1() {
       C c1;
       A a1 = c1;
       a1.f1();
       a1.f2();
   }
   
   int main() { f1(); }
   

   b. (6 pts) What will the output be if we ran the following code (be sure to include destructors' output):

   void f2() {
       B* b1 = new C();
       b1->f1();
       b1->f2();
       b1->f3();
       delete b1;
   }
   
   int main() { f2(); }