C++基础(五)虚函数、重载、覆盖、隐藏 虚函数总是跟多态联系在一起，引入虚函数可以使用基类指针对继承类对象进行操作！虚函数：继承接口(函数名，参数，返回值)，但是实现不继承(函数体)

非虚函数：继承接口，也继承实现；

1)虚析构函数(当一个类打算作为基类使用时候，其析构函数必须是虚函数)

构造函数可以为虚函数吗？ 不可以，在生成对象的时候，必须向编译器明确指定要生成什么类型的对象，因而不存在虚函数的问题；只有当对象已经存在，我用什么接口去操作它的问题；

例子：

class A{public:A();virtual~A();};class B: public A{public: B();~B();};int main(){A *pA=new B; //调用B的构造函数delete pA; return 0; }

这里通过指针A去调用B类的析构函数，但是如果 ~A()不是虚析构函数，就不存在多态，就会去调用A中的析构函数，最后结果可能是B对象中的A成分被析构了，其他 还残留；所以当一个类作为基类时候，其析构函数必须是虚函数，这样防止出现析构不完全的情况；

2)当虚函数出现在构造、析构函数中时(即在构造函数中调用虚函数)，函数退化为普通函数。为什么？ <>中条款

例子：(转自<>中条例9)

class Transaction

{public:Transaction();virtual void LogTransaction() const = 0;// ...};Transaction::Transaction(){// ...LogTransaction();}class BuyTransaction : public Transaction

{public:virtual void LogTransaction() const;// ...};

这里调用BuyTransaction的构造函数，因为BuyTransaction是继承类所以先调用基类的构造函数，此时派生类独有的那部分还未初始化，<>中这么解释：“这个对象内的BuyTransaction成分还未初始化，最安全的办法是当他不存在，对象在derived成分还未初 始化时该对象不会成为一个derived对象”所以Transaction 的构造函数会调用基类的 LogTransaction() const；而且此处是个纯虚函数,会报错

3)虚函数与覆盖，重载，隐藏

重载首先出现在非继承关系当中，当同一个类中，两个函数的参数不同，名字相同，返回值类型无所谓(函数返回值不作为重载的参考，因为函数调用时候不出现返回值)；

注意两个函数可以仅仅因为const与非const的差别来实现重载；

虚函数与覆盖均出现在一个继承体系中，覆盖针对的是普通函数，当父类子类中出现同名(相同返回值，相同参数，相同函数名)要求绝对一致；

虚函数在父类子类中，首先在父类中声明该函数为virtual，那么子类可以重新定义该函数的实现，这里主要涉及多态，就是覆盖的情况加上virtual，通过指针或者引用实现多态；

隐藏显得简单粗暴，在继承类中只要出现于父类同名(只要求同样的函数名/变量名，其他返回值，virtual 非virtual不管)的函数，则用对象调用同名函数时候，基类对应的同名函数、变量隐藏，如果要访问其父类的同名成员应该明确使用 基类名：：成员来访问；

例子：

class A{public:virtual ~A(){};void process(int i,char c); //重载，编译期间即可确定该调用哪个函数char process(double d,int c); //只要函数名相同，返回无所谓，参数不同void process(int i); void process(int i)const; // 此处相当于void process(const A *this,int i);void process(consttint i); //这里仅仅因为const属性不同即可实现重载virtual int foo(int, char){...}; int foo2(){};void foo3(int,int ){};}class B: public A{public:int foo(int ,char){...}; //虚函数,这里函数接口要严格一致(大部分编译器要求返回值也要一致)int process(){...}; //隐藏基类函数 int foo2(){}; // 这里不含虚属性，会覆盖int foo3(){return 0;}; //会隐藏A类的foo3}int main(){B b;A *pA=&b;pA->foo2(); //这里调用A类的foo2();不涉及多态；pA->foo(3,'c'); //B类foo() 涉及多态}

总结：

1)覆盖与虚函数是一对兄弟，要求函数的返回值，函数名，参数严格一致，虚函数是覆盖加上virtual的情况；

2) 隐藏是覆盖的推广，覆盖是隐藏的特例，只要求函数名一样，其他不管，在继承体系中，子类的同名函数会将父类的同名函数隐藏；

3)当使用指针时候，指向基类的指针会根据实际对象的类型，选择相应的虚函数执行，如果派生类没有重新定义基类的虚函数，那么依然执行基类的虚函数；

4)当不存在虚函数的情况下，使用基类的指针，不会下降到派生类中去搜索函数；所以virtual属性相当于告诉基类指针：当执行我时，请到相应对象中搜索对应的虚函数；

5)纯虚函数所在的类是抽象类，不能实例化，定义了纯虚函数意味着这个函数只能为父类，其负责定义接口而不负责实现；

6)当使用对象来调用相应的函数时候，主要考虑的是对基类同名函数的隐藏(包括覆盖)，而不需要考虑多态；

7)注意构造析构函数中不能调用虚函数，当执行派生类的构造函数时候，先构造的是其基类成分，再执行派生类成分的构造，虚函数此时无意义；

8)c++是个细节非常多，非常复杂的语言。

更多内容，欢迎关注我的公众号:无情剑客