在C++中,只有类中的成员函数能被声明为虚函数,顶层函数则不能被声明为虚函数;并且如果在类内声明类外定义,则只在类内声明时加virtual
声明虚函数是为了构成多态,多态需要继承关系,需要在类中声明;
虚函数能被继承:基类被声明为虚函数,那么派生类即便未添加virtual关键字声明,派生类也会自动被定义为虚函数。(虚函数可以被继承)
C++通过虚成员函数表vtable实现多态,虚函数表中存储的是类中虚函数的入口地址
普通类中是没有虚函数表的,只有在具有虚函数的类中(无论是自身添加的虚函数还是继承过来的虚函数)才会具有虚函数表。
构造函数不能被声明为虚函数,因为执行构造函数前对象尚未完成创建
析构函数可以被声明为虚函数
通常来说,如果派生类中存在一个指向动态分配内存的成员变量,并且派生类的析构函数中定义了释放该动态分配内存的代码,则应该将基类的析构函数声明为虚函数。
只有非静态成员函数才可以成为虚函数,而静态成员函数不能声明为虚函数。
函数名相同无非就几种情况:多态、重载和遮蔽
多态必须是虚函数,重载和遮蔽也介绍一下
1、重载:
函数重载是编译期绑定,它并不是多态
同名函数不同参数不同用处
2、覆盖:
函数覆盖属于运行期绑定,但是要注意:如果函数不是虚函数,则无论采用什么方法调用函数均为编译期绑定。
覆盖构成条件和多态构成条件是相同的
覆盖是一种函数间的表现关系,而多态描述的是函数的一种性质,二者所描述的其实是同一种语法现象。
具备三个条件后,派生类中的虚成员函数会覆盖基类中相同签名的虚成员函数,通过基类指针或引用来调用虚成员函数,则会形成多态。
3、遮蔽:
函数遮蔽同样要求构成继承关系,构成继承关系的两个类中具有相同函数名的函数,如果这两个函数不够成覆盖关系,则就构成了遮蔽关系。
遮蔽理解起来很简单,只要派生类与基类中具有相同函数名(注意不是相同函数签名,只需要相同函数名就可以了)并且不构成覆盖关系即为遮蔽。
遮蔽可以分为两种情况,一种是非虚函数之间,另一种则是虚函数之间。
纯虚成员函数的声明语法如下:
virtual 函数返回类型 函数名 (函数参数) = 0;
纯虚成员函数没有函数体,只有函数声明,在纯虚函数声明结尾加上“=0”表明此函数为纯虚成员函数。包含纯虚成员函数的类即为抽象基类,之所以说它抽象,那是因为它无法实例化,也即无法用于创建对象。纯虚成员函数可以被派生类继承,如果派生类不重新定义抽象基类中的所有(有多个则要重新定义多个)纯虚成员函数,则派生类同样会成为抽象基类,也不能用于创建对象。
dynamic_cast操作符
typeid操作符