多态
多态在c++中分静态多态和动态多态:
静态多态使用函数重载和泛型编程实现
动态多态基于虚函数实现
动态绑定与静态绑定
定义:静态绑定指程序结束编译后就已经确定行为,动态绑定指在运行时确定行为
作用:把不同派生类对象都当作基类看可以屏蔽不同子类对象之间的差异,提高程序的通用性适应需求的不断变化
虚函数与动态多态的实现
在函数名字前加上virtual关键字进行声明
创建2个类并且是继承关系,基类的函数声明为虚函数,派生类继承基类并重写基类的函数,通过基类的指针或引用访问派生类对象
非类的成员函数不能定义为虚函数,类的静态成员函数不能定义虚函数,构造函数不能定义为虚函数,析构函数可以定义为虚函数,基类的某个函数声明为虚函数,派生类同名函数自动成为虚函数
cpp
#include <iostream>
using namespace std;
class A
{
public:
virtual void add() {}
};
class B : public A
{
public:
void add() {}
};
重写
重写的定义:派生类实现基类的虚函数
特点:不同作用域,函数名相同参数相同返回值相同基类必须要virtual关键字
原理:通过父类指针或引用指向子类对象
重载
重载的定义:同一作用域函数名相同参数不同的多个函数间构成重载
特点:相同作用域,函数名相同参数不同,返回值可有可无,virtual关键字可有可无
隐藏
定义:基类与派生类有同名函数,调用时候都是子类的函数,此时父类成员函数会被隐藏
特点:不同作用域,函数名相同,返回值和参数可同可不同
子类对象调用重新实现与父类函数同名的函数
隐藏与覆盖的区别
相同点:子类对象在调用时都是调用子类实现的成员函数
不同点:父类指针指向子类对象时 覆盖情况下,父类指针调用的函数是子类实现的函数
父类指针指向子类对象时 隐藏情况下,父类指针调用的函数是父类实现的函数
虚析构函数
建议将基类的析构函数设置为虚函数,基类的析构函数为虚函数则派生类的析构函数也会自动成为虚函数
当基类的指针指向派生类时,基类的析构函数不是虚函数就不会发生动态多态,只会调用基类的析构函数就会造成内存泄漏
cpp
#include <iostream>
using namespace std;
class A
{
private:
int i;
public:
A() : i(10)
{
cout << "haha" << endl;
}
virtual ~A()
{
cout << "xixi" << endl;
}
};
class B : public A
{
private:
int x;
public:
B() : x(5)
{
cout << "aabbcc" << endl;
}
~B()
{
cout << "qqwwee" << endl;
}
};
int main()
{
A *p = new B;
delete p;
return 0;
}