Lession 24 虚函数与动态多态

函数绑定：函数的入口地址同函数的调用相联系的过程，绑定就是要计算被调用函数的入口地址，并将该地址存放到函数调用的指令的地址码部分。

静态多态：函数的重载、运算符的重载； //编译时即知道函数调用的代码地址

 有指针情况下，const可以作为重载的依据

（重载：作用域相同； 隐藏：不相同）

动态多态

隐藏：子类与基类有同名成员时，指向子类对象的基类指针或是引用只能调用基类的成员；派生类默认访问派生类的同名成员；派生类要访问继承来的同名成员要加上“类名::”； 基类的指针无论指向基类或是子类对象也是只调用基类的同名成员；

多态：virtual (声明时出现，实现时不能再有，在派生类中可以省略(不推荐))

1. 基类指针指向基类对象时，调用基类的同名函数；

2. 基类指针指向派生类对象时，调用派生类同名函数；（动物类指向狗类，调用叫：汪！；指向猫，调用叫：喵!） 

基类与派生类的多态虚函数要一致！

只能类中的函数才能声明为虚函数；普通函数、全局函数不能加virtual！ （全局函数不能加const ;  // this 指针问题）

static函数不能声明为virtual;  

类联函数不能声明为virtual;    // 类内部的inline函数加virtual时会被作为非内联的   

(inline 是没有入口地址的，不能放入虚函数表)

构造函数限制声明为virtual;

析构函数常设为virtual；（析构函数释放的是本类中有指针的话，指向的内存）  如果基类的析构函数是virtual; 派生类的析构函数默认为virtual;      // 调用派生类的析构函数会自动调用基类的析构函数

函数的隐藏、覆盖、重载

隐藏规则：

子类中声明了与父类同名的函数（其它可以不同），子类默认调用的是子类的函数，要用类型::调用父类；

pd->Base::h();   // 如果h不是virtual函数，则该函数调用的函数将决定于pd是基类不是子类，基类则调用基类函数，子类则调用子类函数；    ？？子类应该还是调用基类吧？？

子类中有与基类中同名的函数则发生隐藏；

覆盖：（也称为重写） 函数原型完全相同   、// 虚函数表入口地址的变化 

vitual, 基类， 子类；

通过虚函数表实现的；  当一个类里有虚函数时，类里就会多出4个字节来存放虚函数表的首地址；

重载：同一作用域内；   名字相同，参数不同

//  多态是建立在赋值兼容原则的基础上, 

即子类对象赋给基类对象，子类指针或引用赋给基类指针或引用；

一般情况下，子类的对象、指针、引用赋给基类时，调用 的函数仍然是基类的函数；

而多态情况下是，基类指针打向子类时，调用的是子类的函数；