C++中的多态

想变成自大狂

已于 2023-04-17 20:21:56 修改

阅读量2.4k

点赞数 14

分类专栏： # C++ 文章标签： c++ 开发语言

于 2023-01-08 10:54:08 首次发布

本文链接：https://blog.csdn.net/m0_55752775/article/details/128574878

版权

C++ 专栏收录该内容

14 篇文章 0 订阅

订阅专栏

override 和 final(C++11)

多态的概念：字面的意思就是多种形态，完成某个行为，当不同的对象去完成时会产生出不同的状态。当类之间存在层次结构，并且类之间是通过继承关联时，就会用到多态。C++ 多态意味着调用成员函数时，会根据调用函数的对象的类型来执行不同的函数。

多态的定义及实现

多态分为编译时多态和运行时多态，也叫早期绑定和晚期绑定。编译时多态是早期绑定，主要通过重载实现。

多态的构成条件

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

在继承中要构成多态还有两个条件：

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

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

虚函数

虚函数是在基类中使用关键字 virtual 声明的函数。在派生类中重新定义基类中定义的虚函数时，会告诉编译器不要静态链接到该函数。

static和virtual不能同时使用。静态成员函数就不能设置为虚函数，静态成员函数与具体对象无关，属于整个类，核心关键是没有隐藏的this指针，可以通过类名::成员函数名直接调用，此时没有this无法拿到虚表，就无法实现多态，因此不能设置为虚函数。实现多态是要付出代价的，如虚表，虚表指针等，所以不实现多态就不要有虚函数了。

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

虚函数重写

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

class Student : public Person {
public:
   // 子类中满足三同(函数名、参数、返回值)的虚函数，叫做重写(覆盖)
   virtual void BuyTicket()
   {
       cout << "买票-半价" << endl;
   }

/*void BuyTicket()

{
       cout << "买票-半价" << endl;
}*/
};

虚函数的重写允许，两个都是虚函数或者父类是虚函数，再满足虚函数返回值类型、函数名字、参数列表，就构成重写。在重写基类虚函数时，派生类的虚函数在不加virtual关键字时，虽然也可以构成重写(因为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范，不建议使用。

构成多态，跟p的类型没有关系，传的哪个类型的对象，调用的就是这个类型的虚函数 -- 跟对象有关。Person对象调用Person类的虚函数，Student对象调用Student类的虚函数。

不构成多态，调用就是p类型的函数 -- 跟类型有关。 Person对象和Student对象调用的都是Person类的虚函数，因为Func()参数类型是Person。

虚函数的重写时，继承父类虚函数的接口，重写的是虚函数的实现。

虚函数重写的两个例外：

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

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

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

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

动态申请的对象，如果给了父类指针管理，那么需要析构函数是虚函数。

只有派生类Student的析构函数重写了Person的析构函数，delete对象调用析构函数，才能构成多态，才能保证p1和p2指向的对象正确的调用析构函数。

override 和 final(C++11)

如何设计一个不能被继承的类？

C++98中可以间接限制，子类构成函数无法调用父类构造函数初始化成员，没办法实例化对象

class A
   {
   private:
       A(int a = 0)
           :_a(a)
       {}

   public:
       static A CreateOBj(int a = 0)
       {
           //new A;
           return A(a);
       }
   protected:
       int _a;
   };
class B : public A
   {

   };
int main()
{
   A aa = A::CreateOBj(10);
   //B bb; 报错
   return 0;
}

在C++11 可以使用final关键字直接限制

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

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

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

重载：两个同名函数在同一作用域，同名函数的形式参数（指参数的个数、类型或者顺序）必须不同（返回值没有要求）。

覆盖(重写)：两个同名函数分别在基类和派生类的作用域，同名函数的参数和返回值必须相同（协变例外），两个同名函数必须都是虚函数。

隐藏(重定义)：两个同名函数分别在基类和派生类的作用域，两个同名函数不构成重写就是重定义。

抽象类

一个类型，如果一般在现实世界中，没有具体的对应实物就定义成抽象类比较好。

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

父类中纯虚函数一般只声明不实现，实现没有意义。调用的时候调用的是子类的函数。

纯虚函数的类本质上强制子类完成虚函数的重写。

接口继承和实现继承

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

多态的原理

虚函数表

class Base
{
public:
   virtual void Func1()
   {
       cout << "Func1()" << endl;
   }

   virtual void Func2()
   {
       cout << "Func2()" << endl;
   }

private:
   int _b = 1;
   char _ch = 'A';
};

int main()
{
   cout << sizeof(Base) << endl; //16
   Base bb;

   return 0;
}

除了_b和_ch成员，还多一个__vfptr放在对象的前面(注意有些平台可能会放到对象的最后面，这个跟平台有关)，对象中的这个指针我们叫做虚函数表指针(v代表virtual，f代表function)。一个含有虚函数的类中都至少都有一个虚函数表指针，因为虚函数的地址要被放到虚函数表中，虚函数表也简称虚表。

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. 虚表存的是虚函数指针，不是虚函数，虚函数和普通函数一样的，都是存在代码段的，只是他的指针又存到了虚表中。另外对象中存的不是虚表，存的是虚表指针。

一个子类有几个有虚函数的父类，则就会有几张虚表，自身子类不会产生多余的虚表。子类自己的虚函数只会放到第一个父类的虚表后面，其他父类的虚表不需要存储，因为存储了也不能调用。

满足多态以后的函数调用，不是在编译时确定的，是运行起来以后到对象的中取找的。不满足多态的函数调用时编译时确认好的。

动态绑定与静态绑定

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

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

编译期间，编译器主要检测代码是否违反语法规则，此时无法知道基类的指针或者引用到底引用那个类的对象，也就无法知道调用那个类的虚函数。在程序运行时，才知道具体指向那个类的对象，然后通过虚表调用对应的虚函数，从而实现多态。

常见面试题

1. 什么是多态？

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

3. 多态的实现原理？

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

        可以，调用时，如果不构成多态，这个函数保持inline属性；如果构成多态，编译器就忽略inline属性，这个函数就不再是 inline，因为虚函数要放到虚表中去，调用是去对象的虚函数表中找到虚函数地址，实现调用时无法使用inline属性。

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

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

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

        不能，虚函数的意义是构成多态调用，多态调用要去虚函数表中查找虚函数，对象中的虚函数表指针是在构造函数初始化列表阶段才初始化的。

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

        可以，并且最好把基类的析构函数定义成虚函数。

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

        如果是普通对象，不构成多态，都是编译器确定调用函数的地址，是一样快的。如果是指针对象或者是引用对象，则调用的普通函数快，普通函数编译时直接确定地址，因为构成多态，运行时调用虚函数需要到虚函数表中去查找。

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

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