C++多态,虚函数

1.对象类型

2.多态：

Alt text
我们来一一分析：
静态多态（早绑定）：编译器在编译期间完成的，编译器根据函数实参的类型(可能会进行隐式类型转换)，可推断出要调用那个函数，如果有对应的函数就调用该函数，否则出现编译错误。

 int ADD(int a,int b){return a+b};
 int ADD(double a,double b){return a+b};
 Test()
 {ADD(1,2);//调用第一个
  ADD(1.2,2.3);//第二个
  };

动态多态（晚绑定）：在程序执行期间(非编译期)判断所引用对象的实际类型，来调用相应的方法。
C++中，virtual+成员函数，指明该函数为虚函数，派生类需要重新实现（重写），实现动态绑定。
【动态绑定条件】
1、必须是虚函数
2、通过基类类型的引用或者指针调用虚函数

多态顾名思义一种事物的多种形态。在C++中，是指用父类类型的指针指向子类的实例，然后通父类的指针调用子类的成员函数，就使得父类的指针有多种形态。
举例说明：

#include<iostream>  
using namespace std;

class A
{
public:
    void f()
{
    printf("1\n");
}
virtual void fun()//虚函数
{
    printf("2\n");
}
};
class B : public A
{
public:
void f()
{
    printf("3\n");
}
void fun()//重写
{
    printf("4\n");
}
};

void Test1()
{
A a;
B b;
A *p = &a;//父类类型的指针
p->f();//1
p->fun();//2
p = &b;
p->f();//1，指向固定偏移量
p->fun();//4，虚函数实现多态
};
void Test2()
{
A a;
B b;
B* ptr = (B*)&a;//子类的指针指向父类地址
ptr->f();//3，调用子类函数
ptr->fun();//2，由于是虚函数，多态性体现，调用父类的虚函数
};
int main(void)
{
Test1();
//Test2();
system("pause");
return 0;
}；

Test1() 就是标准的多态实现；

3.纯虚函数：

定义：在成员函数的形参列表后面写上=0，则为纯虚函数。包含纯虚函数的类叫做抽象类（也叫接口类），抽象类不能实例化出对象。纯虚函数在派生类中重新定义以后，派生类才能实例化出对象。
引入原因：
1.我们常常需要在基类中定义虚函数，方便多态实现；
2.有些情况下，基类本身生成对象不合情理；例如动物作为基类可以派生出猫，狗等，但本身生成对象就有些变扭；

4. 重载，重写（覆盖），重定义（隐藏）

强调一下协变：基类中的虚函数返回值类型为基类类型的指针或引用，并且派生类中重写的虚函数返回值类型为派生类类型的指针或引用。

5.知识点：

1、派生类重写基类的虚函数实现多态，要求函数名、参数列表、返回值完全相同。(协变除外)
2、基类中定义了虚函数，在派生类中该函数始终保持虚函数的特性。而在派生类中最好显示的给出virtual关键字（可以不加，编译器默认该为虚函数）。
3、只有类的非静态成员函数才能定义为虚函数，静态成员函数不能定义为虚函数。静态成员函数被该类所有对象所共享，可以不构建对象，但是虚表地址必须通过对象地址偏移得到。
4、如果在类外定义虚函数，只能在声明函数时加virtual关键字，定义时不用加。
5、构造函数不能定义为虚函数，因为首先要成功构造出对象，通过对象地址获取虚表地址来调用虚函数，
6，虽然可以将operator=定义为虚函数，但最好不要这么做，使用时容易混淆；
7、不要在构造函数和析构函数中调用虚函数，在构造函数和析构函数中，对象是不完整的，可能会出现未定义的行为。
8、最好将基类的析构函数声明为虚函数。

class Base
{
public:
Base()
{
cout << “Base()” << endl;
}
~Base()
{
cout << “~Base()” << endl;
}
};

class Derived :public Base
{
public:
Derived()
{
cout << “Derived()” << endl;
}
~Derived()
{
cout << “~Derived()” << endl;
}
};

void Test()
{
Base* p = new Derived;
delete p;
}

int main()
{
Test();
system(“pause”);
return 0;
};
运行结果：

可以看到在析构时只调用了基类的析构函数，可能造成内存泄漏；
调整后就解决了这个问题：

(析构函数比较特殊，因为派生类的析构函数跟基类的析构函数名称不一样，但是构成重写，这里编译器做了特殊处理)；
9、虚表是所有类对象实例共用的