C++(多态)

本文深入探讨了C++中的多态性,包括多态的定义、虚函数的实现与重写,以及C++11中的`override`和`final`关键字。通过实例解释了多态在实际问题中的应用,如不同对象执行同一行为产生不同结果。同时,文章还介绍了析构函数的特殊情况,即即使函数名不同,只要基类析构函数为虚函数,派生类析构函数就会自动重写。
摘要由CSDN通过智能技术生成

目录

一.多态概念

 二. 多态的定义及实现

        2.1多态的构成条件

        2.2 虚函数 

        2.4虚函数重写的两个例外

        2.5 C++11 override 和 final

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


一.多态概念

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

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


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

 二. 多态的定义及实现

        2.1多态的构成条件

1. 必须通过基类的指针或者引用调用虚函数
2. 被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写

        2.2 虚函数 

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

        我们拿动物这个来描述多态:

class Animal {
public:
	virtual void bark() {
	}
};

此时这个bark函数就是一个虚函数...

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

#include <iostream>
using namespace std;


class Animal {
public:
	Animal(){

	}
	virtual void bark() {
		cout << "animal bark" << endl;
	}
	~Animal() {

	}
private:
	char* _name;
	int _age;
	char* _gander;
};
/*注意:在重写基类虚函数时,派生类的虚函数在不加virtual关键字时,虽然也可以构成重写(因为继承后
基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范,不建议这样使用*/
class dog :public Animal {//重写基类的函数
	void bark() {
		cout << "汪汪汪" << endl;
	}
};


void test(Animal& an) {//通过指针或者引用来调用
	an.bark();
}
int main() {
	dog d;
	test(d);
	return 0;
}

运行结果:

       2.4虚函数重写的两个例外

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

#include <iostream>
using namespace std;


class Animal {
public:
	Animal(){

	}
	virtual Animal* RetSelf() {//返回基类的地址
		return new Animal;
	}
	~Animal() {

	}
private:
	char* _name;
	int _age;
	char* _gander;
};

class dog :public Animal {
	virtual dog* RetSelf() {//返回子类的地址
		return new dog;
	}
};

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

#include <iostream>
using namespace std;


class Animal {
public:
	virtual Animal* RetSelf() {
		return new Animal;
	}
	virtual void bark() {
		cout << "animal bark" << endl;
	}
	~Animal() {
		cout << "~Animal()" << endl;
	}
private:
	char* _name;
	int _age;
	char* _gander;
};

class dog :public Animal {
public:
	virtual dog* RetSelf() {
		return new dog;
	}
	void bark() {
		cout << "汪汪汪" << endl;
	}
	~dog() {
		cout << "~dog() " << endl;
	}
};


void test(Animal& an) {
	an.bark();
}
int main() {
	Animal a;
	dog d;
	test(d);
	return 0;
}

咋这里我们重载了子类的析构函数....

运行结果如下:

 我们可以直到先构造a这个对象,然后构造了b这个对象,所以先调用a的构造函数,然后调用b的构造函数,在程序结束时我们要调用析构函数,我们应该先调用b的析构函数,然后调用a的析构函数....

b我们要先调用b本身的析构函数,然后再析构其基类的内容所以是~dog(),~Animals...(先构造的后析构)

2.5 C++11 override 和 final

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

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

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

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


 

 

  • 2
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值