多态是有继承关系的类对象调用相同的函数,会有不同的结果。例如,普通人买高铁票不打折,学生打75折,儿童免费,这种情况就适合使用多态
虚函数
被virtual修饰的类成员函数
class A{
public:virtual void fun() {}
};
这里的virtual和类的虚继承没有任何关系,只是使用了相同的关键词
多态的条件
1.必须使用基类的指针或引用调用基类的虚函数
2.派生类中必须对被调用的基类中的虚函数进行重写
3.重写的条件:派生类中函数的返回值,函数名和参数列表与基类中的虚函数相同(三同)
(派生类中重写的函数可以不加virtual,因为该成员函数从父类中继承了virtual属性,但是建议加上更规范)
class Person {
public:virtual void buy_ticket(){cout << "full price ticket" << endl;}
};class Student :public Person {
public:virtual void buy_ticket(){cout << "half price ticket" << endl;}
};void test1()
{Person Tom;Student Mike;Person p1 = Mike;p1.buy_ticket();Person* pp = &Mike;pp->buy_ticket();Person& p = Mike;p.buy_ticket();//full price ticket//half price ticket//half price ticket
}
final
final修饰虚函数表示这个虚函数不能再被重写
class Person {
public:virtual void buy_ticket(){cout << "full price ticket" << endl;}
};class Student :public Person {
public:void buy_ticket() final{cout << "half price ticket" << endl;}
};
override
override修饰派生类虚函数,可以检查派生类虚函数是否重写了积累的虚函数,如果没有就会报错
class Person {
public:virtual void buy_ticket(){cout << "full price ticket" << endl;}
};class Student :public Person {
public:virtual void buy_ticket()override{cout << "half price ticket" << endl;}
};
重写的特例
协变(了解)
重写的的函数返回值不同,且基类的函数返回值是基类对象的指针或引用,派生类的函数返回值是派生类对象的指针或引用。
注意:只要基类和派生类的返回值是继承关系即可,所以函数返回值不一定只是函数所在类的对象的指针或引用
class A {};class B :public A {};class Person {
public:virtual const A& fun(){return A();}
};class Student :public Person {
public:virtual const B& fun(){return B();}
};
析构函数
析构函数需要重写吗?看下面这个例子
class Person {
public:~Person() { cout << "~Person()" << endl; }
};
class Student : public Person {
public:~Student() { cout << "~Student()" << endl; }
};void test2()
{Person* p = new Student;delete p;//~Person()
}
由于没有重写,释放空间p的时候,只调用了Person的析构函数。造成内存泄漏
那么析构函数怎么重写?函数名不一样这怎么办?
编译器对析构函数进行处理,析构函数名都是destructor,我们只要在析构函数前加virtual就可以
class Person {
public:virtual ~Person() { cout << "~Person()" << endl; }
};
class Student : public Person {
public:virtual ~Student() { cout << "~Student()" << endl; }
};void test3()
{Person* p = new Student;delete p;//~Student()//~Person()
}