目录
概念
多态的概念:通俗来说,就是多种形态,具体点就是去完成某个行为,当不同的对象去完成时会
产生出不同的状态。
构成多态的条件
1. 必须通过基类的指针或者引用调用虚函数
2. 被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写
比如:买票
运行结果:
虚函数
虚函数即被virtual修饰的类成员函数。
class Person {
public:
virtual void BuyTicket() { cout << "买票-全价" << endl;}
};
虚函数的重写
虚函数的重写(覆盖):派生类中有一个跟基类完全相同的虚函数(即派生类虚函数与基类虚函数的返回值类型、函数名字、参数列表完全相同),称子类的虚函数重写了基类的虚函数。
两个例外:
1、协变(基类与派生类虚函数返回值类型不同)
派生类重写基类虚函数时,与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指
针或者引用,派生类虚函数返回派生类对象的指针或者引用时,称为协变。
2、析构函数的重写(基类与派生类析构函数的名字不同)
如果基类的析构函数为虚函数,此时派生类析构函数只要定义,无论是否加virtual关键字,
都与基类的析构函数构成重写,虽然基类与派生类析构函数名字不同。虽然函数名不相同,
看起来违背了重写的规则,其实不然,这里可以理解为编译器对析构函数的名称做了特殊处
理,编译后析构函数的名称统一处理成destructor。
注意:
这就是原因:在上一篇文章的c++继承中,我们所提到的析构函数的继承的问题:
运行结果:
c++11的override和final
override: 检查派生类虚函数是否重写了基类某个虚函数,如果没有重写编译报错.
(如果派生类在虚函数声明时使用了override描述符,那么该函数必须重载其基类中的同名函数,否则代码将无法通过编译。)
final:修饰虚函数,表示该虚函数不能再被重写.
如果想要一个类不被继承,有两种方法:
1、class A final{};
2、构造器私有:
class A{
private:
A()
{}
};
重载、覆盖(重写)、隐藏(重定义)的对比
抽象类
含有纯虚函数的类为抽象类(也叫接口类),抽象类不能实例化出对象;派生类继承后也不能实例化出对象,只有重写纯虚函数,派生类才能实例化出对象。
什么是纯虚函数?
在虚函数的后面=0,这个函数就是纯虚函数。
class Car {
public:
virtual void driver() = 0;
};
class Benz :public Car {
public:
};
class BMW :public Car{
public:
virtual void driver() {
cout << "BMW-控制" << endl;
}
};
int main() {
//Benz B;//实例化不出对象
BMW b;
}
练习题
下面代码运行结果是什么?
class A
{
public:
virtual void func(int val = 1) { std::cout << "A->" << val << std::endl; }
virtual void test() { func(); }
};
class B : public A
{
public:
void func(int val = 0) { std::cout << "B->" << val << std::endl; }
};
int main(int argc, char* argv[])
{
B* p = new B;
p->test();
return 0;
}
分析:
由于:B*p=new B; ---->p是B类的对象; 类B继承类A,调用p->test(),即类A中的test()成员函数;
(这里的继承A,是可以调用类A的成员函数,并不是说直接变成了B的成员函数)
所以这里的this其实是A*,并不是B*;
由于:B中重写了虚函数func(),且根据A*来调用虚函数;--->构成了多态:所以调用的是B中的func();
注意:重写:重写虚函数的实现(父类的接口+派生类的实现);
所以这个题目应该选择B;