C++多态性、虚函数、抽象类
一、多态性
1.类型兼容规则
通过公有继承,派生类得到了基类中的成员,公有派生类实际就具备了基类的所有功能,凡是基类能解决的问题,公有派生类都可以解决。
·派生类对象可以赋值给基类对象
·派生类对象可以初始化基类引用
·派生类对象的地址可以赋值给基类的指针变量
class A{
};
class B:public A{
};
A a,*pa;
B b;
a=b;//派生类对象可以赋值给基类对象
A &a1=b;//派生类对象可以初始化基类引用
pa=&b;//派生类对象的地址可以赋值给基类的指针变量
转化后不可调用转化前的函数,如上a由b赋值,但不能调用b的函数。
2.多态性分类
·静态多态性:程序编译时系统决定调用哪个函数,又称为编译时的多态性,通过函数重载实现。
·动态多态性:程序运行时才动态确定调用哪个函数,又称为运行时的多态性,通过虚函数实现。
3.静态多态性示例
class A{
public:
int fun(int a);
int fun(int a,int b);
};
int main(){
A a;
a.fun(1);
a.fun(1,2);
}
4.虚函数
虚函数就是在基类中被关键字virtual说明、并在一个或多个派生类中被重新定义的成员函数。
实现动态多态性时,必须在基类中声明虚函数,然后在派生类中重新定义该函数,再使用基类指针变量或基类对象引用,使其指向同一族中的某一对象,最后通过指针或引用调用虚函数。
virtual <函数值类型><函数名>(<参数表>);
class A{
public:
virtual void show(){
cout<<"A";
}
};
class B:public A{
public:
void show(){
cout<<"B";
}
};
fun(A a){
a.show();
}
int main(){
A a,*p;
B b;
p=&b;
p->show();//调用B的虚函数
p=&a;
p->show();//调用A的虚函数
a.show();//调用A的虚函数
b.A::show();//调用A的虚函数
b.show();//调用B的虚函数
fun(a);//调用A的虚函数
fun(b);//调用B的虚函数
}
注:virtual只能在虚函数定义时使用,不能在实现中使用。
在派生类中定义虚函数时,其函数原型包括返回值类型、函数名、参数个数、参数类型、参数顺序都必须相同。
派生类继续派生,虚函数仍保留虚函数特性。
构造函数不能是虚函数。
析构函数可以是虚函数,如果一个类的析构函数是虚函数,那么它派生的子类的析构函数都是虚函数。
5.纯虚函数
纯虚函数由virtual声明,没有任何实现,必须由派生类重新定义该函数提供实现。
纯虚函数不需要定义实现方法,只是为了在派生类中被重新定义,提供一个多态的接口。
定义格式:
virtual <函数值类型><函数名>(<参数表>)=0;
二、抽象类
包含一个或多个纯虚函数的类称为抽象类;
如果其派生类没有实现所有的纯虚函数,派生类也是抽象类。
抽象类无法实例化,不能创建抽象类对象。
型><函数名>(<参数表>)=0;
## 二、抽象类
包含一个或多个纯虚函数的类称为抽象类;
如果其派生类没有实现所有的纯虚函数,派生类也是抽象类。
抽象类无法实例化,不能创建抽象类对象。