- 本人的LeetCode账号:魔术师的徒弟,欢迎关注获取每日一题题解,快来一起刷题呀~
- 本人Gitee账号:路由器,欢迎关注获取博客内容源码。
一、多态的基本概念
多态多态,顾名思义,多种形态,具体来说就是不同类型的对象去完成同样的行为时,产生了不同状态的结果。
一般动态分为两种:静态的多态和动态的多态。
函数重载为什么是多态呢?看起来调用接口名相同的函数却可以表现出不同的行为,这就是一种多态。
那函数重载为什么是静态的多态呢?因为函数重载的实现是在编译时实现的,是在编译期通过参数类型生成不同的函数名修饰规则,找最符合函数名修饰规则的函数进行运行,编译期就确定了具体调用什么函数。
动态的多态:父类对象的引用或指针去调用同一个函数,如果引用或指向不同的对象,会调用不同的函数,它最大的特点是它是运行时实现的,如:
class Person
{
public:
virtual void buyticker()
{
cout << "全价买票" << endl;
}
};
class Student : public Person
{
public:
// 子类中满足三重(函数名、参数、返回值)的虚函数 就可以构成重写(覆盖)
// 而不是隐藏
// 这里虚函数和虚继承的虚没啥直接关系
virtual void buyticker()
{
cout << "半价买票" << endl;
}
};
// 这里利用父类和子类的切割机制
void Ticker(Person& p)
{
p.buyticker();
}
int main()
{
Person p;
Student s;
Ticker(p);
Ticker(s);
return 0;
}
![](https://i-blog.csdnimg.cn/blog_migrate/4c07e8582f8679d9f12f19a824c632cc.png)
本质是不同类型的对象去做同一件事情,但是结果不同。
二、多态的定义与实现
1 多态的构成条件
- 必须通过基类的指针或引用去调用虚函数;
- 派生类必须完成了对基类的虚函数的重写,才能表现出不同的形态
验证第一个条件:
void Ticker(Person p)
{
p.buyticker();
}
![](https://i-blog.csdnimg.cn/blog_migrate/65f280a380f99591eaccc025d13a6fe7.png)
构成多态,传的是哪个类型的对象给引用或指针,就会调用这个类型的虚函数。
破坏条件不构成多态时,它调用的就是基类类型的对应函数。
2 虚函数
被virtual
关键字修饰的非静态成员函数才能是虚函数,其他的函数都不是虚函数。
3 虚函数的重写
I 条件
虚函数的重写(覆盖):派生类中需要有一个和基类完全相同的虚函数(函数名相同、返回值类型相同、参数列表相同)才能够完成虚函数的重写,子类的virtual
关键字可以不写,但是父类要声明为虚函数的函数必须写virtual
关键字,这一点,其实不是很规范,建议都写上virtual
。
这里若不构成虚函数,那么就只会调父类的成员,不会存在隐藏的问题,因为隐藏的问题是子类才有问题:
![](https://i-blog.csdnimg.cn/blog_migrate/d2357815b26474d35babb1b7bba71991.png)
参数不同破坏多态验证:
![](https://i-blog.csdnimg.cn/blog_migrate/bd7c950c2462f327aaa96f538cf523d0.png)
构成多态失败:
![](https://i-blog.csdnimg.cn/blog_migrate/edbc29187f9d40b8b543c412a944b5b6.png)
返回值不同破坏多态验证:
VS直接编译不通过了。
![](https://i-blog.csdnimg.cn/blog_migrate/07c8ba24ba338a49e9ac3b0dd62b94c8.png)
重写要求返回值相同的两个例外:
II 例外条件1—协变
如果返回值是父子关系的指针或引用,则依然可以构成多态。
构成了多态:
![](https://i-blog.csdnimg.cn/blog_migrate/55d29928582656286cf41e7241aadf55.png)
![](https://i-blog.csdnimg.cn/blog_migrate/9d96733b5c1bbbacfe3a06c6dbcc36ec.png)
III 例外条件2—析构函数的重写
父类和子类的析构函数,加上virtual
关键字,是否构成虚函数的重写呢?
在继承中我们讲过,父类和子类的析构函数的函数名都会被特殊处理成destructor
,所以它们函数名相同,参数类型相同,完全可以构成多态。
对于普通的父类对象和子类对象,析构函数是否构成多态,是否完成重写,都正确调用了,即子类析构时,先调用子类部分的析构函数,再调用父类部分的析构函数。
![](https://i-blog.csdnimg.cn/blog_migrate/bd852d6eb86baab843360fee7f1e5527.png)
但是在我们使用父类指针释放动态申请来的子类资源时会出问题。
![](https://i-blog.csdnimg.cn/blog_migrate/9b43dbc431481edcd3c586b1f1be44c6.png)
![](https://i-blog.csdnimg.cn/blog_migrate/d02dd91037c715861fc906b68635a677.png)
不加virtual
:
![](https://i-blog.csdnimg.cn/blog_migrate/acde19cf15377c5ba3bb1ba1881c7155.png)
未能调用子类的析构函数,内存泄漏,这就是因为没有子类的析构函数和父类的析构函数没有构成多态,父类指针没有在delete时去调用对应的子类的析构函数
![](https://i-blog.csdnimg.cn/blog_migrate/6886bbe5ffc24bb76ebad21160c82f72.png)
父类指针释放子类资源这是一个很常见的接口,常见于一些设计中,所以把继承体系中析构函数设计为虚函数是很重要的。
IV 为什么子类可以不写virtual关键字?
因为子类会先继承父类的属性,就包括父类虚函数的属性,然后再完成重写。
这样设计的初衷就是为了防止因为子类和父类可能不是同一个人写的,如果子类的析构函数忘了写virtual
关键字,不就出问题了?所以这样设计了,但是却带来了下面的坑。
子类的虚函数访问限定符和父类就算不同,而且还不写virtual
关键字,还是能构成多态,父类指针或引用还是能调用这个函数,因为C++多态的原理是执行函数时通过虚表去找的,只要父类的那个虚函数是public
的,它就会进虚表,子类继承时继承到虚函数的属性,一比对发现有能构成重写的虚函数,你访问限定符拦不住我,我就把它写虚表里了,然后我一定可以通过虚表完成多态,这一定程度上破坏了封装。
![](https://i-blog.csdnimg.cn/blog_migrate/c4a9f4b3c9ba41db3ec39ea8e31679a0.png)
![](https://i-blog.csdnimg.cn/blog_migrate/578705a307936ec026e8a271565b92f5.png)
4 final和override—C++11
I final
设计出发点是如何让一个类不能被继承呢?
C++98的设计方法是把这个类的构造函数设为私有,这样子类想初始化父类时,要调用父类的构造函数,而私有的父类构造函数在子类不可见,语法上强制限制了不可用,间接限制了你无法继承这个类。
那这样父类不也没法构造了吗?其实用单例模式挺好实现父类对象的构造的:
class A
{
A(int a = 0) : _a(a)
{}
int _a;
public:
static A createobj(int a = 0)
{
return A(a);
}
};
这里不能设计为成员函数,因为成员函数得有对象。
C++98的方式:
![](https://i-blog.csdnimg.cn/blog_migrate/33768e61fb2a3289997ed0e90cc5f9fd.png)
![](https://i-blog.csdnimg.cn/blog_migrate/44c4dea3d3695d61b2cfc0e326355516.png)
C++11觉得这种方式太麻烦了,C++11直接提供了一个关键字final
就能让这个类无法被继承了。
![](https://i-blog.csdnimg.cn/blog_migrate/f84bb0a12a00469c91566c4e3c67299d.png)
final
加在虚函数上,可以让这个虚函数不可以被重写。
![](https://i-blog.csdnimg.cn/blog_migrate/b6e534f49f37947ad2db2693fbf8359a.png)
II override
放在子类重写的虚函数的后面,检查是否完成重写,没有重写的话就会报错。
如果基类的虚函数忘了加virtual
关键字,这时会构成隐藏而非覆盖:
![](https://i-blog.csdnimg.cn/blog_migrate/aafd9075e2624cda101baf393d947b44.png)
给子类函数加上override
关键字,立马报错。
![](https://i-blog.csdnimg.cn/blog_migrate/df1157653b93646b5be6b80bc270d506.png)
![](https://i-blog.csdnimg.cn/blog_migrate/d9e37a5a459b16713780525c3376a784.png)
三、重载、覆盖(重写)、隐藏(重定义)的对比
![](https://i-blog.csdnimg.cn/blog_migrate/2381f6a0a93897bbdcd25981376ea94c.png)
四、抽象类
包含纯虚函数的列就是抽象类。
纯虚函数就是在虚函数后面加一个=0
,纯虚函数一般只声明不实现,你实现也可以,但是实现没有价值。
virtual base() = 0;
纯虚函数可以写上定义,但是你调用的时候会报错。
![](https://i-blog.csdnimg.cn/blog_migrate/2333ebf7033dd0b010119d5b59cd456e.png)
![](https://i-blog.csdnimg.cn/blog_migrate/80ac2c9323cfd9ba1693fad8fea4ee6c.png)
这里调用纯虚函数报错的原因和虚表有关,即它和多态的原理有关。
抽象类的特点就是不能实例化出对象,所以其实没有调用的价值,就算调用了还因为没法实例化对象而解引用非法地址出错。
继承抽象类后,只有把抽象类中所有的虚函数都重写了,才能实例化出对象。
![](https://i-blog.csdnimg.cn/blog_migrate/33a8901d7c7642f3f7b2865422ad1702.png)
一般什么样的类设计为抽象类呢?抽象的一种含义是在现实世界中没有对应的实物。
一个类型如果一般在现实世界中没有具体的对应角色,就定义成抽象类比较好,正好它也不是实例化出对象出来了。比如学校中人就可以设计为一个抽象类,动物园中动物也可以设计为一个抽象类,人这个类型找不到实际的东西去对应。
抽象类强制了子类去完成虚函数的重写。
虚函数的继承是一种接口继承,你继承抽象类后,强制要求你必须把接口重写好,如果不想实现多态,就不要把函数定义为虚函数。
五、多态的原理
1 引入虚函数表
从一个简单的sizeof
一个有虚函数的类来开始:
class myc
{
public:
virtual void f()
{
cout << "f(" << endl;
}
private:
int _a;
char _c;
};
int main()
{
cout << sizeof(myc) << endl;
return 0;
}
![](https://i-blog.csdnimg.cn/blog_migrate/f74d073b4700aa3112f5dacaff2f1b53.png)
![](https://i-blog.csdnimg.cn/blog_migrate/9c39ed7af1e08e8fffca811d120c28fc.png)
![](https://i-blog.csdnimg.cn/blog_migrate/b3ac4fcc686f73bd360cdb4be9c73d4e.png)
虚函数表指针,简称虚表指针。
所以前面那个调用纯虚函数的报错是因为有虚函数的类,找虚函数是通过这个指针去找的,然后需要解引用这个指针,就非法访问内存了。
2 虚函数表实现多态的原理
class Person
{
public:
virtual void buyticket()
{
cout << "全款买票" << endl;
}
};
class Student : public Person
{
public:
virtual void buyticket() override
{
cout << "半价买票" << endl;
}
};
void Ticker(Person& p)
{
p.buyticket();
}
int main()
{
Person Bob;
Student Jenson;
Ticker(Bob);
Ticker(Jenson);
}
![](https://i-blog.csdnimg.cn/blog_migrate/cef92a210b7c359550867c438b00b7cc.png)
这两个虚表指针地址不同,说明继承来的子类对象虚表和父类是不同的。
看看反汇编,发现虚函数的执行和普通函数的执行确实很不一样:
![](https://i-blog.csdnimg.cn/blog_migrate/692c4782276c0c6c14a5b51a5f8a2554.png)
![](https://i-blog.csdnimg.cn/blog_migrate/7da232cacab72e6f84947620da678201.png)
但是父类对象和子类对象对应的汇编指令是相同的,子类对象被父类对象的指针指向或引用后,基类指针的视角就是这个基类成员和这个虚函数表,然后去虚函数表中找到对应的函数,进行调用。
下面是Buy(Jenson)
的执行过程,发现和Buy(Bob)
是一样的,唯一的不同是进入了不同的虚函数表后找到的地址不同而已,是你传给我的对象不同,才会去不同的虚表找到不同的虚函数,在编译器编译这个函数时,这两段指令是没有任何区别的,这是运行的时候去虚函数表中找到的虚函数实现了多态,所以虚函数的机制才被称为运行时多态。
![](https://i-blog.csdnimg.cn/blog_migrate/c7d8ea3a96431d2f129d9fedbfaf6d5d.png)
那么为什么对象就不能完成多态呢?子类对象也可以给父类对象切片啊?
指针切片,我指向的是子类对象的父类部分,所以它指向的虚表指针就是子类的虚表;对象切片,会使用子类对象的父类部分调用拷贝构造函数,它不会把子类的虚函数表指针复制过去,不然父类对象持有子类对象的虚函数表,那还得了。。。比如拷贝过来的父类对象持有子类对象的虚表,生命周期结束时,析构函数就会调用子类对象的析构函数,这不就大错特错了吗。
另外,同类对象的虚表指针是相同的:
![](https://i-blog.csdnimg.cn/blog_migrate/70c6ad57219e98a0b45a8fa8253c0ea6.png)
普通函数和虚函数的存储位置是一样的,都在公共代码段,只是虚函数还要把自己的地址存一份进虚表。
当是对象而非引用的时候,它直接就不会去虚表中找,因为就算能去虚表找,因为拷贝构造无法拷子类的虚表,找到的也是父类的虚表中对应函数,所以如果是对象本身来调用函数,我直接不会去虚表里头找,会直接在类域中找,只有在父类对象的指针或引用时,才会去虚函数表找,也才能安全的去虚表里头找。
![](https://i-blog.csdnimg.cn/blog_migrate/1fbc3293e7c603fbf3d6c2d9024a1fe5.png)
多态调用在编译时是没法确定你调用的是那个函数的,因为单从一段函数上来说,它是不知道传给自己的对象是什么样的,只能知道自己要去虚表找而已。
void Ticker(Person p)
{
p.buyticket();
}
所以为啥子类的虚函数设为私有还是能实现多态呢?
首先public
等这些访问限定符只是编译器的检查,但是我虚函数的调用是去虚表中找的,访问限定符管不到我,而且编译的时候不知道是谁来调用的这个函数,我只看到父类的这个函数是公有的,所以我检查不出来。
所以C++的public
等修饰符也不是完全安全的,我利用虚函数机制,子类的私有成员虚函数我也能调用的到。
所以重写这个名词实际上是一个原理层面的名词,我子类把虚表拷贝过来后,子类重写的虚函数会在虚表中改变对应函数的地址。
VS下虚表存的地址是Jump指令的地址,它多做了一些手脚,这些操作有时候是必要的,比如为了找到多继承的一个基类的位置而修改this
指针的值之类的。
g++ -fdump-class-hierarchy xxx.cpp//查看xxx.cpp的虚表
新版的g++参数为-fdump-lang-class
3 虚函数表存储在哪
一个小问题:虚函数表本身存在哪里呢?其实考虑到虚表严格来说不会被再修改了,可以猜到它放在常量区,我们通过一个对比的方法得到:
int main()
{
int a = 1;
printf("栈区%p\n", &a);
int* p = new int;
printf("堆区%p\n", p);
const char* str = "hellow";
printf("常量区%p\n", str);
printf("代码段%p\n", Ticker);
Student s;
printf("虚表%p\n", *(int*)(&s));
}
![](https://i-blog.csdnimg.cn/blog_migrate/d01302607a35501f7578e521fd1a0a9c.png)
离常量区最近。
Linux下g++编译器的验证:
![](https://i-blog.csdnimg.cn/blog_migrate/9b7de22e2a4f323dd6c12fde29a6f9fa.png)
4 单继承时的虚函数表
class father
{
public:
virtual void fun1()
{
cout << "father::fun1()" << endl;
}
virtual void fun2()
{
cout << "father::fun2()" << endl;
}
};
class child : public father
{
public:
virtual void fun1()
{
cout << "child::fun1()" << endl;
}
virtual void fun3()
{
cout << "child::fun3()" << endl;
}
virtual void fun4()
{
cout << "child::fun4()" << endl;
}
};
int main()
{
father f;
child c;
return 0;
}
发现虚函数表中没有找到fun3
和fun4
的虚函数表,咋回事呢?
![](https://i-blog.csdnimg.cn/blog_migrate/2b4ea23ac36583f99090c86a1949bff5.png)
它被隐藏了,我们通过内存来看。
![](https://i-blog.csdnimg.cn/blog_migrate/89d324971bea666252136bbb38939607.png)
这俩就是重写的func1
和未重写的fun2
,大胆猜测后面两个就是fun3
和fun4
的地址。
5 多继承的虚函数表
多继承后,如果不是虚继承,我们会有两张虚表,但是它的全部虚函数会全部放到第一个继承的类的虚表中。
class base1
{
public:
virtual void fun1()
{
cout << "base1::fun1()" << endl;
}
virtual void fun2()
{
cout << "base1::fun2()" << endl;
}
int b1;
};
class base2
{
public:
virtual void fun1()
{
cout << "base2::fun1()" << endl;
}
virtual void fun2()
{
cout << "base2::fun2()" << endl;
}
int b2;
};
class child : public base1, public base2
{
public:
virtual void fun1()
{
cout << "child::fun1()" << endl;
}
virtual void fun3()
{
cout << "child::fun3()" << endl;
}
int d;
};
int main()
{
child d;
base1* p1 = &d;
base2* p2 = &d;
p1->fun1();
p2->fun2();
}class base1
{
public:
virtual void fun1()
{
cout << "base1::fun1()" << endl;
}
virtual void fun2()
{
cout << "base1::fun2()" << endl;
}
};
class base2
{
public:
virtual void fun3()
{
cout << "base2::fun3()" << endl;
}
virtual void fun4()
{
cout << "base2::fun4()" << endl;
}
};
class child : public base1, public base2
{
public:
virtual void fun1()
{
cout << "child::fun1()" << endl;
}
virtual void fun3()
{
cout << "child::fun3()" << endl;
}
};
int main()
{
child d;
base1* p1 = &d;
base2* p2 = &d;
p1->fun1();
p2->fun3();
}
第一个问题:现在d中有多少个虚表呢?
想一想多继承的概念,大概有两个虚表,运行看一看。
发现有重写的fun1
和未重写的fun2
,我们通过内存看看:
![](https://i-blog.csdnimg.cn/blog_migrate/2e6ef9b26b852348ec1e21747b383044.png)
第一个虚表有三个虚函数。
![](https://i-blog.csdnimg.cn/blog_migrate/72f5e687fc9f6afb3c72f418827c38fc.png)
第二个虚表只有两个函数。
通过反汇编看看p1->fun1()
是怎么操作的:
![](https://i-blog.csdnimg.cn/blog_migrate/e94112cc961ebef8776ddfbd1d9cdd8b.png)
![](https://i-blog.csdnimg.cn/blog_migrate/fa6ad96a4576dc4c96265ec0986f862a.png)
然后跳到了这个函数里:
![](https://i-blog.csdnimg.cn/blog_migrate/ad52342a2650993c01dd2014b4c8d13e.png)
我们通过反汇编来看看p2->fun1()
是怎么操作的。
先跳到这个指令:
![](https://i-blog.csdnimg.cn/blog_migrate/5a35e6f3015a3f65694670a46348d851.png)
然后进入了一个让ecx-8
的操作,这一步修改的是this
:
![](https://i-blog.csdnimg.cn/blog_migrate/c08cc87cd11165509c202ff3c21e9c24.png)
![](https://i-blog.csdnimg.cn/blog_migrate/cdd9c9162beb75c4755c1616dbf99735.png)
跳了两下,到了child::fun1
:
![](https://i-blog.csdnimg.cn/blog_migrate/f681c7ed09761a4185726de06663dd80.png)
多继承中,子类重写了base1
和base2
的虚函数fun1
,虽然虚表中的fun1
的地址不一样,这是因为p2(base2*)
需要获得一个正确的视角,所以需要修正传给this
指针的值。
![](https://i-blog.csdnimg.cn/blog_migrate/e591f276bfaadfb2413d89a1907676f3.png)
6 打印虚表验证虚函数机制
虚表指针是在构造函数的初始化列表的时候初始化的。
![](https://i-blog.csdnimg.cn/blog_migrate/5730c2ae638ab70d51b7baae50e8f487.png)
我们想要打印虚表,首先要把虚表取到,那么怎么取呢?
虚函数表,本质上来说它是一个函数指针数组,我们先对函数指针typedef
一下,然后找到虚函数表指针,强转为4字节指针(32位下指针为4字节)然后解引用得到虚函数表,然后强转为VF_Ptr*
传进打印虚表的函数。
// void fun(void)的函数指针 void(*)()
typedef void(*VF_Ptr)();
// 打印虚函数表的函数 参数为虚函数表的指针
void PrintVF_table(VF_Ptr* _table)
{
// 利用VS下虚表的结尾为0x00000000
for (int i = 0; _table[i] != nullptr; ++i)
{
printf("虚函数表中第[%d]个元素->%p\n", i, _table[i]);
VF_Ptr f = _table[i];
f();
}
}
int main()
{
father f;
child s;
// 先取地址 然后强转为int*表示其为四字节指针
// 找到虚函数表指针 解引用 然后强转为VF_Ptr*
PrintVF_table((VF_Ptr*)*((int*)(&f)));
}
![](https://i-blog.csdnimg.cn/blog_migrate/42d03e2ce1de8afe9071c37b0b876a2a.png)
64位下怎么打印虚表呢?
用double会导致精度丢失,编译器不让我们转:
![](https://i-blog.csdnimg.cn/blog_migrate/93b807fad7576b14afb0bf5ca046b092.png)
用long long
或int64
即可。
![](https://i-blog.csdnimg.cn/blog_migrate/6f7ce062c21de5414bbf38c0afe280d9.png)
但是我们发现用long long
,在32位下仍然可以正常运行。
![](https://i-blog.csdnimg.cn/blog_migrate/d2235941605ffdd7f1654c78c25f7ba6.png)
原因是VF_Ptr
截断了long long
的前四个字节,恰好就是对应的那块位置。
我们更好的方法是把long long*
换成void**
即可,一个二级指针解引用看起长度是一个指针的长度,随32位和64位随动。
![](https://i-blog.csdnimg.cn/blog_migrate/290a6242f00c8399d8d4662f27248d75.png)
![](https://i-blog.csdnimg.cn/blog_migrate/2b5f5747790f04435eb82232e77fc75f.png)
这是一般的跨平台的得到看指针长度的方法。
如果坚持要用int*
和long long*
,可以利用windows预定义的_WIN32
宏和_WIN64
宏。
64位中,为了兼容,_WIN32
和_WIN64
都有定义;32位中,只定义了_WIN32
,所以我们利用条件编译:
![](https://i-blog.csdnimg.cn/blog_migrate/1d230ac5e2a897ca37302e8aecc88565.png)
![](https://i-blog.csdnimg.cn/blog_migrate/601721c2911a7b1f92e8470ff3bc6e14.png)
再打印一下单继承的子类的虚函数表(v1和v3重写了,v2没有重写):
![](https://i-blog.csdnimg.cn/blog_migrate/cb8253146203ad4cbd6c8113f1aede0a.png)
我们来看看多继承的情况,看看其子类的虚表,先看看其对象模型:
先继承的放在一起,这里就有问题,我们的虚函数放在哪里呢?是base1
的虚表,还是base2
的虚表呢?
我们之前用内存看了,C++选择了第一个父类的虚表来搞,我们先打印一下老大base1
的虚表:
![](https://i-blog.csdnimg.cn/blog_migrate/639c1aac832e40c1d216bf615564cbb5.png)
我们再试图用偏移来看看base2
的虚表,用强转搞好步长就行:
![](https://i-blog.csdnimg.cn/blog_migrate/5fb0b5a3a5719c62cae502f7454a10d3.png)
或者我们可以利用base2
指针切片时,指针会偏移。
![](https://i-blog.csdnimg.cn/blog_migrate/9ec94ee9f690728428a5b823bb243700.png)
7 菱形继承与虚函数机制
菱形继承过于复杂,当其余虚函数结合后,会更加复杂,我们一般不建议使用。
如果要使用时,建议参考以下文章并且多问问百度谷歌。