多态的原理-编程知识

前言:以下的内容均是在VS2019的环境中，32位平台下的

1.多态的实现条件

虚函数重写的两个例外

一个题加深理解

总结

重载重写重定义区别

2.多态的实现原理

单继承

多继承

动态多态和静态多态

多态的好问题

1.多态的实现条件

虚函数：被virtual修饰的成员函数，和虚拟继承没有一点关系

a.虚函数的重写（三同：函数名，返回值，参数类型）

b.父类的指针或引用调用虚函数

虚函数的重写（覆盖）：子类继承了父类的虚函数的接口，对其函数主体进行重写，父类和子类具有相同的虚函数，相同是指三同：函数名，返回值，参数类型，函数主体不同。

class Person {
public:
virtual void BuyTicket() { cout << "买票-全价" << endl; }
};
class Student : public Person {
public:
virtual void BuyTicket() { cout << "买票-半价" << endl; }
/*注意：在重写基类虚函数时，派生类的虚函数在不加virtual关键字时，虽然也可以构成重写(因
为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范，不建议
这样使用*/
/*void BuyTicket() { cout << "买票-半价" << endl; }*/
};
void Func(Person& p)
{ p.BuyTicket(); }
int main()
{
Person ps;
Student st;
Func(ps);
Func(st);
return 0;
}

构成多态：不同的对象去调用同一函数，呈现出不同的状态。

不构成多态：指针或引用类型是什么就调用谁的

虚函数重写的两个例外

协变

子类重写父类虚函数时可以返回值类型不同，但是子类虚函数必须返回子类对象的指针或引用（不一定是本身子类对象，可以是其他子类对象），父类虚函数必须返回父类对象的指针或引用（不一定是本身父类对象，可以是其他父类对象）

class A{};
class B : public A {};
class Person {
public:
virtual Person* f() {return new Person;}
};
class Student : public Person {
public:
virtual Student* f() {return new Student;}
};

class A{};
class B : public A {};
class Person {
public:
virtual A* f() {return new A;}
};
class Student : public Person {
public:
virtual B* f() {return new B;}
};

析构函数的重写

如果父类的析构函数为虚函数，此时子类析构函数只要定义，无论是否加virtual关键字，都与父类的析构函数构成重写，虽然基类与派生类析构函数名字不同。虽然函数名不相同，看起来违背了重写的规则，其实不然，这里可以理解为编译器对析构函数的名称做了特殊处理，编译后析构函数的名称统一处理成destructor。

class Person {
public:virtual~Person() { cout << "~Person()" << endl; }
};
class Student : public Person {
public:virtual ~Student() { cout << "~Student()" << endl; }
};
// 只有派生类Student的析构函数重写了Person的析构函数，下面的delete对象调用析构函
//数，才能构成多态，才能保证p1和p2指向的对象正确的调用析构函数。
int main()
{Person* p1 = new Person;Person* p2 = new Student;delete p1;delete p2;return 0;
}

一个题加深理解

class A{public:virtual void func(int val = 1){ std::cout<<"A->"<< val <<std::endl;}virtual void test(){ func();}};class B : public A{public:void func(int val=0){ std::cout<<"B->"<< val <<std::endl; }};int main(int argc ,char* argv[]){B*p = new B;p->test();return 0;}

答案是什么？

解释：B

改了一下

class A{public:virtual void func(int val = 1){ std::cout<<"A->"<< val <<std::endl;}};class B : public A{public:void func(int val=0){ std::cout<<"B->"<< val <<std::endl; }virtual void test(){ func();}};int main(int argc ,char* argv[]){B*p = new B;p->test();return 0;}

又选什么？

解释：D

总结

多态就是硬套条件，符合多态就按多态走，不符号多态就按类型走

重载重写重定义区别

2.多态的实现原理

单继承

// 这里常考一道笔试题：sizeof(Base)是多少？
class Base
{
public:
virtual void Func1()
{
cout << "Func1()" << endl;
}
private:
int _b = 1;
};int main()
{Base B;cout << sizeof(Base) << endl;return 0;
}

运行发现Base的大小是8字节，为什么呢？

通过调试我们发现，Base对象除了有_b成员变量，还存在一个_vfptr变量，这个变量是虚函数指针简称虚表指针。 虚函数表简称虚表：存着虚函数地址的函数指针数组，一个含有虚函数的类至少有一个虚表。

class Base
{
public:virtual void Func1(){cout << "Base::Func1()" << endl;}virtual void Func2(){cout << "Base::Func2()" << endl;}void Func3(){cout << "Base::Func3()" << endl;}
private:int _b = 1;
};
class Derive : public Base
{
public:virtual void Func1(){cout << "Derive::Func1()" << endl;}
private:int _d = 2;
};
int main()
{Base b;Derive d;return 0;
}

多态实现原理：父类的指针或者引用指向父类就通过虚表指针找到父类的虚表在调用相应的虚函数，指向子类通过虚表指针找到子类的虚表在调用相应的虚函数。

反思一下为啥满足多态的条件有一个是父类的指针或引用，不能是父类对象。

虚函数表的问题

1.VS系列编译器虚表最后面放的是nullptr，g++编译器没有

2.虚表是在编译阶段产生的

3.虚表指针是在构造函数初始化列表初始化

4.虚表存的是虚函数的地址，不是虚函数，虚函数和普通函数一样在代码段中，虚表也存在带码中

5.总结一下派生类的虚表生成：a.先将基类中的虚表内容拷贝一份到派生类虚表中 b.如果派生类重写了基类中某个虚函数，用派生类自己的虚函数覆盖虚表中基类的虚函数 c.派生类自己新增加的虚函数按其在派生类中的声明次序增加到派生类虚表的最后

打印虚表

虚表怎么打印呢？

思路：取出b、d对象的头4bytes，就是虚表的指针，前面我们说了虚函数表本质是一个存虚函数指针的指针数组，这个数组最后面放了一个nullptr

1.先取b的地址，强转成一个int*的指针
2.再解引用取值，就取到了b对象头4bytes的值，这个值就是指向虚表的指针
3.再强转成VFPTR*，因为虚表就是一个存VFPTR类型(虚函数指针类型)的数组。
4.虚表指针传递给PrintVTable进行打印虚表
5.需要说明的是这个打印虚表的代码经常会崩溃，因为编译器有时对虚表的处理不干净，虚表最后面没有放nullptr，导致越界，这是编译器的问题。我们只需要点目录栏的 - 生成 - 清理解决方案，再编译就好了。

class Base {
public:virtual void func1() { cout << "Base::func1" << endl; }virtual void func2() { cout << "Base::func2" << endl; }
private:int a;
};
class Derive :public Base {
public:virtual void func1() { cout << "Derive::func1" << endl; }virtual void func3() { cout << "Derive::func3" << endl; }virtual void func4() { cout << "Derive::func4" << endl; }
private:int b;
};typedef void(*VFPTR) ();
void PrintVTable(VFPTR vTable[])
{// 依次取虚表中的虚函数指针打印并调用。调用就可以看出存的是哪个函数cout << " 虚表地址>" << vTable << endl;for (int i = 0; vTable[i] != nullptr; ++i){printf(" 第%d个虚函数地址 :%p\n", i, vTable[i]);}cout << endl;
}
int main()
{Base b;Derive d;VFPTR * vTableb = (VFPTR*)(*(int*)&b);PrintVTable(vTableb);VFPTR* vTabled = (VFPTR*)(*(int*)&d);PrintVTable(vTabled);return 0;
}