当前位置: 首页 > news >正文

C++-多态

前言

        需要声明的,该文章涉及的代码及解释都是在vs2022下的x86程序中,涉及的指针都是4bytes。 如果要其他平台下,部分代码需要改动。比如:如果是x64程序,则需要考虑指针是8bytes问题 等等

1. 多态的概念

1.1 概念

        多态的概念:通俗来说,就是多种形态,具体点就是去完成某个行为,当不同的对象去完成时会 产生出不同的状态。

        举个栗子:比如买票这个行为,当普通人买票时,是全价买票;学生买票时,是半价买票;军人 买票时是优先买票。

        再举个栗子: 最近为了争夺在线支付市场,支付宝年底经常会做诱人的扫红包-支付-给奖励金的 活动。那么大家想想为什么有人扫的红包又大又新鲜8块、10块...,而有人扫的红包都是1毛,5 毛....。其实这背后也是一个多态行为。支付宝首先会分析你的账户数据,比如你是新用户、比如 你没有经常支付宝支付等等,那么你需要被鼓励使用支付宝,那么就你扫码金额 = random()%99;比如你经常使用支付宝支付或者支付宝账户中常年没钱,那么就不需要太鼓励你 去使用支付宝,那么就你扫码金额 = random()%1;总结一下:同样是扫码动作,不同的用户扫 得到的不一样的红包,这也是一种多态行为。ps:支付宝红包问题纯属瞎编,大家仅供娱乐。

2. 多态的定义及实现

2.1多态的构成条件

        多态是在不同继承关系的类对象,去调用同一函数,产生了不同的行为。比如Student继承了 Person。Person对象买票全价,Student对象买票半价。

那么在继承中要构成多态还有两个条件:

        1. 必须通过基类的指针或者引用调用虚函数

        2. 被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写

2.2 虚函数

虚函数:即被virtual修饰的类成员函数称为虚函数。

class Person 
{
public:virtual void BuyTicket() { cout << "买票-全价" << endl; }
};

2.3虚函数的重写

        虚函数的重写(覆盖):派生类中有一个跟基类完全相同的虚函数(即派生类虚函数与基类虚函数的 返回值类型、函数名字、参数列表完全相同),称子类的虚函数重写了基类的虚函数。示例如下:

#include <iostream>using namespace std;class Person 
{
public:virtual void BuyTicket() { cout << "买票-全价" << endl; }
};class Student : public Person 
{
public:virtual void BuyTicket() { cout << "买票-半价" << endl; }/*注意:在重写基类虚函数时,派生类的虚函数在不加virtual关键字时,虽然也可以构成重写(因为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范,不建议这样使用*//*void BuyTicket() { cout << "买票-半价" << endl; }*/
};void Func(Person& p)
{p.BuyTicket();
}int main()
{Person ps;Student st;Func(ps);Func(st);return 0;
}

虚函数重写的两个例外:

1. 协变(基类与派生类虚函数返回值类型不同)

        派生类重写基类虚函数时,与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指 针或者引用,派生类虚函数返回派生类对象的指针或者引用时,称为协变。

//规则:
//返回类型必须是指针或引用
//派生类中的返回类型必须是从基类返回类型公有派生的
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; }
};​

注意事项:

  1. 协变只适用于指针和引用类型,不适用于值类型

  2. 派生关系必须是公有的

  3. 这是C++对面向对象设计的有用扩展,允许更精确的类型表达

2. 析构函数的重写(基类与派生类析构函数的名字不同)

        如果基类的析构函数为虚函数,此时派生类析构函数只要定义,无论是否加virtual关键字, 都与基类的析构函数构成重写,虽然基类与派生类析构函数名字不同。虽然函数名不相同, 看起来违背了重写的规则,其实不然,这里可以理解为编译器对析构函数的名称做了特殊处理,编译后析构函数的名称统一处理成destructor。

class Person 
{
public:virtual ~Person() { cout << "~Person()" << endl; }
};
class Student : public Person 
{
public:virtual ~Student() { cout << "~Student()" << endl; }
};
// 只有派生类Student的析构函数重写了Person的析构函数,下面的delete对象调用析构函
//数,才能构成多态,才能保证p1和p2指向的对象正确的调用析构函数。
int main()
{Person* p1 = new Person;Person* p2 = new Student;delete p1;delete p2;/* 由于析构函数是虚函数,发生多态调用:1.首先调用 Student 的析构函数输出:~Student()2.然后自动调用基类 Person 的析构函数(这是析构函数的自动链式调用机制)输出:~Person() */return 0;
}

2.4 C++11 override 和 final

        从上面可以看出,C++对函数重写的要求比较严格,但是有些情况下由于疏忽,可能会导致函数 名字母次序写反而无法构成重载,而这种错误在编译期间是不会报出的,只有在程序运行时没有 得到预期结果才来debug会得不偿失,因此:C++11提供了override和final两个关键字,可以帮 助用户检测是否重写。

1. final:修饰虚函数,表示该虚函数不能再被重写

class Car
{
public:virtual void Drive() final{}
};class Benz : public Car
{
public: virtual void Drive(){ cout << "Benz-舒适" << endl; }
};

2. override: 检查派生类虚函数是否重写了基类某个虚函数,如果没有重写编译报错。

class Car 
{
public:virtual void Drive() {}
};
class Benz :public Car 
{
public:virtual void Stop() override {  }
};

2.5 重载、覆盖(重写)、隐藏(重定义)的对比

3. 抽象类

3.1概念

        在虚函数的后面写上 =0 ,则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类(也叫接口 类),抽象类不能实例化出对象。派生类继承后也不能实例化出对象,只有重写纯虚函数,派生 类才能实例化出对象。纯虚函数规范了派生类必须重写,另外纯虚函数更体现出了接口继承。

class Car{public:virtual void Drive() = 0;};class Benz :public Car{public:virtual void Drive(){cout << "Benz-舒适" << endl;}};class BMW :public Car{public:virtual void Drive(){cout << "BMW-操控" << endl;}};void Test(){Car* pBenz = new Benz;pBenz->Drive();Car* pBMW = new BMW;pBMW->Drive();}

3.2 接口继承和实现继承

        普通函数的继承是一种实现继承,派生类继承了基类函数,可以使用函数,继承的是函数的实现。虚函数的继承是一种接口继承,派生类继承的是基类虚函数的接口,目的是为了重写,达成多态,继承的是接口。所以如果不实现多态,不要把函数定义成虚函数。

4. 多态的原理

4.1虚函数表

// 这里常考一道笔试题:sizeof(Base)是多少?
class Base{public:virtual void Func1(){cout << "Func1()" << endl;}private:int _b = 1;};

 

       通过观察测试我们发现b对象是8bytes,除了_b成员,还多一个__vfptr放在对象的前面(注意有些平台可能会放到对象的最后面,这个跟平台有关),对象中的这个指针我们叫做虚函数表指针(v代 表virtual,f代表function)。一个含有虚函数的类中都至少都有一个虚函数表指针,因为虚函数 的地址要被放到虚函数表中,虚函数表也简称虚表,ps:我这里用的是x86如果是x64则是16bytes。那么派生类中这个表放了些什么呢?我们 接着往下分析

// 针对上面的代码我们做出以下改造
// 1.我们增加一个派生类Derive去继承Base// 2.Derive中重写Func1// 3.Base再增加一个虚函数Func2和一个普通函数Func3
class Base
{
public:virtual void Func1(){cout << "Base::Func1()" << endl;}virtual void Func2(){cout << "Base::Func2()" << endl;}void Func3(){cout << "Base::Func3()" << endl;}
private:int _b = 1;
};
class Derive : public Base
{
public:virtual void Func1(){cout << "Derive::Func1()" << endl;}
private:int _d = 2;
};
int main()
{Base b;Derive d;return 0;
}

通过观察和测试,我们发现了以下几点问题:

        1. 派生类对象d中也有一个虚表指针,d对象由两部分构成,一部分是父类继承下来的成员,虚 表指针也就是存在这一部分的另一部分是自己的成员。

        2. 基类b对象和派生类d对象虚表是不一样的,这里我们发现Func1完成了重写,所以d的虚表 中存的是重写的Derive::Func1,所以虚函数的重写也叫作覆盖,覆盖就是指虚表中虚函数 的覆盖。重写是语法的叫法,覆盖是原理层的叫法。

        3. 另外Func2继承下来后是虚函数,所以放进了虚表,Func3也继承下来了,但是不是虚函 数,所以不会放进虚表。

        4. 虚函数表本质是一个存虚函数指针的指针数组,一般情况这个数组最后面放了一个nullptr。

        5. 总结一下派生类的虚表生成:a.先将基类中的虚表内容拷贝一份到派生类虚表中 b.如果派生类重写了基类中某个虚函数,用派生类自己的虚函数覆盖虚表中基类的虚函数 c.派生类自己新增加的虚函数按其在派生类中的声明次序增加到派生类虚表的最后。

        6. 这里还有一个童鞋们很容易混淆的问题:虚函数存在哪的?虚表存在哪的? 答:虚函数存在虚表,虚表存在对象中。注意上面的回答的错的。但是很多人都是这样深以为然的。注意 虚表存的是虚函数指针,不是虚函数,虚函数和普通函数一样的,都是存在代码段的,只是 他的指针又存到了虚表中。另外对象中存的不是虚表,存的是虚表指针。那么虚表存在哪的 呢?实际我们去验证一下会发现vs2022 下是存在代码段的。

4.2多态的原理

        上面分析了这个半天了那么多态的原理到底是什么?还记得这里Func函数传Person调用的 Person::BuyTicket,传Student调用的是Student::BuyTicket

class Person 
{
public:virtual void BuyTicket() { cout << "买票-全价" << endl; }
};
class Student : public Person 
{
public:virtual void BuyTicket() { cout << "买票-半价" << endl; }
};
void Func(Person& p)
{p.BuyTicket();
}
int main()
{Person Mike;Func(Mike);Student Johnson;Func(Johnson);return 0;
}

        1. 观察下图的红色箭头我们看到,p是指向mike对象时,p->BuyTicket在mike的虚表中找到虚 函数是Person::BuyTicket。

        2. 观察下图的蓝色箭头我们看到,p是指向johnson对象时,p->BuyTicket在johson的虚表中 找到虚函数是Student::BuyTicket。

        3. 这样就实现出了不同对象去完成同一行为时,展现出不同的形态。

        4. 反过来思考我们要达到多态,有两个条件,一个是虚函数覆盖,一个是对象的指针或引用调用虚函数。反思一下为什么?

如果缺少任何一个条件:

  • 没有虚函数:函数调用在编译时静态绑定,无法根据实际对象类型动态调用。

  • 没有指针或引用:直接对象操作导致切片,失去派生类的特定信息,无法实现多态。

        5. 再通过下面的汇编代码分析,看出满足多态以后的函数调用,不是在编译时确定的,是运行 起来以后到对象的中取找的。不满足多态的函数调用时编译时确认好的。

void Func(Person* p)
{p->BuyTicket();
}
int main()
{Person mike;Func(&mike);mike.BuyTicket();return 0;
}
// 以下汇编代码中跟你这个问题不相关的都被去掉了
void Func(Person* p)
{
...p->BuyTicket();
// p中存的是mike对象的指针,将p移动到eax中
001940DE  mov         eax, dword ptr[p]
// [eax]就是取eax值指向的内容,这里相当于把mike对象头4个字节(虚表指针)移动到了edx
001940E1  mov         edx, dword ptr[eax]
// [edx]就是取edx值指向的内容,这里相当于把虚表中的头4字节存的虚函数指针移动到了eax
00B823EE  mov         eax, dword ptr[edx]
// call eax中存虚函数的指针。这里可以看出满足多态的调用,不是在编译时确定的,是运行起来
以后到对象的中取找的。
001940EA  call        eax
00头1940EC  cmp         esi, esp
}
int main()
{
...
// 首先BuyTicket虽然是虚函数,但是mike是对象,不满足多态的条件,所以这里是普通函数的调
//用转换成地址时,是在编译时已经从符号表确认了函数的地址,直接call 地址mike.BuyTicket();
00195182  lea         ecx, [mike]
00195185  call        Person::BuyTicket(01914F6h)
...
}

4.3 动态绑定与静态绑定

        1. 静态绑定又称为前期绑定(早绑定),在程序编译期间确定了程序的行为,也称为静态多态, 比如:函数重载

        2. 动态绑定又称后期绑定(晚绑定),是在程序运行期间,根据具体拿到的类型确定程序的具体 行为,调用具体的函数,也称为动态多态。

5. 单继承和多继承关系中的虚函数表

        需要注意的是在单继承和多继承关系中,下面我们去关注的是派生类对象的虚表模型,因为基类 的虚表模型前面我们已经看过了,没什么需要特别研究的

5.1 单继承中的虚函数表

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;
};int main()
{Base b;Derive d;return 0;
}

        观察下图中的监视窗口中我们发现看不见func3和func4。这里是编译器的监视窗口故意隐藏了这两个函数,也可以认为是他的一个小bug。那么我们如何查看d的虚表呢?下面我们使用代码打印出虚表中的函数。

#include <iostream>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[])
{// 依次取虚表中的虚函数指针打印并调用。调用就可以看出存的是哪个函数cout << " 虚表地址>" << vTable << endl;for (int i = 0; vTable[i] != nullptr; ++i){printf(" 第%d个虚函数地址 :0X%x,->", i, vTable[i]);VFPTR f = vTable[i];f();}cout << endl;
}
int main()
{Base b;Derive d;// 思路:取出b、d对象的头4bytes,就是虚表的指针,前面我们说了虚函数表本质是一个存虚函数//指针的指针数组,这个数组最后面放了一个nullptr// 1.先取b的地址,强转成一个int*的指针// 2.再解引用取值,就取到了b对象头4bytes的值,这个值就是指向虚表的指针// 3.再强转成VFPTR*,因为虚表就是一个存VFPTR类型(虚函数指针类型)的数组。// 4.虚表指针传递给PrintVTable进行打印虚表/* 5.需要说明的是这个打印虚表的代码经常会崩溃,因为编译器有时对虚表的处理不干净,虚表最后面没有放nullptr,导致越界,这是编译器的问题。我们只需要点目录栏的 - 生成 - 清理解决方案,再编译就好了。*/VFPTR *  vTableb = (VFPTR*)(*(int*)&b);PrintVTable(vTableb);VFPTR* vTabled = (VFPTR*)(*(int*)&d);PrintVTable(vTabled);return 0;
}

5.2 多继承中的虚函数表

#include <iostream>using namespace std;class Base1 {
public:virtual void func1() { cout << "Base1::func1" << endl; }virtual void func2() { cout << "Base1::func2" << endl; }
private:int b1;
};
class Base2 {
public:virtual void func1() { cout << "Base2::func1" << endl; }virtual void func2() { 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 << " 虚表地址>" << vTable << endl;for (int i = 0; vTable[i] != nullptr; ++i){printf(" 第%d个虚函数地址 :0X%x,->", i, vTable[i]);VFPTR f = vTable[i];f();}cout << endl;
}
int main()
{Derive d;VFPTR* vTableb1 = (VFPTR*)(*(int*)&d);PrintVTable(vTableb1);VFPTR* vTableb2 = (VFPTR*)(*(int*)((char*)&d + sizeof(Base1)));PrintVTable(vTableb2);return 0;
}

观察下图可以看出:多继承派生类的未重写的虚函数放在第一个继承基类部分的虚函数表中

5.3. 菱形继承、菱形虚拟继承

        实际中我们不建议设计出菱形继承及菱形虚拟继承,一方面太复杂容易出问题,另一方面这样的 模型,访问基类成员有一定得性能损耗。所以菱形继承、菱形虚拟继承我们的虚表我们就不看 了,一般我们也不需要研究清楚,因为实际中很少用。如果好奇心比较强的宝宝,可以去看下面的两篇链接文章。

1. C++ 虚函数表解析 | 酷 壳 - CoolShell

2.C++ 对象的内存布局 | 酷 壳 - CoolShell

6. 继承和多态常见的面试问题

6.1 概念查考

1. 下面哪种面向对象的方法可以让你变得富有( )

A: 继承         B: 封装         C: 多态         D: 抽象

答案:A

解析:这是一道幽默题,考察对面向对象概念名称的字面理解。继承在编程中是指派生类继承基类的特性,但字面意思是“从长辈那里继承财产”,因此可以“让你变得富有”。其他选项(封装、多态、抽象)与“富有”无直接关联。

2. ( )是面向对象程序设计语言中的一种机制。这种机制实现了方法的定义与具体的对象无关, 而对方法的调用则可以关联于具体的对象。

A: 继承         B: 模板         C: 对象的自身引用         D: 动态绑定

答案:D        

解析:题目描述的是动态绑定的核心特性:

  1. 方法的定义与对象无关:基类定义虚方法,派生类可以覆盖它。

  2. 调用关联具体对象:运行时根据对象实际类型调用对应方法(多态)。

3. 面向对象设计中的继承和组合,下面说法错误的是?()

A:继承允许我们覆盖重写父类的实现细节,父类的实现对于子类是可见的,是一种静态复 用,也称为白盒复用

B:组合的对象不需要关心各自的实现细节,之间的关系是在运行时候才确定的,是一种动 态复用,也称为黑盒复用

C:优先使用继承,而不是组合,是面向对象设计的第二原则

D:继承可以使子类能自动继承父类的接口,但在设计模式中认为这是一种破坏了父类的封装性的表现

答案:C

解析:面向对象设计原则是“优先使用组合,而非继承”(组合/聚合复用原则),继承会带来紧耦合,而组合更灵活。

4. 以下关于纯虚函数的说法,正确的是( )

A:声明纯虚函数的类不能实例化对象         B:声明纯虚函数的类是虚基类

C:子类必须实现基类的纯虚函数                 D:纯虚函数必须是空函数

答案:A

解析:A(正确):含纯虚函数(virtual void func() = 0;)的类是抽象类,不能直接实例化。

B(错误):“虚基类”指通过 virtual 继承的类(解决菱形继承),与纯虚函数无关。

C(部分正确):只有子类实现所有纯虚函数后,才能实例化,否则子类仍是抽象类。 

D(错误):纯虚函数可以有实现(如 virtual void func() = 0 { ... }),但通常不推荐。

 

5. 关于虚函数的描述正确的是( )

A:派生类的虚函数与基类的虚函数具有不同的参数个数和类型         B:内联函数不能是虚函数

C:派生类必须重新定义基类的虚函数           D:虚函数可以是一个static型的函数

答案:B

解析:A(错误):虚函数必须满足覆盖(override)条件:函数签名(参数、返回类型)相同(协变返回类型除外)。

B(正确)inline 是编译期展开,虚函数是运行时动态绑定,二者冲突。即使虚函数被标记为 inline,编译器会忽略 inline

C(错误):派生类可选是否覆盖虚函数(不覆盖则继承基类实现)。

D(错误)static 函数属于类而非对象,无法参与动态绑定。

6. 关于虚表说法正确的是( )

A:一个类只能有一张虚表

B:基类中有虚函数,如果子类中没有重写基类的虚函数,此时子类与基类共用同一张虚表

C:虚表是在运行期间动态生成的

D:一个类的不同对象共享该类的虚表

答案:D

解析:A(错误):多重继承中,一个类可能有多张虚表(如基类1和基类2各一张)。

B(错误):即使子类未重写虚函数,子类也有自己的虚表(条目可能指向基类实现)。

C(错误):虚表在编译期生成,运行时仅通过对象的 vptr 访问。

D(正确):同一类的所有对象共享同一张虚表(通过各自的 vptr 指向它)。

7. 假设A类中有虚函数,B继承自A,B重写A中的虚函数,也没有定义任何虚函数,则( )

A:A类对象的前4个字节存储虚表地址,B类对象前4个字节不是虚表地址

B:A类对象和B类对象前4个字节存储的都是虚基表的地址

C:A类对象和B类对象前4个字节存储的虚表地址相同

D:A类和B类虚表中虚函数个数相同,但A类和B类使用的不是同一张虚表

答案:D

解析:

A(错误):B 类对象也有虚表(vptr),前4字节仍是虚表地址。

B(部分正确):两者都有 vptr,但存储的地址不同(指向各自的虚表)。

C(错误):A 和 B 的虚表地址不同(B 重写了虚函数)

D(正确):虚函数数量相同(继承自A),但 B 重写后,虚表条目指向 B 的实现。A 和 B 使用独立的虚表。

8. 下面程序输出结果是什么? ()

#include <iostream>
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;}

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

答案:A

解析:

  1. 虚继承规则

    • 虚基类(A)的构造函数由最派生类(D)直接调用,确保只初始化一次。

    • B 和 C 的构造函数中对 A 的调用会被忽略。

  2. 调用顺序

    • 先调用虚基类 A 的构造函数(输出 class A)。

    • 再按继承顺序调用 B 和 C 的构造函数(输出 class Bclass C)。

    • 最后执行 D 的构造函数体(输出 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

答案:C

解析:

  1. 多重继承的内存布局

    • Derive 对象包含 Base1 和 Base2 的子对象,通常按继承顺序排列。

    • 内存布局:Base1 → Base2 → Derive 的成员。

  2. 指针转换的偏移量

    • Base1* p1 = &dBase1 是第一个基类,无需偏移(p1 == p3)。

    • Base2* p2 = &dBase2 是第二个基类,编译器会隐式调整指针,指向 Base2 子对象(p2 != p3)。

  3. 结论

    • p1 和 p3 指向同一地址(Derive 对象起始位置)。

    • p2 指向 Base2 子对象,地址更高。

10. 以下程序输出结果是什么()

#include <iostream>
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: 以上都不正确

答案:B

解析:

  1. 虚函数动态绑定

    • test() 调用 func() 时,由于 func 是虚函数,实际调用 B::func(对象类型为 B)。

  2. 默认参数的静态绑定

    • 默认参数的值在编译时根据调用者的静态类型(A)确定,因此 val 取 A::func 的默认值 1

    • 但函数体执行的是 B::func,输出 B->1

  3. 关键点

    • 默认参数不参与多态,始终按静态类型决定。

6.2 问答题

1. 什么是多态?

        答:多态是面向对象编程的三大特性之一,指同一操作作用于不同对象时产生不同的行为。在C++中,多态分为两类:

  • 编译时多态:通过函数重载和模板实现。

  • 运行时多态:通过虚函数和继承实现,基类指针/引用调用派生类的重写函数。

2. 什么是重载、重写(覆盖)、重定义(隐藏)?

类型作用域要求示例
重载同一作用域函数名相同,参数列表不同void func(int); void func(double);
重写(覆盖)父子类虚函数,函数签名相同virtual void func() override;
重定义(隐藏)父子类非虚函数,函数名相同(隐藏基类同名函数)void func();(子类隐藏父类实现)

3. 多态的实现原理?

虚函数表(vtable):每个含虚函数的类有一个虚函数表,存储虚函数地址。

虚指针(vptr):对象内含指向虚函数表的指针,运行时通过 vptr 找到实际调用的函数。

动态绑定:通过基类指针/引用调用虚函数时,根据对象的实际类型决定调用哪个函数。

4. inline函数可以是虚函数吗?

        答:可以声明,但 inline 会被忽略。虚函数需要动态绑定,必须通过虚表调用,而 inline 是编译期展开,二者冲突。

5. 静态成员可以是虚函数吗?

        答:不能,因为静态成员函数没有this指针,使用类型::成员函数 的调用方式无法访问虚函数表,所以静态成员函数无法放进虚函数表。

6. 构造函数可以是虚函数吗?

        答:不能,原因1:构造函数调用时对象尚未完全构造,vptr 未初始化,无法使用虚机制。

原因2:构造函数用于确定对象类型,无需多态。

7. 析构函数可以是虚函数吗?什么场景下析构函数是虚函数?

        答:可以,并且最好把基类的析构函数定义成虚函数。当通过基类指针删除派生类对象时,若析构函数非虚,会导致派生类部分未析构(内存泄漏)。

8. 对象访问普通函数快还是虚函数更快?

        答:首先如果是普通对象,是一样快的。如果是指针对象或者是引用对象,则调用的普通函数快,因为构成多态,运行时调用虚函数需要到虚函 数表中去查找。

9. 虚函数表是在什么阶段生成的,存在哪的?

        答:虚函数表是在编译阶段就生成的,一般情况 下存在代码段(常量区)的。

10. C++菱形继承的问题?虚继承的原理?

  • 菱形继承问题:派生类继承自两个中间类,而这两个中间类继承自同一基类,导致基类成员重复。

  • 虚继承解决:通过虚基类指针(vbptr)和虚基类表(vbtable)共享基类实例。

11. 什么是抽象类?抽象类的作用?

  • 抽象类:含纯虚函数(virtual void func() = 0;)的类,不能实例化。

  • 作用

    1. 强制派生类实现接口(契约式设计)。

    2. 提供统一的接口规范(多态基类)。

http://www.dtcms.com/a/278687.html

相关文章:

  • mybatis-plus-jpa-support
  • 基于MATLAB的LSTM长短期记忆神经网络的数据回归预测方法应用
  • 穿透、误伤与回环——Redis 缓存防御体系的负向路径与治理艺术
  • LightGBM 在处理**不均衡二分类任务**时,能在 **AUC 和 Accuracy** 两个指标上表现良好
  • 三轴云台之姿态调节技术篇
  • 【2025】Global Mapper中文版安装教程保姆级一键安装教程(附安装包)
  • 海外货运物流系统多语言系统实现
  • 蜻蜓I即时通讯水银版系统直播功能模块二次开发文档-详细的直播功能模块文档范例-卓伊凡|麻子
  • 【PTA数据结构 | C语言版】字符串替换算法
  • mitt全局通信
  • Boost.Asio 异步写:为什么多次 async_write_some 会导致乱序,以及如何解决
  • Angular 框架下 AI 驱动的企业级大前端应用开
  • 2025/7/14——java学习总结
  • Ubuntu安装Mongodb
  • 《甘肃棒球》国家级运动健将标准·棒球1号位
  • 九、官方人格提示词汇总(下)
  • OpenCV 视频处理与摄像头操作详解
  • 面试题--xxl-job分布式任务调度
  • 全面解析WOFOST与PCSE农作物生长模型;农作物生长和产量预测
  • 基于esp32系列的开源无线dap-link项目使用介绍
  • 空间智能-李飞飞团队工作总结(至2025.07)
  • 【工具】AndroidStudio修改中文语言汉化
  • Python数据容器-通用功能
  • 九、官方人格提示词汇总(中-1)
  • Usage of standard library is restricted (arkts-limited-stdlib) <ArkTSCheck>
  • 【leetcode】231. 2的幂
  • 13.7 Meta LLaMA2-Chat核心技术突破:三重强化学习实现91.4%安全评分,超越ChatGPT的对话模型架构全解析
  • React 第六十九节 Router中renderMatches的使用详解及注意事项
  • 文档处理控件Aspose.Words教程:从 C# 中的 Word 文档中提取页面
  • 汽车工件工艺追溯管理系统软件设计(草稿)