目录
一.多态概念
多态的概念:通俗来说,就是多种形态,具体点就是去完成某个行为,当不同的对象去完成时会产生出不同的状态。
举个例子:比如买票这个行为,当普通人买票时,是全价买票;学生买票时,是半价买票;军人买票时是优先买票。
再举个例子: 最近为了争夺在线支付市场,支付宝年底经常会做诱人的扫红包-支付-给奖励金的活动。那么大家想想为什么有人扫的红包又大又新鲜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: 检查派生类虚函数是否重写了基类某个虚函数,如果没有重写编译报错。
三.重载、覆盖(重写)、隐藏(重定义)的对比