#include<iostream>
using namespace std;
class base1{
public:
// virtual void outing(); // 1.动态访问情况下,最终调用的是派生类的同名函数 2.其它同名函数均被转换为虚函数,及使没有进行显示说明
void outing(); //若没有定义为虚函数,动态访问情况下(用函数,符合类型 兼容规则 的指针或引用去调用时,返回的是 基态 的成员函数)
};
void base1::outing(){cout<<"base1"<<endl;}
class base2:public base1{
public:
virtual void outing(); // 什么时候用到虚函数? 当认为自己的派生类需要使用当前函数实现不同的效果时
//若想再次使用此函数,可通过作用分辨符来直接访问
};
void base2::outing(){cout<<"base12"<<endl;}
class base3:public base2{
public:
virtual void outing(int i=0); // 基类中的同名函数若是虚函数,则派生类的同名函数会根据3个条件自动转化成虚函数:
//1.返回值是否相同(满足赋值兼容原则的指针和引用也行) 2.是否同名 3.参数类型和个数是否相同
//缺一不可,否则就不会转换成虚函数
};
void base3::outing(int i){cout<<"base123 "<<i<<endl;} //函数实现时不可以带入常数值,只能是函数定义时加入,重载函数同理
class base4:public base3{
public:
void outing(int i=2); //虚函数是动态绑定,但是虚函数的默认形参值是静态绑定,即使输入2,输出时值为0
};
void base4::outing(int i){cout<<"base4 "<<i<<endl;}
void difference(base2 *tome){ tome->outing(); }
void differencetwo(base3 *to){to->outing();}
int main(void)
{
base3 text;
text.outing(); //通过对象名来寻找函数,实现的是静态绑定,不体现多态
difference(&text);// 体现多态,相同的访问规则实现不同的效果
base4 text2;
differencetwo(&text2);
return 0;
}
对象切片
相对于指针,引用而言
base1 one;
base2 two;//base1的派生类
one=two; // 利用派生类构造复制基类对象的行为 叫做对象切片 ,此时one和two没有任何关系,one不能访问two的继承的成员函数
指针或引用情况
base1 *one;
base2 two;
one=&two; //此时one可以访问two的基类成员,且只能访问基类成员
虚析构函数
如果出现基类指针调用析构函数时 且 派生类新增对象存在new 堆上内存时,会造成内存泄漏
解决办法:将基类析构函数定义为虚函数,使得访问的是派生类的析构函数