文章目录
多态的概念
- 通俗来说,就是多种形态,具体点就是去完成某个行为,当不同的对象去完成时会产生出不同的状态。
- 同样是扫码动作,不同的用户扫得到的不一样的红包,这也是一种多态行为。
多态的定义、实现、构成条件
- 多态是在不同继承关系的类对象,去调用同一函数,产生了不同的行为。比如Student继承了Person。Person对象买票全价,Student对象买票半价。
- 构成多态还有两个条件:
- 被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写
- 必须通过基类的指针或者引用调用虚函数
- 继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性,在重写基类虚函数时,派生类的虚函数可以不加virtual关键字。
class peo
{
public:
virtual void buyticket()
{
cout << "all " << endl;
}
};
class teacher : public peo
{
public:
/*注意:在重写基类虚函数时,派生类的虚函数在不加virtual关键字时,虽然也可以构成重写
(因为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范,不建议这样使用*/
void buyticket()
{
cout << "half " << endl;
}
};
void hoa(peo& p)
{
p.buyticket();
}
int main()
{
peo p;
teacher tt;
hoa(tt);
hoa(p);
return 0;
}
虚函数、虚函数的重写与两个例外
- 虚函数:即被virtual修饰的类成员函数称为虚函数
虚函数的重写
- 虚函数的重写(覆盖):派生类中有一个跟基类完全相同的虚函数:(即派生类虚函数与基类虚函数的返回值类型、函数名字、参数列表完全相同),称派生类的虚函数重写了基类的虚函数。
两个例外
- 协变 返回值必须是父子类的指针或引用
- 析构函数的重写(基类与派生类析构函数的名字不同)
- 因为编译后析构函数的名称统一处理成destructor。
- 所以无论是否加virtual关键字,都与基类的析构函数构成重写。
- 继承后基类的虚函数被继承下来了,在派生类依旧保持虚函数属性。
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;}
};
C++11 override 和 final
- 如何设计出一个不能被继承的类
- 把基类的构造函数设计成私有
- final:修饰虚函数,表示该虚函数不能再被重写
- override: 检查派生类虚函数是否重写了基类某个虚函数,如果没有重写编译报错。
class C //final
{
public:
string _name;
virtual void pp() //final //派生类就重写不了,构不成多态
{
cout << "测试final,阻止重写" << endl;
}
//private:
// C() {}
};
class D :public C
{
public:
/*D(const char* = "abc")
{
}*/
virtual void pppp() //override
{
cout << "还没测试final,阻止重写" << endl;
}
};
重载、覆盖(重写)、隐藏(重定义)的对比
抽象类
- 在虚函数的后面写上 =0 ,则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类(也叫接口类),抽象类不能实例化出对象。
- 派生类继承后也不能实例化出对象,只有重写纯虚函数,派生类才能实例化出对象。
- 纯虚函数规范了派生类必须重写,另外纯虚函数更体现出了接口继承。
class A
{
public:
string _na;
virtual void f() =0
{
}
};
class B :public A
{
public:
virtual void f()
{
cout << "删掉虚函数的等号,派生类才可以生成对象,否则也是个纯虚函数" << endl;
}
};
接口继承和实现继承
- 普通函数的继承是一种实现继承,派生类继承了基类函数,可以使用函数,继承的是函数的实现。
- 函数的继承是一种接口继承,派生类继承的是基类虚函数的接口,目的是为了重写,达成多态,继承的是接口
- 所以如果不实现多态,不要把函数定义成虚函数。
多态的原理
class A
{
public:
virtual void f()
{
cout << "看看我这个类有多大" << endl;
}
/*virtual int hhh() { return 0; }*/
};
- 对象中还有一个
__vfptr
虚表指针放在对象的前面,(注意有些平台可能会放到对象的最后面,这个跟平台有关), - 对象中的这个指针我们叫做虚函数表指针 (v代表virtual,f代表function)。
虚函数表、打印虚函数表、验证虚表的存放位置
- 一个含有虚函数的类中都至少都有一个虚函数表指针,因为虚函数的地址要被放到虚函数表中,虚函数表也简称虚表。
- 派生类和基类无论是否完成了重写,都有各自独立的虚表。
- 派生类对象d中也有一个虚表指针,d对象由两部分构成,一部分是父类继承下来的成员,虚表指针也就是存在部分的另一部分是自己的成员。
- 一个类的所有对象 共享一张虚表。
- 虚函数被编译后,和普通函数一样放到代码段,只是它的地址放到虚地址表。
- 虚函数表本质是一个存虚函数指针的指针数组,一般情况这个数组最后面放了一个nullptr。
打印虚表步骤:
- 思路:取出b、d对象的头4bytes,就是虚表的指针,前面我们说了虚函数表本质是一个存虚函数指针的指针数组,这个数组最后面放了一个nullptr
- .先取b的地址,强转成一个
int*
的指针 - 再解引用取值,就取到了b对象头4bytes的值,这个值就是指向虚表的指针
- 再强转成
VFPTR*
,因为虚表就是一个存VFPTR
类型(虚函数指针类型)的数组。 - 虚表指针传递给PrintVTable进行打印虚表
- 需要说明的是这个打印虚表的代码经常会崩溃,因为编译器有时对虚表的处理不干净,虚表最后面没有放nullptr,导致越界,这是编译器的问题。我们只需要点目录栏的 - 生成 - 清理解决方案,再编译就好了。
typedef void(*VFPTR) (); /函数指针类型重命名
void PrintVTable(VFPTR vTable[])
{
/依次取虚表中的虚函数指针打印并调用。调用就可以看出存的是哪个函数
cout << " 虚表地址>" << vTable << endl;
for (int i = 0; vTable[i] != nullptr; ++i)
{
printf(" 第%d个虚函数地址 :0X%x,->", i, vTable[i]);
VFPTR f = vTable[i]; (虚函数类型是 void* 转成函数指针类型)
f();
}
cout << endl;
}
int main()
{
A a; //对象中存放的是虚表指针 虚表存放在代码段
B b; //这时发现 派生类的虚函数没有在表中出现
VFPTR* vTableb = (VFPTR*)(*(int*)&a);
PrintVTable(vTableb);
VFPTR* vTabled = (VFPTR*)(*(int*)&b);
PrintVTable(vTabled);
return 0;
}
验证虚表的存放位置:
class B
{
public:
virtual void Func1()
{
cout << "Derive::Func1()" << endl;
}
}
void PrintVFT(VFPTR vft[])
{
printf("%p\n", vft);
for (size_t i = 0; vft[i] != nullptr; ++i)
{
printf("vft[%d]:%p->", i, vft[i]);
vft[i]();
}
printf("\n");
}
int main()
{
B bb;
int a = 0;
int* p1 = new int;
const char* p2 = "hello world";
auto pf = PrintVFT;
static int b = 1;
printf("栈帧变量:%p\n", &a);
printf("堆变量:%p\n", p1);
printf("常量区变量:%p\n", p2);
printf("函数地址变量:%p\n", pf);
printf("静态区变量:%p\n", &b);
printf("虚函数表地址:%p\n", *(int*)&bb);
return 0;
}
编译原理、动静态绑定
- 普通函数的调用,编译连接时确定地址。
- 虚函数的调用:运行时确定地址,去虚函数表中找到虚函数的地址。
- 虚表也是存放在代码段的 常量区扩大一点也叫代码段。
动静态绑定
- 静态绑定又称为前期绑定(早绑定),在程序编译期间确定了程序的行为,也称为静态多态,比如:函数重载。
- 动态绑定又称后期绑定(晚绑定),是在程序运行期间,根据具体拿到的类型确定程序的具体行为,调用具体的函数,也称为动态多态。
单继承和多继承关系的虚函数表
- 关注的是派生类对象的虚表模型
单继承
多继承中的虚函数
- 派生类中有多个继承时,有多份虚表指针。
- 多继承派生类的未重写的虚函数放在第一个继承基类部分的虚函数表中
继承和多态常见的面试问题
构造函数是否可以写成虚函数
虚基表中内存第一行记录着与虚函数表的相对距离。下一行则是基类属性的偏移量。
- 派生类重写的是实现。
- 内联对编译器只是一种建议 ,内联函数是没有地址的,它在调用的地方展开,而虚函数是把地址放进虚函数表中。
- 普通函数实现继承,虚函数接口继承。
编者寄语
又是一篇水文…