语法上:
1.虚函数和纯虚函数都只能在类中通过关键字“virtual”声明,纯虚函数形参列表后接“=0”;
2.可以在一个类中同时声明虚函数和纯虚函数;
3.含有纯虚函数的类(抽象类)不能创建实例对象;
4.仅含有虚函数的类可以创建实例对象;
4.抽象类也可以实现自己的虚函数以及纯虚函数(相当于准备一份缺省的实现);
5.派生类必须覆写基类的纯虚函数,否则无法通过编译;
6.派生类可以不覆写基类的虚函数,此时默认调用到基类的缺省实现;
7.覆写了虚函数的派生类可以显示调用基类的缺省实现,否则默认调用覆写的实现;
#include <iostream>
class A{
public:
//虚函数:使用关键字“virtual”声明;
virtual void Func1();
//纯虚函数:使用关键字“virtual”声明,并且在形参列表后接“=0”(语法形式,无特殊含义)
virtual void Func2()=0;
};
class B{
public:
//虚函数:使用关键字“virtual”声明;
virtual void Func3();
};
void B::Func3(){
std::cout << "B::Func3()"<< std::endl;
}
//虽然无法创建A的实例对象去调用此Func1的实现,但可以通过A的派生类的实例去显示调用此Func1的实现;
void A::Func1 (){
std::cout << "A::Func1()"<< std::endl;
}
//
void A::Func2 (){
std::cout << "A::Func2()"<< std::endl;
}
class C: public A{
//C类继承了A类,并复写了A的虚函数以及纯虚函数;
//使用关键字“override”明确表明C类要复写这两个虚接口的实现;
public:
void Func1() ;
void Func2() ;
};
void C::Func1() {
std::cout <<"C::Func1()"<< std::endl;
}
void C::Func2(){
std::cout <<"C::Func2()"<< std::endl;
}
int main(){
//A a; //编译失败,含有纯虚函数的类称为抽象类,抽象类不能创建实例对象
B b; //编译通过,仅含有虚函数的类可以创建实例对象
C c; //编译通过,抽象类的派生类可以创建实例对象
c.Func1(); //输出“C::Func1()”
c.Func2(); //输出“C::Func2()”
c.A::Func1(); //输出“A::Func2()”
c.A::Func2(); //输出“A::Func2()”
}
应用上:
1.虚函数主要是为了实现运行时的多态,案例情形:A类为抽象类,虽然不能创建实例,但可以创建A类的指针,并且A类的指针可以指向其派生类的实例对象,此时再通过这个指针去调用虚函数,则会调用到对应派生类的覆写实现。
2.纯虚函数除了要实现运行时的多态,还为了“代码层“的多态,还强调了“接口继承”的特性,纯虚函数更多是为了预留一个接口,以便未来开发时派生类根据不同的需求实现该接口。
#include <iostream>
class A{
public:
virtual void Func1(){} = 0;
};
void A::Func1(){
std::cout << "A::Func1()"<<std::endl;
}
class B: public A{
void Func1();
};
void B::Func1(){
std::cout<< "B::Func1()" <<std::endl;
}
class C::public A{
void Func1();
};
void C::Func1(){
std::cout<< "C::Func1()" <<std::endl;
}
int main(){
A* a_ptr;
B b;
C c;
//将基类A的指针指向派生类B的对象
a_prt=&b;
//此时调用的Func1是B的覆写实现
a_prt->Func1(); //输出B::Func1()
//将基类A的指针指向派生类C的对象
a_prt=&c;
//此时调用的Func1是C的覆写实现
a_prt->Func1(); //输出C::Func1()
}