C++多态的全面讲解
1.多态的定义和实现
多态的浅层理解
多态，即多种形态，也就是说，不同的对象在完成某个行为时会产生不同的状态。
举个例子，买火车票时，普通人正常买票，学生半价买票，军人优先买票。
在C++中，多态就是对于同一个函数，当调用的对象不同，他的操作也不同。
多态的构成条件
多态是继承体系中的一个行为，如果要在继承体系中构成多态，需要满足两个条件:
1. 必须通过基类的指针或者引用调用虚函数
2. 被调用的函数必须是虚函数，并且派生类必须要对继承的基类的虚函数进行重写
解释1：因为子类和父类的虚表各自一份，倘若能够通过对象传递的方式同时传递虚表的话，那么父类就可能拿到子类的虚表，不合理。
解释2：有虚函数就有虚函数表，对象当中就会存放一个虚基表指针，通过虚基表指针指向的内容来访问对应的函数。若子类没有重写父类的虚函数内容，则子类也会调用父类的函数。
2.虚函数
虚函数就是被virtual修饰的类成员函数(这里的virtual和虚继承的virtual虽然是同一个关键字，但是作用不一样)
class Person
{
public:
virtual void func()
{
cout << "普通人->正常买票" << endl;
}
};
虚函数的重写规则
虚函数，即被virtual关键字重写的类成员函数。
重写（覆盖）：派生类中有一个跟基类中完全相同的虚函数(三同：即派生类虚函数与基类虚函数的返回值类型、函数名字、参数列表完全相同，也有例外！)，这样则称子类重写了父类的虚函数。
示例代码如下：
class Person
{
public:
virtual void func()
{
cout << "普通人->正常买票" << endl;
}
};
class Student : public Person
{
public:
//子类必须重写父类的虚函数
virtual void func()
{
cout << "学生->半价买票" << endl;
}
};
//必须是父类的指针或引用去调用虚函数
//这里的参数类型不能是对象，否则是一份临时拷贝，则无法构成多态
void F(Person& ps)
{
ps.func();
}
int main()
{
Person ps;
Student st;
F(ps);
F(st);
return 0;
}
笔试选择题常考点（选自Effective C++）：
如果不满足虚函数重写的条件，例如参数不同则会变成重定义。
思考如下代码输出结果：
#include <iostream>
class Base{
public:
virtual void Show(int n = 10)const{ //提供缺省参数值
std::cout << "Base:" << n << std::endl;
}
};
class Base1 : public Base{
public:
virtual void Show(int n = 20)const{ //重新定义继承而来的缺省参数值
std::cout << "Base1:" << n << std::endl;
}
};
int main(){
Base* p1 = new Base1;
p1->Show();
return 0;
}
输出的是Base1:10,
因为如果子类重写了缺省值，此时的子类的缺省值是无效的，使用的还是父类的缺省值。原因是因为多态是动态绑定，而缺省值是静态绑定。对于P1，他的静态类型也就是这个指针的类型是Base,所以这里的缺省值是Base的缺省值，而动态类型也就是指向的对象是Base1，所以这里调用的虚函数则是Base1中的虚函数，所以这里就是Base1中的虚函数，Base中的缺省值，也就是Base1:10。
简单概括就是：虚函数的重写只重写函数实现，不重写缺省值。
虚函数重写条件的两个例外
1.协变（返回值不同）
当基类和派生类的返回值类型不同时，如果基类对象返回基类对象的引用或者指针，派生类对象也返回的是派生类对象的引用或者指针时，就会引起协变。协变也能完成虚函数的重写
例1：指针
class A {};
class B :public A {};
class Person
{
public:
virtual A* func()
{
cout << "virtual A* func()" << endl;
return new A;
}
};
class Student : public Person
{
public:
virtual B* func()
{
cout << "virtual B* func()" << endl;
return new B;
}
};
例2：引用
class Human
{
public:
virtual Human& print()
{
cout << "i am a human" << endl;
return *this;
}
};
class Student : public Human
{
public:
virtual Student& print()
{
cout << "i am a student" << endl;
return *this;
}
};
2.析构函数的重写（函数名不同）
析构函数虽然函数名不同，但是也能构成重写，因为站在编译器的视角，他所调用的析构函数名称都叫做destructor
为什么编译器要通过这种方式让析构函数也能构成重写呢？
假设我用一个基类指针或者引用指向派生类对象，如果不构成多态会怎样？
class Human
{
public:
~Human()
{
cout << "~Human()" << endl;
}
};
class Student : public Human
{
public:
~Student()
{
cout << "~Student()" << endl;
}
};
int main()
{
Human* h = new Student;
delete h;
return 0;
}上述代码只会调用Human的析构函数，即如果不构成多态，那么指针是什么类型的，就会调用什么类型的析构函数，这也就导致了一种情况，如果派生类的析构函数中有资源释放，而这里却没有释放掉那些资源，就会导致内存泄漏的问题。
所以为了防止这种情况，必须要将析构函数定义为虚函数。这也就是编译器将析构函数重命名为destructor的原因
class Human
{
public:
virtual ~Human()
{
cout << "~Human()" << endl;
}
};
class Student : public Human
{
public:
virtual ~Student()
{
cout << "~Student()" << endl;
}
};
int main()
{
Human* h = new Student;
delete h;
return 0;
}
3.C++11 override 和 final
override
override关键字是用来检测派生类虚函数是否构成重写的关键字。
如基类虚函数没有virtual或者派生类虚函数名拼错等问题，这些问题不会被编译器检查出来，发生错误时也很难一下子锁定，所以C++增添了override这一层保险，当修饰的虚函数不构成重写时就会编译错误。
class A
{
public:
virtual void func() {}
};
class B : public A
{
public:
//未重写则报错
virtual void func() override {};
};
final
使用final修饰的虚函数不能被重写。
如果某一个虚函数不想被派生类重写，就可以用final来修饰这个虚函数
class Human
{
public:
virtual void print() final
{
cout << "i am a human" << endl;
}
};
class Student : public Human
{
public:
virtual void print()
{
cout << "i am a student" << endl;
}
};
重载对比重定义(隐藏)与重写(覆盖)
4.抽象类
虚函数后面加上=0就是纯虚函数，包含纯虚函数的类即为抽象类（接口类）。抽象类不能实例化出对象，派生类继承抽象类后若没有重写纯虚函数那么仍为抽象类，亦不能实例化出对象。纯虚函数规范了派生类必须重写虚函数，并且更加体现出了接口继承。
抽象类就像是一个蓝图，为派生类描述好一个大概的架构，派生类必须实现完这些架构，至于要在这些架构上面做些什么，增加什么，就属于派生类自己的问题。
class Human
{
public:
virtual void print() = 0;
};
class Student : public Human
{
public:
virtual void print()
{
cout << "i am a student" << endl;
}
};
class Teacher : public Human
{
public:
virtual void print()
{
cout << "i am a teacher" << endl;
}
};
接口继承与实现继承
普通函数的继承就是接口继承，派生类可以使用基类的函数；而虚函数的重写则是实现继承，派生类继承的仅仅是基类的函数接口，目的是为了重写基类虚函数的函数体，达成多态。因此如果不实现多态，则不要将函数定义为虚函数。
到此这篇关于C++多态的全面讲解的文章就介绍到这了,更多相关C++多态内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！
相关文章
这篇文章主要介绍了如何求两个矩阵的乘积，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2021-11-11
这篇文章主要为大家详细介绍了C++实现学生考勤信息管理系统，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2020-12-12
这篇文章主要为大家详细介绍了C++实现俄罗斯方块游戏，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2020-09-09
本文讲解的是如何在C++中通过模板去除强制转换，在编程工作中应尽量少使用强制类型转换，模板有助于我们实现这一目的,需要的朋友可以参考下2015-07-07
本文主要介绍了dev-c++创建lib(静态链接库)文件的实现步骤，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2022-06-06![C++动态内存分配（new/new[]和delete/delete[]）详解](//img.jbzj.com/images/xgimg/bcimg5.png)
C++动态内存分配（new/new[]和delete/delete[]）详解
这篇文章主要介绍了C++动态内存分配（new/new[]和delete/delete[]）详解的相关资料,需要的朋友可以参考下2017-05-05
迭代器（iterator）是一种用于遍历数据集合的的对象,它提供了一种访问数据集合中元素的方式,而无需暴露数据集合内部的细节,使用迭代器,我们可以对数据集合中的每个元素进行处理,本文介绍了C++中关于vector迭代器失效问题的原因及解决方案,需要的朋友可以参考下2024-09-09
c++三大函数指的是拷贝构造、拷贝赋值、析构函数,下面这篇文章主要给大家介绍了关于C++类中三大函数(构造、析构和拷贝)的相关资料,文中通过实例代码介绍的非常详细,需要的朋友可以参考下2023-03-03
C++标准库中的std::vector是一种动态数组容器,适用于算法竞赛中的动态数据存储、数组扩展和模拟栈/二维数组等场景,本文就来介绍一下,感兴趣的可以了解一下2025-02-02
我们知道可以用new运算符可以动态的分配内存，用delete运算符可以释放这些内存。当我们使用new运算符动态的分配一个内存之后，会自动返回一个该内存段的起始地址，也就是指针。2013-10-10
![C++动态内存分配（new/new[]和delete/delete[]）详解](http://img.jbzj.com/images/xgimg/bcimg5.png)
最新评论