C++多态-阿里云开发者社区

一、多态概念

通俗来说，就是多种形态，具体点就是去完成某个行为，当不同的对象去完成时会产生出不同的状态。通俗来说就是指调用同一个方法，由于对象不同可能会有不同的行为。现实生活中，同一个方法，具体实现会完全不同。

二、多态的实现

1、多态的构成条件

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

必须通过基类的指针或者引用调用虚函数
被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写
以下列代码为例：

class Animal
{
public:
  virtual void sound()
  {
    cout << "叫声" << endl;
  }
};
class Cat:public Animal
{
public:
  virtual void sound()
  {
    cout << "喵喵喵..." << endl;
  }
};
class Dog :public Animal
{
public:
  virtual void sound()
  {
    cout << "汪汪汪..." << endl;
  }
};
void func(Animal& animal)
{
  animal.sound();
}
int main()
{
  Animal animal;
  func(animal);
  Cat cat;
  func(cat);
  Dog dog;
  func(dog);
  return 0;
}

2、虚函数

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

class Animal
{
public:
  virtual void sound()
  {
    cout << "叫声" << endl;
  }
};

3、虚函数重写

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

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;
}

虚函数重写的两个例外：

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

class Person 
{
public:
  virtual A* f() 
  {
    return new A;
  }
};
class Student : public Person 
{
public:
  virtual B* f() 
  {
    return new B;
  }
};

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;
  return 0;
}

这里需要注意的是，如果要实现派生类的虚构函数是，不需要自己调用基类的析构函数，编译器会将派生类的资源析构以后自动调用基类的析构函数。

4、C++11的 override 和 final

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

4.1 override

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

例如:

class Car {
public:
  virtual void Drive() {}
};
class Wuling :public Car {
public:
  virtual void Drive() override { cout << "五菱神车" << endl; }
};
int main()
{
  Car* car = new Wuling;
  car->Drive();
  return 0;
}

4.2 final

final的作用是修饰虚函数，表示该虚函数不能再被重写。

class Car {
public:
  virtual void Drive() final {}
};
class Wuling :public Car {
public:
  virtual void Drive() { cout << "五菱神车" << endl; }
};
int main()
{
  Car* car = new Wuling;
  car->Drive();
  return 0;
}

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

三、抽象类

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();
}

2、接口继承和实现继承

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

四、多态原理剖析

1、虚函数表

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

通过运行我们发现b对象在32位环境下大小是 8 bytes，除了_b成员，还多一个__vfptr放在对象的前面(注意有些平台可能会放到对象的最后面，这个跟平台有关)，对象中的这个指针我们叫做虚函数表指针(v代表virtual，f代表function)。一个含有虚函数的类中都至少都有一个虚函数表指针，因为虚函数的地址要被放到虚函数表中，虚函数表也简称虚表，。那么派生类中这个表放了些什么呢？我们接着往下分析。

针对上面的代码我们做出以下改造：

增加一个派生类Derive去继承Base
Derive中重写Func1
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;
}

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

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

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

另外Func2继承下来后是虚函数，所以放进了虚表，Func3也继承下来了，但是不是虚函数，所以不会放进虚表。
虚函数表本质是一个存虚函数指针的指针数组，一般情况这个数组最后面放了一个nullptr。
总结一下派生类的虚表生成：

先将基类中的虚表内容拷贝一份到派生类虚表中；
如果派生类重写了基类中某个虚函数，用派生类自己的虚函数覆盖虚表中基类的虚函数；
派生类自己新增加的虚函数按其在派生类中的声明次序增加到派生类虚表的最后。

这里还有一个很容易混淆的问题：

虚函数存在哪的？虚表存在哪的？

（可能很容易就会认为虚函数存在虚表，虚表存在对象中。）注意上面的回答的错的。注意虚表存的是虚函数指针，不是虚函数，虚函数和普通函数一样的，都是存在代码段的，只是他的指针又存到了虚表中。另外对象中存的不是虚表，存的是虚表指针。那么虚表存在哪的呢？实际我们去验证一下会发现vs下是存在代码段的。

2、多态的原理

多态的原理到底是什么呢？以下面代码为例

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;
}

观察下图的红色箭头我们看到，p是指向mike对象时，p->BuyTicket在mike的虚表中找到虚函数是Person::BuyTicket。
观察下图的蓝色箭头我们看到，p是指向johnson对象时，p->BuyTicket在johson的虚表中找到虚函数是Student::BuyTicket。
这样就实现出了不同对象去完成同一行为时，展现出不同的形态。
反过来思考我们要达到多态，有两个条件，一个是虚函数覆盖，一个是对象的指针或引用调用虚函数。
再通过下面的汇编代码分析，看出满足多态以后的函数调用，不是在编译时确定的，是运行起来以后到对象的中取找的。不满足多态的函数调用时编译时确认好的。

3、动态绑定与静态绑定

静态绑定又称为前期绑定(早绑定)，在程序编译期间确定了程序的行为，也称为静态多态，比如：函数重载
动态绑定又称后期绑定(晚绑定)，是在程序运行期间，根据具体拿到的类型确定程序的具体行为，调用具体的函数，也称为动态多态。

五、单继承与多继承的虚函数表

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

从监视窗口中可以看到b、d两个对象中的虚函数表。但是d对象继承了Base，而且本身也还有func3和func4两个虚函数，但是虚函数表中却存了func1和func2，是否是没有把func3和func4存进虚函数表呢，让我们继续往下探索。

探索的思路：取出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 + 1, vTable[i]);
    VFPTR f = vTable[i];
    f();
  }
  cout << endl;
}
int main()
{
  Base b;
  Derive d;
  VFPTR * vTableb = (VFPTR*)(*(int*)&b);
  PrintVTable(vTableb);
  VFPTR* vTabled = (VFPTR*)(*(int*)&d);
  PrintVTable(vTabled);
  return 0;
}

运行结果如下：

还可以通过内存窗口观察d的虚函数表里面的内容。

由此我们可以得出结论，d的虚函数表也存放了func3和func4的地址，只是在VS这个编译器下的监视窗口中没有显现出来。

2、多继承中的虚函数表

以下面代码为例：

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 + 1, 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;
}

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

通过监视窗口，可以发现VS编译器同样对func3做了处理而未显现出来。

细心的小伙伴可以发现，在输出的结果中，Derive::func1在Base1和Base2中虚函数表的地址却不相同，这又是为什么呢？难道同一个函数竟然有两个地址吗，显然是不可能的。让我们接着往下分析。

用以下代码探索

int main()
{
  Derive d;
  Base1* ptr1 = &d;
  Base2* ptr2 = &d;
  // 调用的都是Derive::func1,但是是在两个虚表中找到的覆盖的func1
  ptr1->func1();
  ptr2->func1();
  return 0;
}

我们可以借助汇编代码来探究原因。

首先是ptr1调用func1：

ptr2调用func1：

由以上两个过程我们可以发现最终ptr1和ptr2都是要取调用真正的 Derive::func1() ，并且编译器对Base2虚函数表中的存放的地址进行了封装处理，从而导致调用func1不是一步到位的。原因是将对象d的地址赋给了基类类型的Base*，发生了切片指针偏移，需要修正到this指针的值。

如图：

即需要修正ptr2到ptr1的位置再去调用func1()。

C++多态

一、多态概念

二、多态的实现

1、多态的构成条件

2、虚函数

3、虚函数重写

4、C++11的 override 和 final

4.1 override

4.2 final

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

三、抽象类

1、抽象类的概念

2、接口继承和实现继承

四、多态原理剖析

1、虚函数表

2、多态的原理

3、动态绑定与静态绑定

五、单继承与多继承的虚函数表

1、单继承的虚函数表

2、多继承中的虚函数表

热门文章

最新文章

相关课程

相关电子书

相关实验场景

热门

活动广场

任务中心

开发者评测

高校计划

乘风者计划

训练营

阿里云MVP

话题

直播

下载

镜像站

技术资料

插件

C++多态

一、多态概念

二、多态的实现

1、多态的构成条件

2、虚函数

3、虚函数重写

4、C++11的 override 和 final

4.1 override

4.2 final

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

三、抽象类

1、抽象类的概念

2、接口继承和实现继承

四、多态原理剖析

1、虚函数表

2、多态的原理

3、动态绑定与静态绑定

五、单继承与多继承的虚函数表

1、单继承的虚函数表

2、多继承中的虚函数表

热门文章

最新文章

相关课程

相关电子书

相关实验场景