一.多态前提:继承,vitual函数 and 基类指针的引用
1.当声明了基类的virtual 成员函数,那么即使该成员函数没有在派生类中被显式声明为虚函数,那它所有的派生类中也将自动成为虚函数。
2. C++公允许成员函数为虚函数
3.派生类中的虚函数也可从基类继承。
二.构造函数与析构函数
1.构造函数不能是虚函数,但是析构函数可以是虚成员函数!!
2.编译器在调用函数不是虚函数时,实施的是静态绑定。even ,析构函数也是如此..
如:类A,类Z;Z继承A;
当我们A*ptr=new Z();delete ptr;时,编译器静态地只调用 A的析构函数.!!!!!!
!!!!!!!!!!!!!!
3.试图使一个成员函数既成为静态函数又成为虚成员函数。
二.重载,覆盖和遮蔽
1.多态指在运行期进行绑定的函数。只有虚函数才具有真正意义上的多态。
2.重载与编译期绑定相对应,不管是成员函数或顶层函数。
3.如果成员函数不是虚函数,对m的任何调用均是编译期绑定。
class B{
public :
void m(){ /*****/}
};
class D:public B{
public :
void m(){ /*****/}
}
int main(){
B* p;
p=new D;
p->m(); //由于此时是编译期绑定:相当于 p->B::m();
}
4.虚函数和非虚函数都有可能产生名字遮蔽,实际上一旦派生类的虚函数不能覆盖基类的虚函数,就会产生虚函数遮蔽。
class B{
virtual void m(int x){}
};
class D: public B{
virtual void m(){}
};
int main(){
D d1;
d1.m();
d1.m(26); //error!!!!
return 0;
}
5.为了发挥多态的作用,虚函数必须具有相同的函数签名.!!!!!!在类层次中共享函数名但是函数签名不同时,将产生遮蔽。
三.抽象基类和纯虚成员函数
1. virtual void open()=0;
2.抽象基类可以有数据成员。
四.运行期类别识别
1.dynamic_cast :对于派生类指针指向基类对象.......仅对于多态型,即至少有一个虚函数的类。
2.dynamic_cast 只对于向上转型..
五.typeid
头文件必须包含typeinfo头文件......
Book *bookPtr=new Textbook("test",1);
typeid(bookPtr)==typeid(Book*) true
typeid(bookPtr)==typeid(Textbook*) false
typeid(*bookPtr)==bypeid(Book) false
typeid(*bookPtr)==typeid(Textbook) true