c++虚函数常见问题解答

虚函数简介：

c++中通过虚函数与继承相结合实现多态的效果。方式为在类成员函数前添加关键字virtual。

虚函数是怎么实现的

父类定义虚函数，并在编译阶段生成一个虚函数表，存放虚函数名和虚函数地址；当子类重写这个虚函数时，子类也会有一个虚函数表，里面会有父类虚函数名以及地址，但是子类会将函数名对应虚函数的地址变为自己重写的函数的地址。当实例化子类对象之后，子类对象会含有一个虚函数表指针，指向子类的虚函数表。当子类调用该函数时，虚函数表指针会在虚函数表里找对应的函数名和函数地址，从而找到子类实现的该函数并执行，达到多态的效果。

虚函数表属于类还是对象，在什么时候出现

虚函数表属于类，该表为类的所有对象所共有，在编译阶段生成，编译阶段，如果编译器检测到类中有对虚函数的声明或者定义，会生成虚函数表。

虚函数表存放在程序段哪个区域

因为虚函数表为类所共有，所以不能存放在栈上，放在栈上的话会随着对象的析构而释放掉；不是放在堆上的，放在堆上需要手动开辟空间并释放，虚函数表不需要手动开辟也不需要手动释放；考虑到每个类的虚函数表在编译阶段生成之后之后，不能进行修改，所以可以推断，该表存放在常量区，也即只读段，另外也有部分博客认为因为虚函数表每个类只有一份为类成员所共享，所以存放在静态/全局区，但是个人认为常量区更加合理。

虚函数指针属于类还是对象，在什么时候出现，存放在程序段哪个位置

虚函数指针是属于对象的，在运行时，调用构造函数，但是进入{}之前出现，存放在程序段中的栈区，会随着对象的析构而释放掉。

构造函数能不能是虚函数，为什么

不可以，首先，构造函数前不能加virtual关键字，另外子类对象在构造之前会先调用父类的构造函数，如果父类的构造函数为虚函数，则父类无法完成构造，也即无法初始化this指针，更没有虚函数表指针，也没办法去执行父类的构造函数。

构造函数能不能调用虚函数，调用虚函数能不能达到多态效果

可以调用虚函数，可以达到多态效果。首先虚函数表会在编译阶段完成初始化，虚函数表指针的初始化发生在调用构造时，但是进入{}之前，也即和初始化列表同一个时间点。这种情况下，虚函数表指针是可以指向子类实现的虚函数地址的，因此可以达到多态效果。

析构函数为什么一般设计为虚函数

析构函数如果不设计为虚函数，使用父类指针去初始化子类对象后，子类对象析构时会调用父类的析构函数。如果子类对象有在堆区申请空间，调用父类的析构函数是无法将手动开辟的空间释放掉的。当析构函数设计为虚函数时，同样的情况，子类对象会先调用子类的析构函数，我们可以在这部分写入释放手动开辟空间的代码，释放这部分空间，然后再调用父类的析构函数，从而保证内存不被泄露。

如果子类对象没有在堆区开辟的空间，可不可以不将父类析构函数设计为虚函数

个人认为可以。

虚函数能不能是内联函数

虚函数可以是内联函数，虚函数有静态虚函数和动态虚函数之分，如果子类不重写虚函数而直接使用父类的虚函数的话，则该虚函数属于静态绑定，可以是内联函数。

内联函数能不能是虚函数

内联函数需要在符号表中直接存放函数内容，是直接静态绑定的，而虚函数可以动态绑定，在运行时确定执行哪个类重写的虚函数，所以内联函数不能为虚函数。