多态 (Polymorphism)
中心思想:子类型的指针赋值给父类型的指针,之后,父类型指针的对象就可根据被赋予的特性以不同方式运作。
C++中实现多态的四种方式:virtual function、abstract class、override、template
Example:
#include <iostream>
using namespace std;
class A
{
public:
A(){}
virtual void foo()
{
cout<<"This is A."<<endl;
}
};
class B:public A
{
public:
B(){}
void foo()
{
cout<<"This is B."<<endl;
}
void func()
{
cout<<"Additional function."<<endl;
}
};
int main(int argc,char *argv[])
{
A *a = new B();
a->foo();
dynamic_cast<B*>(a)->func();
return 0;
}
Output:
This is B.
Additional function.
虚函数(virtual function)允许子类重写(override)该成员方法,因此当父类的指针指向一个子类对象,而后父类对象调用该虚函数foo()时,将根据所指向的子类之方法实现,来决定运行方式。
重点2:
若把class A的virtual保留字拿掉,同时须注解第35行dynamic_cast,
则Output会变成:This is A.
这是因为父类对象调用的成员方法并非虚函数,所调用方法的内容将根据发起调用之对象型态来决定,
第31行虽然对象a指向的是一个子类对象,但对象a的内存空间是父类指针的型态,因此调用foo()时运行的是父类的内容。
重点3:
B类的成员方法func(),并非是继承于A类的函数,因此A类指针对象无法认识到func(),
若想要以父类指针对象调用子类特有的方法时,需要将父類对象做强制型别转换为子类才可调用,如35行。
若不想使用dynamic_cast做型别转换,可以使用以下方法:
B *b = (B*)a;
b->func();
但是仍建议使用dynamic_cast进行向下转型,dynamic_cast是C++提供的安全向下转型,它会验证目标与来源是否属于同一系类型,然后才进行转换。