多态:
c++支持编译时多态(静态多态)和运行时多态(动态多态)。运算符重载和函数重载就是静态多态,而派生类和虚函数实现运行时多态。
静态多态和动态多态的区别就是函数地址的早绑定(静态联编)还是晚绑定(动态联编)。如果函数的调用,在编译阶段就可以确定函数的调用地址,并产生代码,就是静态多态,地址就是早绑定的。而如果函数的调用地址不能在编译期间确定,而需要运行时才决定,这就属于晚绑定。
#include<iostream>
using namespace std;
class Animal
{
public:
void speak()
{
cout << "动物在说话\n";
}
};
class Cat : public Animal
{
public:
void speak()
{
cout << "小猫在说话\n";
}
};
void dospeak(Animal & animal)
{
animal.speak();
}
//如果发生了继承的关系,编译器允许进行类型的转换
void test()
{
Cat cat;
dospeak(cat);
}
int main()
{
test();
return 0;
}
运行结果是:
//这是因为在编译阶段就就已经绑定了Animal类的地址,所以运行的时候就直接去已经绑定好的地址,也就是静态联编
void dospeak(Animal & animal)
{
animal.speak();
}
如果想要执行子类类里面的speak(),就不能使用静态联编,也就是不能早绑定地址,那就需要运行时多态,写法就是在父类中声明虚函数加上关键字virtual,此时就发生了多态
class Animal
{
public:
virtual void speak() //变成了虚函数
{
cout << "动物在说话\n";
}
};
此时运行结果就变成了小猫在说话
也就是父类的引用或者指针指向了子类对象(多态的定义)
void dospeak(Animal & animal) //Animal & animal = Cat父类的指针或者引用指向子类的对象
{
animal.speak();
}
多态的原理解析:
class Animal
{
public:
void speak()
{
cout << "动物在说话\n";
}
};
这段代码如果父类中没有定义关键字的话那么它的大小就是sizeof(Animal)就是1个字节,因为是一个空类,什么也没有实现,但是要是加了关键字virtual那么这个类的大小就变成了四个字节大小,这个是因为加上关键字之后这个类的本质已经发生了改变。
多态具体工作原理,请看c++基础第七天第三节课