C++入门12——详解多态1

简介: C++入门12——详解多态1

1.多态的概念

每逢春节假期,各大娱乐平台都会推出“集卡除夕夜瓜分亿万红包”活动,可同样集卡成功了,有的人红包几块钱,有的人红包却几毛钱......为什么不同的人得到的红包却不相同呢?那是因为平台会根据你的用户数据,比如可能你是新用户、可能你在活动期间活动完成率高......那么你的红包就有可能比别人大一点。

其实这背后就是就是一个多态行为:同样的一个集卡开红包行为,不同的人得到的结果却不相同。

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

2.多态的定义与实现

2.1多态构成的条件

1中已经说了,多态是在不同继承关系的类对象,去调用同一函数,却产生了不同的行为。比如Unluck_Peo继承了Luck_Peo。Luck_Peo对象的红包是五块,Unluck_Peo对象的红包却是五毛。

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

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

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

举个例子:

class Luck_Peo
{
public:
  virtual void Red_Packet()
  {
    cout << "五块红包" << endl;
  }
};
 
class Unluck_Peo:public Luck_Peo
{
public:
  virtual void Red_Packet()
  {
    cout << "五毛红包" << endl;
  }
};
 
void Func(Luck_Peo& p)
{
  p.Red_Packet();
}
 
int main()
{
  Luck_Peo lp;
  Unluck_Peo up;
  Func(lp);
  Func(up);
  return 0;
}

也许到这里还并不能完全理解这段代码的意思,别着急,接下来就让我们了解一下:

2.2虚函数

在上篇文章C++入门11——详解C++继承(菱形继承与虚拟继承)中我们知道,为了解决菱形继承的弊端,C++就引入了虚拟继承,即:被virtual修饰的继承关系成为虚拟继承,相同的道理,虚函数就是被virtual修饰的类成员函数称为虚函数。

举个例子:

class Luck_Peo
{
public:
  //virtual修饰成员函数表示虚函数
  virtual void Red_Packet()
  {
    cout << "五块红包" << endl;
  }
};

2.3虚函数的重写

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

正如我们之前的代码:

class Luck_Peo
{
public:
  virtual void Red_Packet()
  {
    cout << "五块红包" << endl;
  }
};
 
class Unluck_Peo:public Luck_Peo
{
public:
  virtual void Red_Packet()
  {
    cout << "五毛红包" << endl;
  }
};
//*void Red_Packet() { cout << "五毛红包" << endl; }
// 注意:在重写基类虚函数时,派生类的虚函数在不加virtual关键字时,
// 其实也是可以构成重写的(因为继承后基类的虚函数被继承下来了,在
// 派生类依旧保持虚函数属性),但是该种写法不是很规范,不建议这样使用
 
void Func(Luck_Peo& p)
{
  p.Red_Packet();
}

函数重写的两个例外:

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; 
  }
};
2.析构函数的重写(基类与派生类析构函数的名字不同)

C++入门11——详解C++继承(菱形继承与虚拟继承)中,我们已经知道了父类与子类的析构顺序为先子后父:

class Person
{
public:
  ~Person()
  {
    cout << "~Person()" << endl;
  }
};
class Student:public Person
{
public:
  ~Student()
  {
    cout << "~Student()" << endl;
  }
};
 
int main()
{
  Person p;
  Student s;
  return 0;
}

(如果对此运行结果有疑惑的铁铁,可以查看我的上一篇文章对于C++继承中子类与父类对象同时定义其析构顺序的探究

现在,我要创建两个父类指针分别指向父类对象和子类对象:

int main()
{
  //Person p;
  //Student s;
 
  Person* p1 = new Person;
  delete p1;
  Person* p2 = new Student;
  delete p2;
  return 0;
}

从运行结果看子类的析构函数并没有被调用,这必然会引起内存泄漏啊!

很明显,这里的调用明显是普通调用:只关注指针、引用、对象的类型;由于两个指针的类型都是Person,所以只调用了Person的析构函数;

而这里我需要的是多态调用:关注指针或引用指向的对象;正确的结果应该是指针指向父类我就调父类的析构函数,指针指向子类我就调用子类的析构函数。

那么如何引发多态呢?上述代码中,我们已经完成了多态构成的条件的第一条,现在的问题无非就是析构函数的重写了呀!

可是虚函数的重写又要保证“三同”,很明显,父类的析构函数名与子类的析构函数名根本不可能相同啊!如何解决这个问题呢?其实在C++入门11——详解C++继承(菱形继承与虚拟继承)提了一嘴:子类的析构函数与父类的析构函数构成隐藏关系,由于多态的原因,析构函数会被特殊处理,函数名都会被处理成destrutor()。


所以析构函数的重写就可以总结为:

如果基类的析构函数为虚函数,此时派生类析构函数只要定义,无论是否加virtual关键字, 都与基类的析构函数构成重写(为了规范最好父子类都加上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;
  delete p1;//p1->destructor() + operator delete(p1)
  Person* p2 = new Student;
  delete p2;//p2->destructor() + operator delete(p2)
  return 0;
}

2.4 C++11 override 和 final

在之前的文章中我们了解到,final修饰的类表示该类为最终类,不能被继承。其实,final除了有这个用处之外还能够修饰虚函数:

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

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

class A
{
public:
  virtual void Func() final {}
};
class B :public A
{
public:
  virtual void Func() {}
};

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

class A {
public:
  //void Func() {} //error:使用“override”声明的成员函数不能重写基类成员
  virtual void Func() {}
};
class B :public A 
{
public:
  virtual void Func() override {}
};

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

3.抽象类

抽象这个词近些年成了热梗:这个人真抽象!这个人长得真抽象!当然这些词也都褒贬不一,不过抽象的意思总的来说有被常人不能理解的意思。

那么在C++中,抽象类又是什么呢?

3.1抽象类的概念

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

那么抽象类会用到哪些场景呢?

比如实现一个手机品牌的管理系统:每个手机品牌都有自己的独到之处,那我就把不同手机品牌的基本特征提取出来放到一个公共的类-手机类,然后不同的手机品牌再去继承这个手机类。

在这段描述中,手机类没有实体,不需要实例化出对象,每一个手机品牌类才有对应的有实体,所以手机类应该是抽象的,手机类的这些派生类-手机品牌类才应该是具象的。

举个例子:

#include <iostream>
using namespace std;
 
//抽象类
class Phone
{
public:
  //纯虚函数
  virtual void Trait() = 0;
};
class Redmi :public Phone
{
public:
  //由于派生类继承了基类,所以派生类也实例化不出对象
  //如果想要实例化出对象就必须重写虚函数
  //也就是说,抽象类间接地强制了子类重写虚函数
  virtual void Trait()
  {
    cout << " Redmi-> 性价比之王" << endl;
  }
};
class HuaWei :public Phone
{
public:
  virtual void Trait()
  {
    cout << " HuaWei->遥遥领先" << endl;
  } 
};
 
 
int main()
{
  //抽象类实例不出对象
  //Phone p;        //error:不允许使用抽象类类型“phone”的对象
 
  Phone* p = new Redmi;
  p->Trait();
  p = new HuaWei;
  p->Trait();
  return 0;
}

(抽象类具体什么时候用呢?比如在整个体系中我们不期望父类实例化出对象,并且父类的某些函数必须要求其子类重写,这时候就可以考虑用到抽象类)

3.2 接口继承和实现继承(了解一下)

普通函数的继承是一种实现继承,派生类继承了基类函数,可以使用函数,继承的是函数的实现;

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

相关文章
|
1月前
|
C++
C++入门13——详解多态2
C++入门13——详解多态2
79 1
|
1月前
|
存储 安全 编译器
【C++打怪之路Lv1】-- 入门二级
【C++打怪之路Lv1】-- 入门二级
23 0
|
1月前
|
自然语言处理 编译器 C语言
【C++打怪之路Lv1】-- C++开篇(入门)
【C++打怪之路Lv1】-- C++开篇(入门)
24 0
|
1月前
|
分布式计算 Java 编译器
【C++入门(下)】—— 我与C++的不解之缘(二)
【C++入门(下)】—— 我与C++的不解之缘(二)
|
1月前
|
编译器 Linux C语言
【C++入门(上)】—— 我与C++的不解之缘(一)
【C++入门(上)】—— 我与C++的不解之缘(一)
|
1月前
|
编译器 C++
C++入门11——详解C++继承(菱形继承与虚拟继承)-2
C++入门11——详解C++继承(菱形继承与虚拟继承)-2
30 0
|
1月前
|
程序员 C++
C++入门11——详解C++继承(菱形继承与虚拟继承)-1
C++入门11——详解C++继承(菱形继承与虚拟继承)-1
32 0
|
1月前
|
存储 算法 C++
C++入门10——stack与queue的使用
C++入门10——stack与queue的使用
42 0
|
9天前
|
存储 编译器 C++
【c++】类和对象(中)(构造函数、析构函数、拷贝构造、赋值重载)
本文深入探讨了C++类的默认成员函数,包括构造函数、析构函数、拷贝构造函数和赋值重载。构造函数用于对象的初始化,析构函数用于对象销毁时的资源清理,拷贝构造函数用于对象的拷贝,赋值重载用于已存在对象的赋值。文章详细介绍了每个函数的特点、使用方法及注意事项,并提供了代码示例。这些默认成员函数确保了资源的正确管理和对象状态的维护。
37 4
|
11天前
|
存储 编译器 Linux
【c++】类和对象(上)(类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针)
本文介绍了C++中的类和对象,包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用,以及如何使用访问限定符控制成员的访问权限。此外,还讨论了对象的内存分配规则和this指针的使用场景,帮助读者深入理解面向对象编程的核心概念。
34 4