文章详细介绍了C++中的多态性，包括多态的概念，如不同对象执行同一函数产生不同行为；多态的实现条件，必须通过基类指针或引用调用虚函数，以及虚函数的作用；还探讨了虚函数表、动态绑定和静态绑定等多态实现原理。此外，文章提到了C++11的`override`和`final`关键字，以及抽象类和纯虚函数在接口定义中的重要性。
目录
1. 多态的概念
1.1 概念
多态的概念：通俗来说，就是多种形态，
具体点就是去完成某个行为，当不同的对象去完成时会
产生出不同的状态
举个栗子：比如买票这个行为，当普通人买票时，是全价买票；学生买票时，是半价买票；军人 买票时是优先买票。
再举个栗子：
最近为了
争夺在线支付市场
，支付宝年底经常会做诱人的
扫红包
-
支付
-
给奖励金
的
活动。那么大家想想为什么有人扫的红包又大又新鲜
8
块、
10
块
...
，而有人扫的红包都是
1
毛，
5
毛
....
。其实这背后也是一个多态行为。支付宝首先会分析你的账户数据，比如你是新用户、比如
你没有经常支付宝支付等等，那么你需要被鼓励使用支付宝，那么就你扫码金额
=random()%99；比如你经常使用支付宝支付或者支付宝账户中常年没钱，那么就不需要太鼓励你去使用支付宝，那么就你扫码金额 = random()%1
；总结一下：
同样是扫码动作，不同的用户扫
得到的不一样的红包，这也是一种多态行为。
ps
：支付宝红包问题纯属瞎编，大家仅供娱乐。
2. 多态的定义及实现
2.1多态的构成条件
多态是在不同继承关系的类对象，去调用同一函数，产生了不同的行为。比如Student继承了 Person。Person对象买票全价，Student对象买票半价。
那么在继承中要
构成多态还有两个条件
：
1.
必须通过基类的指针或者引用调用虚函数
2.
被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写
2.2 虚函数
虚函数：即被virtual修饰的类成员函数称为虚函数。
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
class Person
{
public:
virtual void BuyTicket()
{
cout << " buy ticket -all tickets" << endl;
}
};
class Student : public Person
{
/*注意：在重写基类虚函数时，派生类的虚函数在不加virtual关键字时，虽然也可以构成重写(因
为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范，不建议
这样使用*/
public:
virtual void BuyTicket()
{
cout << "buy ticket -half tickets" << endl;
}
};
void Func(Person &p)
{
//通过基类的引用（或者指针）来调用虚函数
p.BuyTicket();
}
void test01()
{
Person p;
Student s;
Func(p);
Func(s);
}
int main()
{
test01();
system("pause");
return 0;
}运行结果：
虚函数重写的两个例外：
- 1. 协变(基类与派生类虚函数返回值类型不同)
派生类重写基类虚函数时，与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指针或者引用，派生类虚函数返回派生类对象的指针或者引用时，称为协变。（了解）
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
class A
{
};
class B : public A{
};
class Person
{
public:
virtual A *f()
{
return new A;
}
};
class Student : public
{
public:
virtual B *f()
{
return new B;
}
};
int main()
{
system("pause");
return 0;
}- 2. 析构函数的重写(基类与派生类析构函数的名字不同)
如果基类的析构函数为虚函数，此时派生类析构函数只要定义，无论是否加
virtual
关键字，都与基类的析构函数构成重写，虽然基类与派生类析构函数名字不同。虽然函数名不相同，看起来违背了重写的规则，其实不然，这里可以理解为编译器对析构函数的名称做了特殊处理，编译后析构函数的名称统一处理成destructor。
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
class A
{
};
class B : public A
{
};
class Person
{
public:
virtual A *f()
{
return new A;
}
virtual ~Person()
{
cout << "~Person()" << endl;
}
};
class Student : public Person
{
public:
virtual B *f()
{
return new B;
}
~Student()
{
cout << "~Student()" << endl;
}
// 只有派生类Student的析构函数重写了Person的析构函数，下面的delete对象调用析构函
// 数，才能构成多态，才能保证p1和p2指向的对象正确的调用析构函数。
};
void test01()
{
Person p11;
Student st1;
cout << "+++++++++++++++++++" << endl;
Person *p1 = new Person;
Person *st = new Student;
delete p1;
delete st;
cout << endl;
}
int main()
{
test01();
system("pause");
return 0;
}
运行结果： 上面的三个是堆区的手动释放后的构造函数，下面的是栈区的在程序结束之后自动释放的结果。
2.4 C++11 override 和 final
从上面可以看出，
C++
对函数重写的要求比较严格，但是有些情况下由于疏忽，可能会导致函数
名字母次序写反而无法构成重载，而这种错误在编译期间是不会报出的，只有在程序运行时没有
得到预期结果才来
debug
会得不偿失，因此：
C++11
提供了
override
和
fifinal
两个关键字，可以帮
助用户检测是否重写。
1.
final
：修饰虚函数，表示该虚函数不能再被重写
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
class Car
{
public:
virtual void Drive() final {}
};
class Benz : public Car
{
public:
virtual void Drive()
{
cout << "Benz is nice" << endl;
}
};
void test01()
{
Car car;
Benz b;
b.Drive();
}
int main()
{
test01();
system("pause");
return 0;
}运行结果：
2. override: 检查派生类虚函数是否重写了基类某个虚函数，如果没有重写编译报错。
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
class Car
{
public:
// virtual void Drive() final {}
virtual void Drive() {}
};
class Benz : public Car
{
public:
virtual void Drive() override
{
cout << "Benz is nice" << endl;
}
};
void test01()
{
Car *car;
car=new Benz;
car->Drive();
}
int main()
{
test01();
system("pause");
return 0;
}
2.5 重载、覆盖(重写)、隐藏(重定义)的对比
3. 抽象类
3.1 概念
在虚函数的后面写上
=0
，则这个函数为纯虚函数。
包含纯虚函数的类叫做抽象类（也叫接口
类），抽象类不能实例化出对象
。派生类继承后也不能实例化出对象，只有重写纯虚函数，派生 类才能实例化出对象。纯虚函数规范了派生类必须重写，另外纯虚函数更体现出了接口继承。
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
class Car
{
public:
virtual void Drive() = 0;
};
class Benz
{
public:
virtual void Drive()
{
cout << "Benz -comfortable" << endl;
}
};
class BMW
{
public:
virtual void Drive()
{
cout << "BMW -manipulate" << endl;
}
};
void test01()
{
//这是一个接口类，不能这么写
// Car *car; car=new Benz; Car 是一个抽象类
Benz *b = new Benz;
b->Drive();
cout << "=====" << endl;
BMW *bm = new BMW;
bm->Drive();
}
int main()
{
test01();
system("pause");
return 0;
}结果：
3.2 接口继承和实现继承
普通函数的继承是一种实现继承，派生类继承了基类函数，可以使用函数，继承的是函数的实现。虚函数的继承是一种接口继承，派生类继承的是基类虚函数的接口，目的是为了重写，达成 多态，继承的是接口。所以如果不实现多态，不要把函数定义成虚函数。
4.多态的原理
4.1虚函数表
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
// 这里常考一道笔试题：sizeof(Base)是多少？
class Base
{
public:
virtual void Fun1()
{
cout << "Func1()" << endl;
}
private:
int _b = 1;
};
int main()
{
cout << sizeof(Base) << endl;
system("pause");
return 0;
}
通过观察测试我们发现
b
对象是16
bytes（64位操作系统）
，
除了
_b
成员，还多一个
__vfptr
放在对象的前面
(
注意有些
平台可能会放到对象的最后面，这个跟平台有关
)
，对象中的这个指针我们叫做虚函数表指针
(v
代
表
virtual
，
f
代表
function)
。一个含有虚函数的类中都至少都有一个虚函数表指针，因为虚函数的地址要被放到虚函数表中，虚函数表也简称虚表，。那么派生类中这个表放了些什么呢？我们接着往下分析。
/
针对上面的代码我们做出以下改造
// 1.
我们增加一个派生类
Derive
去继承
Base
// 2.Derive
中重写
Func1
// 3.Base
再增加一个虚函数
Func2
和一个普通函数
Func3
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
// 这里常考一道笔试题：sizeof(Base)是多少？
class Base
{
public:
virtual void Fun1()
{
cout << "Base::Func1()" << endl;
}
virtual void Fun2()
{
cout << "base::Func2()" << endl;
}
void Fun3()
{
cout << "Base ::Func3()" << endl;
}
private:
int _b = 1;
};
class Derive : public Base
{
public:
virtual void Func1()
{
cout << "Derive::fun1()" << endl;
}
private:
int _d = 2;
};
int main()
{
Base b;
Derive d;
system("pause");
return 0;
}
通过观察和测试，我们发现了以下几点问题：
1.
派生类对象
d
中也有一个虚表指针，
d
对象由两部分构成，一部分是父类继承下来的成员，虚
表指针也就是存在部分的另一部分是自己的成员。
2.
基类
b
对象和派生类
d
对象虚表是不一样的，这里我们发现
Func1
完成了重写，所以
d
的虚表
中存的是重写的
Derive::Func1
，所以虚函数的重写也叫作覆盖
，覆盖就是指虚表中虚函数的覆盖。重写是语法的叫法，覆盖是原理层的叫法。
3.
另外
Func2
继承下来后是虚函数，所以放进了虚表，
Func3
也继承下来了，但是不是虚函数，所以不会放进虚表。
4.
虚函数表本质是一个存虚函数指针的指针数组，一般情况这个数组最后面放了一个
nullptr
。
5.
总结一下派生类的虚表生成：
a.
先将基类中的虚表内容拷贝一份到派生类虚表中
b.
如果派生类重写了基类中某个虚函数，用派生类自己的虚函数覆盖虚表中基类的虚函数 c.
派生类自己新增加的虚函数按其在派生类中的声明次序增加到派生类虚表的最后。
6.
这里还有一个童鞋们很容易混淆的问题：
虚函数存在哪的？虚表存在哪的？ 答：虚函数存在
虚表，虚表存在对象中。注意上面的回答的错的
。但是很多童鞋都是这样深以为然的。注意
虚表存的是虚函数指针，不是虚函数
，虚函数和普通函数一样的，都是存在代码段的，只是他的指针又存到了虚表中。另外对象中存的不是虚表，存的是虚表指针。那么虚表存在哪的
呢实际我们去验证一下会发现
vs
下是存在代码段的，
Linux g++
下大家自己去验证？
4.2多态的原理
上面分析了这个半天了那么多态的原理到底是什么？还记得这里Func函数传Person调用的
Person::BuyTicket
，传
Student
调用的是
Student::BuyTicket。
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
// 这里常考一道笔试题：sizeof(Base)是多少？
class Base
{
public:
virtual void Fun1()
{
cout << "Base::Func1()" << endl;
}
virtual void Fun2()
{
cout << "base::Func2()" << endl;
}
void Fun3()
{
cout << "Base ::Func3()" << endl;
}
private:
int _b = 1;
};
class Derive : public Base
{
public:
virtual void Func1()
{
cout << "Derive::fun1()" << endl;
}
private:
int _d = 2;
};
class Person
{
public:
virtual void BuyTicket() { cout << "ticket-all" << endl; }
};
class Student : public Person
{
public:
virtual void BuyTicket() { cout << "ticket-half" << endl; }
};
void Func(Person &p)
{
p.BuyTicket();
}
int main()
{
Person Mike;
Func(Mike);
Student Johnson;
Func(Johnson);
system("pause");
return 0;
}
1.
观察下图的红色箭头我们看到，
p
是指向
mike
对象时，
p->BuyTicket
在
mike
的虚表中找到虚函数是Person::BuyTicket
。
2.
观察下图的蓝色箭头我们看到，
p
是指向
johnson
对象时，
p->BuyTicket
在
johson
的虚表中找到虚函数是Student::BuyTicket
。
3.
这样就实现出了不同对象去完成同一行为时，展现出不同的形态。
4.
反过来思考我们要达到多态，有两个条件，一个是虚函数覆盖，一个是对象的指针或引用调用虚函数。反思一下为什么？
5.
再通过下面的汇编代码分析，
看出满足多态以后的函数调用，不是在编译时确定的，是运行
起来以后到对象的中取找的。不满足多态的函数调用时编译时确认好的。
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
// 这里常考一道笔试题：sizeof(Base)是多少？
class Base
{
public:
virtual void Fun1()
{
cout << "Base::Func1()" << endl;
}
virtual void Fun2()
{
cout << "base::Func2()" << endl;
}
void Fun3()
{
cout << "Base ::Func3()" << endl;
}
private:
int _b = 1;
};
class Derive : public Base
{
public:
virtual void Func1()
{
cout << "Derive::fun1()" << endl;
}
private:
int _d = 2;
};
class Person
{
public:
virtual void BuyTicket() { cout << "ticket-all" << endl; }
};
class Student : public Person
{
public:
virtual void BuyTicket() { cout << "ticket-half" << endl; }
};
void Func(Person *p)
{
p->BuyTicket();
}
int main()
{
Person mike;
Func(&mike);
mike.BuyTicket();
return 0;
}
// void Func(Person &p)
// {
// p.BuyTicket();
// }
// int main()
// {
// Person Mike;
// Func(Mike);
// Student Johnson;
// Func(Johnson);
// system("pause");
// return 0;
// }
// 以下汇编代码中跟你这个问题不相关的都被去掉了void Func ( Person * p ){...p -> BuyTicket ();// p 中存的是 mike 对象的指针，将 p 移动到 eax 中001940DE mov eax , dword ptr [ p ]// [eax] 就是取 eax 值指向的内容，这里相当于把 mike 对象头 4 个字节 ( 虚表指针 ) 移动到了 edx001940E1 mov edx , dword ptr [ eax ]// [edx] 就是取 edx 值指向的内容，这里相当于把虚表中的头 4 字节存的虚函数指针移动到了 eax00B823EE mov eax , dword ptr [ edx ]// call eax 中存虚函数的指针。这里可以看出满足多态的调用，不是在编译时确定的，是运行起来以后到对象的中取找的。001940EA call eax00 头 1940EC cmp esi , esp}int main (){...// 首先 BuyTicket 虽然是虚函数，但是 mike 是对象，不满足多态的条件，所以这里是普通函数的调用转换成地址时，是在编译时已经从符号表确认了函数的地址，直接 call 地址mike . BuyTicket ();00195182 lea ecx ,[ mike ]00195185 call Person::BuyTicket ( 01914F6h )...}
4.3 动态绑定与静态绑定
1.
静态绑定又称为前期绑定
(
早绑定
)
，
在程序编译期间确定了程序的行为
，
也称为静态多态
，比如：函数重载
2.
动态绑定又称后期绑定
(
晚绑定
)
，是在程序运行期间，根据具体拿到的类型确定程序的具体行为，调用具体的函数，也称为动态多态
。
3.
本小节之前
(5.2
小节
)
买票的汇编代码很好的解释了什么是静态
(
编译器
)
绑定和动态
(
运行时
)
绑
定。
5.单继承和多继承关系的虚函数表
需要注意的是在单继承和多继承关系中，下面我们去关注的是派生类对象的虚表模型，因为基类
的虚表模型前面我们已经看过了，没什么需要特别研究的。
5.1 单继承中的虚函数表
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
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[])
{
//依次取表中的虚函数指针打印并调用，调用就可以看出存的是哪个函数了
for (int i = 0; vTable[i] != nullptr; i++)
{
printf("%d address:0X%x,->", i, vTable[i]);
VFPTR f = vTable[i];
// f();
}
cout << endl;
}
void test01()
{
Base b;
Derive d;
// 思路:取出b、d对象的头4bytes，就是虚表的指针，前面我们说了虚函数表本质是一个存虚函数
// 指针的指针数组，这个数组最后面放了一个nullptr
// 1.先取b的地址，强转成一个int*的指针
// 2.再解引用取值，就取到了b对象头4bytes的值，这个值就是指向虚表的指针
// 3.再强转成VFPTR*，因为虚表就是一个存VFPTR类型(虚函数指针类型)的数组。
// 4.虚表指针传递给PrintVTable进行打印虚表
// 5.需要说明的是这个打印虚表的代码经常会崩溃，因为编译器有时对虚表的处理不干净，虚表最
// 后面没有放nullptr，导致越界，这是编译器的问题。我们只需要点目录栏的-生成-清理解决方案，再
// 编译就好了。
VFPTR *vTable = (VFPTR *)(*(int *)&b);
PrintVTable(vTable);
VFPTR *vTabled = (VFPTR *)(*(int *)&d);
PrintVTable(vTabled);
}
int main()
{
test01();
system("pause");
return 0;
}运行结果
5.2 多继承中的虚函数表
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
class Base1
{
public:
virtual void fun1()
{
cout << "Base1::func1()" << endl;
}
virtual void fun2()
{
cout << "Base1::func2()" << endl;
}
private:
int b1;
};
class Base2
{
public:
virtual void fun1()
{
cout << "Base2::func1()" << endl;
}
virtual void fun2()
{
cout << "Base2::func2()" << endl;
}
private:
int b2;
};
class Derive : public Base1, public Base2
{
public:
virtual void func1()
{
cout << "Derive::func1()" << endl;
}
virtual void func3()
{
cout << "Derive::func3()" << endl;
}
private:
int d1;
};
typedef void (*VFPTR)();
void PrintVTable(VFPTR vTable[])
{
cout << "VF's Address:" << vTable << endl;
for (int i = 0; vTable[i] != nullptr; i++)
{
printf("%d:adrress:0X%x,->", i, vTable[i]);
VFPTR f = vTable[i];
f();
}
cout << endl;
}
void test01()
{
Derive d;
VFPTR *vTableb1 = (VFPTR *)(*(int *)&d);
PrintVTable(vTableb1);
VFPTR *vTableb2 = (VFPTR *)(*(int *)((char *)&d + sizeof(Base1)));
PrintVTable(vTableb2);
}
main()
{
test01();
system("pause");
return 0;
}观察下图可以看出：多继承派生类的未重写的虚函数放在第一个继承基类部分的虚函数表中。
5.3. 菱形继承、菱形虚拟继承
实际中我们不建议设计出菱形继承及菱形虚拟继承，一方面太复杂容易出问题，另一方面这样的
模型，访问基类成员有一定得性能损耗。所以菱形继承、菱形虚拟继承我们的虚表我们就不看
了，一般我们也不需要研究清楚，因为实际中很少用。
6. 继承和多态常见的面试问题
6.1 概念查考
1.
下面哪种面向对象的方法可以让你变得富有
( )
A:
继承
B:
封装
C:
多态
D:
抽象
2. ( )
是面向对象程序设计语言中的一种机制。这种机制实现了方法的定义与具体的对象无关，
而对方法的调用则可以关联于具体的对象。
A:
继承
B:
模板
C:
对象的自身引用
D:
动态绑定
3.
面向对象设计中的继承和组合，下面说法错误的是？（）
A
：继承允许我们覆盖重写父类的实现细节，父类的实现对于子类是可见的，是一种静态复
用，也称为白盒复用
B
：组合的对象不需要关心各自的实现细节，之间的关系是在运行时候才确定的，是一种动
态复用，也称为黑盒复用
C
：优先使用继承，而不是组合，是面向对象设计的第二原则
D
：继承可以使子类能自动继承父类的接口，但在设计模式中认为这是一种破坏了父类的封
装性的表现
4.
以下关于纯虚函数的说法
,
正确的是
( )
A
：声明纯虚函数的类不能实例化对象
B
：声明纯虚函数的类是虚基类
C
：子类必须实现基类的纯虚函数
D
：纯虚函数必须是空函数
5.
关于虚函数的描述正确的是
( )
A
：派生类的虚函数与基类的虚函数具有不同的参数个数和类型
B
：内联函数不能是虚函数
C
：派生类必须重新定义基类的虚函数
D
：虚函数可以是一个
static
型的函数
6.
关于虚表说法正确的是（
）
A
：一个类只能有一张虚表
B
：基类中有虚函数，如果子类中没有重写基类的虚函数，此时子类与基类共用同一张虚表
C
：虚表是在运行期间动态生成的
D
：一个类的不同对象共享该类的虚表
7.
假设
A
类中有虚函数，
B
继承自
A
，
B
重写
A
中的虚函数，也没有定义任何虚函数，则（
）
A
：
A
类对象的前
4
个字节存储虚表地址，
B
类对象前
4
个字节不是虚表地址
B
：
A
类对象和
B
类对象前
4
个字节存储的都是虚基表的地址
C
：
A
类对象和
B
类对象前
4
个字节存储的虚表地址相同
D
：
A
类和
B
类虚表中虚函数个数相同，但
A
类和
B
类使用的不是同一张虚表
8.
下面程序输出结果是什么
?
（）
#include <iostream>
A:class A class B class C class D B:class D class B class C class A
C:class D class C class B class A D:class A class C class B class D 9. 多继承中指针偏移问题？下面说法正确的是()
A:p1
== p2 == p3 B:p1 < p2 < p3 C:p1 == p3 != p2 D:p1 != p2 != p3 10. 以下程序输出结果是什么（） using namespace std;
class A
{
public:
A(char *s) { cout << s << endl; }
~A() {}
};
class B : virtual public A
{
public:
B(char *s1, char *s2) : A(s1) { cout << s2 << endl; }
};
class C : virtual public A
{
public:
C(char *s1, char *s2) : A(s1) { cout << s2 << endl; }
};
class D : public B, public C
{
public:
D(char *s1, char *s2, char *s3, char *s4) : B(s1, s2), C(s1, s3), A(s1)
{
cout << s4 << endl;
}
};
int main()
{
D *p = new D("class A", "class B", "class C", "class D");
delete p;
return 0;
}
观察下图中的监视窗口中我们发现看不见
func3
和
func4
。这里是编译器的监视窗口故意隐藏了这
两个函数，也可以认为是他的一个小
bug
。那么我们如何查看
d
的虚表呢？下面我们使用代码打印
出虚表中的函数。
A
：
class A class B class C class D B
：
class D class B class C class A
C
：
class D class C class B class A D
：
class A class C class B class D
9.
多继承中指针偏移问题？下面说法正确的是
( )
class Base1 { public : int _b1 ; };class Base2 { public : int _b2 ; };class Derive : public Base1 , public Base2 { public : int _d ; };int main (){Derive d ;Base1 * p1 = & d ;Base2 * p2 = & d ;Derive * p3 = & d ;return 0 ;}
A：p1 == p2 == p3 B：p1 < p2 < p3 C：p1 == p3 != p2 D：p1 != p2 != p3
10.
以下程序输出结果是什么（）
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 ;}
A: A->0 B: B->1 C: A->1 D: B->0 E: 编译出错 F: 以上都不正确
参考答案：1. A 2. D 3. C 4. A 5. B6. D 7. D 8. A 9. C 10. B
-
6.2 问答题
1.
什么是多态？答：参考本节课件内容
2.
什么是重载、重写
(
覆盖
)
、重定义
(
隐藏
)
？答：参考本节课件内容
3.
多态的实现原理？答：参考本节课件内容
4. inline
函数可以是虚函数吗？答：可以，不过编译器就忽略
inline
属性，这个函数就不再是
inline
，因为虚函数要放到虚表中去。
5.
静态成员可以是虚函数吗？答：不能，因为静态成员函数没有
this
指针，使用类型
::
成员函数
的调用方式无法访问虚函数表，所以静态成员函数无法放进虚函数表。
6.
构造函数可以是虚函数吗？答：不能，因为对象中的虚函数表指针是在构造函数初始化列表
阶段才初始化的。
7.
析构函数可以是虚函数吗？什么场景下析构函数是虚函数？答：可以，并且最好把基类的析
构函数定义成虚函数。参考本节课件内容
8.
对象访问普通函数快还是虚函数更快？答：首先如果是普通对象，是一样快的。如果是指针
对象或者是引用对象，则调用的普通函数快，因为构成多态，运行时调用虚函数需要到虚函
数表中去查找。
9.
虚函数表是在什么阶段生成的，存在哪的？答：虚函数表是在编译阶段就生成的，一般情况
下存在代码段
(
常量区
)
的。
10. C++
菱形继承的问题？虚继承的原理？答：参考继承课件。注意这里不要把虚函数表和虚基
表搞混了。
11.
什么是抽象类？抽象类的作用？答：参考（
3.
抽象类）。抽象类强制重写了虚函数，另外抽
象类体现出了接口继承关系。
扫一扫
283
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
