polymorphism 知识点的学习与分析

英文摘自：http://www.tutorialspoint.com/cplusplus/cpp_polymorphism.htm

The word polymorphism means having many forms. Typically, polymorphism occurs when there is a hierarchy of classes and they are related by inheritance.

C++ polymorphism means that a call to a member function will cause a different function to be executed depending on the type of object that invokes the function.
Consider the following example where a base class has been derived by other two classes:
#include <iostream>
using namespace std;


class Shape {
   protected:
      int width, height;
   public:
      Shape( int a=0, int b=0)
      {
         width = a;
         height = b;
      }
      int area()
      {
         cout << "Parent class area :" <<endl;
         return 0;
      }
};
class Rectangle: public Shape{
   public:
      Rectangle( int a=0, int b=0):Shape(a, b) { }
      int area ()
      {
         cout << "Rectangle class area :" <<endl;
         return (width * height);
      }
};
class Triangle: public Shape{
   public:
      Triangle( int a=0, int b=0):Shape(a, b) { }
      int area ()
      {
         cout << "Triangle class area :" <<endl;
         return (width * height / 2);
      }
};
// Main function for the program
int main( )
{
   Shape *shape;
   Rectangle rec(10,7);
   Triangle  tri(10,5);


   // store the address of Rectangle
   shape = &rec;
   // call rectangle area.
   shape->area();


   // store the address of Triangle
   shape = &tri;
   // call triangle area.
   shape->area();


   return 0;
}
When the above code is compiled and executed, it produces the following result:
Parent class area


Parent class area
The reason for the incorrect output is that the call of the function area() is being set once by the compiler as the version defined in the base class. This is calledstatic resolution of the function call, or static linkage - the function call is fixed before the program is executed. This is also sometimes called early binding because the area() function is set during the compilation of the program.
But now, let's make a slight modification in our program and precede the declaration of area() in the Shape class with the keyword virtual so that it looks like this:
class Shape {
   protected:
      int width, height;
   public:
      Shape( int a=0, int b=0)
      {
         width = a;
         height = b;
      }
      virtual int area()
      {
         cout << "Parent class area :" <<endl;
         return 0;
      }
};
After this slight modification, when the previous example code is compiled and executed, it produces the following result:
Rectangle class area


Triangle class area
This time, the compiler looks at the contents of the pointer instead of it's type. Hence, since addresses of objects of tri and rec classes are stored in *shape the respective area() function is called.
As you can see, each of the child classes has a separate implementation for the function area(). This is how polymorphism is generally used. You have different classes with a function of the same name, and even the same parameters, but with different implementations.
Virtual Function:
A virtual function is a function in a base class that is declared using the keyword virtual. Defining in a base class a virtual function, with another version in a derived class, signals to the compiler that we don't want static linkage for this function.
What we do want is the selection of the function to be called at any given point in the program to be based on the kind of object for which it is called. This sort of operation is referred to as dynamic linkage, or late binding.
Pure Virtual Functions:
It's possible that you'd want to include a virtual function in a base class so that it may be redefined in a derived class to suit the objects of that class, but that there is no meaningful definition you could give for the function in the base class.
We can change the virtual function area() in the base class to the following:
class Shape {
   protected:
      int width, height;
   public:
      Shape( int a=0, int b=0)
      {
         width = a;
         height = b;
      }
      // pure virtual function
      virtual int area() = 0;
};
The = 0 tells the compiler that the function has no body and above virtual function will be called pure virtual function.


#include <iostream> 
using namespace std;
 
class Shape {
   protected:
      int width, height;
   public:
      Shape( int a=0, int b=0)
      {
         width = a;
         height = b;
      }
      virtual int area()
      {
         cout << "Parent class area :" <<endl;
         return 0;
      }
      int display_shape()
      {
         cout << "Parent class shape :" <<endl;
         return 0;
      }
};
class Rectangle: public Shape{
   public:
      Rectangle( int a=0, int b=0):Shape(a, b) { }
      int area ()
      { 
         cout << "Rectangle class area :" <<endl;
         return (width * height); 
      }
      
            int display_shape()
      {
         cout << "Rectangle class shape :" <<endl;
         return 0;
      }
};
class Triangle: public Shape{
   public:
      Triangle( int a=0, int b=0):Shape(a, b) { }
      int area ()
      { 
         cout << "Triangle class area :" <<endl;
         return (width * height / 2); 
      }
      
           int display_shape()
      {
         cout << "Triangle class shape :" <<endl;
         return 0;
      }
};
// Main function for the program
int main( )
{
   Shape *shape;
   Rectangle rec(10,7);
   Triangle  tri(10,5);
   
   Rectangle *rec_ptr;
   Shape sha(3,3);
   rec_ptr =(Rectangle *)&sha;
   rec_ptr->area();
   rec_ptr->display_shape();


   // store the address of Rectangle
   shape = &rec;
   // call rectangle area.
   shape->area();
   shape->display_shape();


   // store the address of Triangle
   shape = &tri;
   // call triangle area.
   shape->area();
   shape->display_shape();
   
   return 0;
}


Compiling the source code....
$g++ -std=c++11 main.cpp -o demo 2>&1


Executing the program....
$demo 
Parent class area :
Rectangle class shape :
Rectangle class area :
Parent class shape :
Triangle class area :
Parent class shape :


从以上的结果我们可以做出如下总结：
对于具有相同函数名字，且参数相同，非虚函数的话，看调用这个函数的变量是什么类型声明的，那么就是调用这个类型里的函数。
比如对于display（）这个函数，第一个调用的 rec_ptr->display_shape();，rec_ptr
是 Rectangle *rec_ptr; 声明的，所以第一应该调用rectange  class 里的shape。


那么对于是虚函数的话，就要看它所指的对象是什么类型的了。
比如对于area（）函数，rec_ptr =(Rectangle *)&sha; sha是shape类型所以是调用父类里的area。
这样我们就很明确了。


其实对于第一种情况的话应该是隐藏吧，第二种才是覆盖。