C++学习-11

1. 虚函数表，调试下断点，指针的自动变量

含有虚函数的类，它的内部含有虚指针指向虚函数表，此时的空类占有4个字节，不管有多少个虚函数，只需要一个虚函数指针指向虚函数表就可以了

1. 构造函数不可以是虚函数，如果是虚函数，子类对象中的父类拷贝无法初始化

关于virtual的理解，继承肯定就是完完整整的把父类包含进去，父类的vitual函数直接被虚化掉，直接链接到子类的那个override函数上。如果子类没有重写，那么就还是依赖于父类的函数上(这个过程就是依赖于虚函数指针)

总结virtual：1.含有虚函数的类，本身就会隐式的含有一个函数指针，用于实现virtual的多态 2.只要是继承，子类就会完完整整的包含，由于函数是virtual，含有隐式指针，所以当函数在实现多态的时候，隐式指针就会帮助实现多态，当然子类要是没有重写，那就还是使用父类的函数

不管有多少层虚函数或者多少个，虚函数指针只需要一个足矣

1. 继承的本质就是子类中完完全全包含父类

使用多态的时候，析构函数必须为虚函数，构造函数一定不能为虚函数

在继承链中，构造函数执行的顺序是：父-子，如果是虚函数，那么就会直接跳转到子构造，父类数据就没有后办法进行初始化了

析构函数的执行顺序是：子->父，只有通过析构时虚函数，才能先指向子类的析构函数，然后再转到父类的析构函数，这样才能不造成内存泄漏

1. 需要注意的是，在你找到了所谓的函数地址之后

还要对应转换成对应的函数指针类型

总结：虚函数表可以在你的虚函数不管是不是私有的，我都完全可以访问到

1. 抽象类：无法创建实例对象，用于被继承(含有纯虚函数)

纯虚函数作为一个借口，一旦继承了，就必须实现纯虚函数的接口

         主要是用于提供接口                                                                          

1. 都是在虚函数的前提下：final 声明为final的虚函数不能重写，必须对应虚函数

• override声明一下，我重写了虚函数接口，为的是一个软件工程规范，会自动检测虚函数是否存在

1. 虚函数或者纯虚函数存储了虚函数表的地址

单纯的只是虚函数，不管在一个类中有多少个虚函数，还是在继承链中有多少个虚函数，都只需要一个指针指向虚函数表就可以了

虚基类的虚继承：为的就是节约内存，本质是完全包含子类，但是虚继承之后，相同的类就只包含一个，而是用指针去代替，

虚函数加4，管的是整个继承链上面的

虚继承加4只管一层

1. 继承权限class默认为private，struct默认为public.虚函数是可以调用成员函数或者变量

多态依赖于指针或者引用调用。对象调用，会调用拷贝构造，拷贝一个父类，无法实现多态

只要有虚函数，就必须把析构函数虚化virtual

虚函数是可以重载的(重载不被继承调用，继承调用就不重载)只要一个类的虚函数重载了，继承链就不会识别

虚函数已经被继承了，还是虚函数。多态可以跨类

1. 子类同名函数会覆盖父类，父类指针存储子类地址，有虚函数的情况下，调用子类方法，否者调用父类

Dynam_cast<>()只能识别多态数据类型，转换失败返回null，必须要有虚函数才可以实现转换

只能转换指针或者引用，不能转换对象，

可以自动把子类指针转换为父类指针

父类转到子类就用dynamic_cast<子类>(父类)-------前提是这个父类指针或者引用 多态绑定于子类对象

1. 代码重用：模板，继承，类的包含

模板可以体现在：数据类型，操作

类包类(把类当成员)

类的继承，选择性继承

1. 函数模板：就是一个通用的模板

模板函数：就是一个模板被实例化了的函数

无论有无默认参数，模板都不可以加virtual

继承无重载，重载无继承

函数模板和成员函数可以相互调用

重载就是为了解决模板的匹配问题

类模板必须实例化

12. Tfun<double>()模板类的匿名对象，构造函数

如果一个类的成员函数是模板，不能实现虚函数

如果你的类是模板类，

模板之间是支持多态和继承的，但是模板之间的类型要一致

template<class T>

class Tzi :public Tfu<T>要求的前提是模板的类型要一致

TT(1)类类模板之间可以封装继承多态(可以实现模板参数为函数参数的泛型，毕竟后面可以接泛型T为参数)

TP  T必须和P的类型要一样(模板必须得实例化，和P一样) (这个虽说可以用，但是最好是没有联系，毕竟联系了，泛型也就失去意义了，一实例化就失去泛型的特性了)                                                       

PT 必须明确类型，多态什么类型都可以(模板在底下，没限制)随你定义的子类类型再形成新的

PP(1)可以实现封装多态继承

总结：类模板的模板类型是根据你显式的定义的类型再去初始化内部的模板类型(这个是定义类型再去初始化数据类型)

恰恰相反的是：函数模板是根据数据类型自动推理模板类型，类中的函数模板不能virtual

对于一个类模板而言，模板的类型必须确定了这个类才算完整，才能进行调用

TP：想要实现继承，在继承的时候，你的T的模板类型必须是确定的，

1. 类中的函数模板是不能virtual的，类模板的成员函数是可以virtual

(原因在于，类在使用的时候必须初始化你的模板类型这个时候在继承的时候就已经进行了限制和统一，而函数模板完全是根据你给的数据进行推断，万一两个类型你给的不一样，那么显然啊会抛出异常，所以直接不行)这里谈的是TT和P(t) P(t)其中继承链中必须都是对应的模板走法

1. TT，TP,PT,PP这些走法归于一   点就在于(类模板在使用的时候必须是要把模板类型实例化才行的，不管是在创建对象的时候，还是在继承链这个关系下。)其实你这个所谓的模板真正在继承链中的作用并不大

当模板作为数据成员，继承的意义不大，在下一个子类中你就的声明你的类型才能使用，模板的泛型就失去了，

在使用带有模板的时候，你的注意后续的类能不能接你的参数即可