c++多态性

本文笔记来自网易云课堂
http://study.163.com/course/courseMain.htm?courseId=271005

多态性的概念

多态性(polymorphism)是面向对象程序设计的一个重要特征。如果一种语言只支持类而不支持多态，是不能被称为面向对象语言的，只能说是基于对象的，如Ada、VB就属此类。C++支持多态性，在C++程序设计中能够实现多态性。利用多态性可以设计和实现一个易于扩展的系统。

顾名思义，多态的意思是一个事物有多种形态。多态性的英文单词polymorphism来源于希腊词根poly(意为“很多”)和morph(意为“形态”）。在C ++程序设计中，多态性是指具有不同功能的函数可以用同一个函数名，这样就可以用一个函数名调用不同内容的函数。在面向对象方法中一般是这样表述多态性的：向不同的对象发送同一个消息， 不同的对象在接收时会产生不同的行为（即方法）。也就是说，每个对象可以用自己的方式去响应共同的消息。所谓消息，就是调用函数，不同的行为就是指不同的实现，即执行不同的函数。

其实，我们已经多次接触过多态性的现象，例如函数的重载、运算符重载都是多态现象。只是那时没有用到多态性这一专门术语而已。例如，使用运算符“+”使两个数值相加，就是发送一个消息，它要调用operator +函数。实际上，整型、单精度型、双精度型的加法操作过程是互不相同的，是由不同内容的函数实现的。显然，它们以不同的行为或方法来响应同一消息。
摘自http://c.biancheng.net/cpp/biancheng/view/242.html

虚函数

首先我们进行一个小的测试：

class A
{
    int i;
    public:
        A():i(10){cout<<"A::A()"<<endl;     }
};
 int main()
 {

    A a;
    cout<<"size "<<sizeof(a)<<endl;
    int *p=(int *)&a;
    std::cout<<*p;
  } 
得到size=4；//int型的size，其他函数占空间
得到*p=10,说明p直接指向数据 i

然后我们加入一个虚函数

class A
{
    int i;
    public:
        A():i(10){cout<<"A::A()"<<endl;     }
        virtual void f(){
            std::cout<<"A:::f()"<<endl;
        } 
};
此时size变成了16，*p变成了4739920，why？？
**添加成员虚函数使内存占用发生了变化，并且指针的值也不再指向之前的内容**

如果我们在输出p之前使用p++，会输出0；
如果再p++，输出10（i）
（然而在32为机器上size=8，p++就能得到结果）为什么64为要两次呢？

在这里进行测试加入一个非虚函数可以发现内存并不增加，说明只有添加虚函数会造成内存使用增长

从内存看虚函数

那么添加虚函数究竟发生了什么呢？

可以看见在对象的内存区域的最上面多了一块区域vtable存放virtual ptr，指向虚函数，因此我们(int *)&a;得到的是vtable的地址

    int *p=(int *)&a;
    int *q=(int *)&b;
    //p++;//p++; 
    std::cout<<*p<<endl;
    std::cout<<*q<<endl;
这样之后我们发现**p和q的值是一样的**。。也就是说同一个类的不同对象的vtable指向同一块区域

举例子看一下继承里面的虚函数的多态性

class A
{
public:
    int i;

        A():i(10){cout<<"A::A()"<<endl;     }
        virtual void f(){
            std::cout<<"A:::f()"<<i<<endl;
        } 
        virtual void test(){}; 
};
class B:public A
{
    public:
        int j;
        B():j(22){  std::cout<<"B::B()"<<endl;  }
        virtual void f(){
            std::cout<<"B::f()"<<j<<endl;
        }
 }; 

1. 如果子类 circle继承于shape:
   如果定义了自己的virtual函数，那么vtable会指向自己的函数，比如B::f();
   如果没有定义自己的virtual函数，那么就会使用父类的virtual，在vtable里面也会指向父类的这个函数,比如virtual void test（）

2. 如果B继承于A，并且都有自己的一个同名函数f（），那么
   1，如果将b赋给aa=b; a.f();，调用a.f()，那么运行的是A::f( );
   2，如果A *p=&b; p->f(); 那么被调用的是B::f( )；

3. 多态性中，只有通过指针或者引用调用函数才会是动态绑定
   在赋值a=b中，vptr是不传递的，只是将值传递了进去

4. 只要有virtual函数的类的析构函数必须是virtual的

5. 子类的virtual函数的返回类型只能是子类的指针或者引用，不能是子类本身
   因为只有指针和引用才能upcast，才具有多态性