初步认识虚函数（一）

首先，虚函数是这么定义的，简单地说，那些被virtual关键字修饰的成员函数，就是虚函数。虚函数的作用，用专业术语来解释就是实现多态性（Polymorphism），多态性是将接口与实现进行分离；用形象的语言来解释就是实现以共同的方法，但因个体差异，而采用不同的策略。大家能看懂吗？

反正我是看不懂所以就是这种让人看不懂的定义，导致我现在还不理解什么是虚函数.....

最近面试频繁的被问到“你知道虚函数吗？”，“知道”，“那什么是虚函数？”，"emmm.....不知道“，”那你知道什么是纯虚函数吗？“，”知道，虚函数等于0“，”那虚函数与纯虚函数有什么区别？“，”emmm.....（想哭）不知道“

被虐了千百遍之后，终于拿到了offer，静下心来准备先把虚函数搞明白。（同事刚刚偷看我博客 emmm....）。

虚函数的作用就是实现多态性（Polymorphism），多态性是将接口与实现分离，简单点说就是用不同的策略实现共同的方法。下面代码解释一下。

我们先来定义两个相同的方法

#include "stdafx.h"
#include   <iostream>

using namespace std;
class A
{
public:
    void print(){ cout<<"This is A"<<endl;}
};
class B:public A
{
public:
    void print(){ cout<<"This is B"<<endl;}
};

然后我们分别调用这两个方法

int _tmain()
{
    A a;
    B b;
    a.print();
    b.print();
    system("pause");
    return 0;
}

通过class A和class B的print()这个接口，可以看出这两个class因个体的差异而采用了不同的策略，输出的结果也是我们预料中的，分别是This is A和This is B。但这是否真正做到了多态性呢？No，多态还有个关键之处就是一切用指向基类的指针或引用来操作对象。那现在就把main()处的代码改一改。

int _tmain()
{
    A a;
    B b;
    //a.print();
    //b.print();
    A *p1=&a;
    A *p2=&b;
    p1->print();
    p2->print();
    system("pause");
    return 0;
}

 

看一下结果，发现两个指针都指到了A那个方法，明明p2指向的是ClassB，但是却是调用class A的print(),这不是我们想看到的，如何解决这个问题。这个时候我们就需要使用虚函数virtual；

// 虚函数.cpp : 定义控制台应用程序的入口点。
//

#include "stdafx.h"
#include   <iostream>

using namespace std;
class A{
public:
     virtual void print(){ cout<<"This is A"<<endl;}
};
class B:public A{
public:
    void print(){ cout<<"This is B"<<endl;}
};

int _tmain()
{
    A a;
    B b;
    //a.print();
    //b.print();
    A *p1=&a;
    A *p2=&b;
    p1->print();
    p2->print();
    system("pause");
    return 0;
}

那么现在A的方法变成了虚函数，相应的B的方法也会变为虚函数吗？是的，B的方法也会跟着A的方法一起变为虚函数。所以Class B的printf()也变为了虚函数。所以说派生类前面是否加virtual效果是一样的，但是你要是在派生类加虚函数，基类不加虚函数，那么派生类的虚函数也不会起作用的。

简单总结一下 指向基类的指针在操作它的多态类的对象时，会根据不同的类的对象，调用其相应方法，这就是虚函数。

为多态基类声明virtual析构函数

为防止派生类在销毁时发生错误，即在delete派生类时只有基类部分被销毁，属于派生类的地方却还在，你应该将基类的析构函数声明为virtual。

同时，无端将所有类的析构函数声明为virtual是个错误的习惯，因为virtual会增加对象体积，造成不必要的资源浪费。一个心得是，在类内至少包含一个virtual函数时才为他声明virtual析构函数。

有时候你希望拥有一个抽象类，但是却没有纯虚函数，你可以为它声明一个纯虚析构函数，这样那个类就成为了抽象类。

绝不在构造和析构过程中调用virtual函数

当一个派生类调用构造函数时，若其调用了virtual函数，virtual函数调用的版本为其基类的版本，这不是我们希望看到的。这是因为在派生类对象的基类构造期间，对象的类型是基类而不是派生类。不只virtual函数会被编译器解析至基类，若使用运行期类型信息（dynamic_cast和typeid），也会把对象视为基类。

但是如果你想确保每次一个（继承体系上的）类的对象被创建，就会有适当版本的对象函数（多态函数）被调用，也就是在初始化的过程中调用。你可以将该函数声明为非virtual的，然后每次给他传递必要信息。即如下形式：

class Transaction  
{  
public：  
    explicit Transaction（constant string& logInfo）  
    {  
        logTransaction(logInfo);//调用logTransaction  
    }  
    void logTransaction(logInfo) const;//声明为非virtual  
};  
  
class BuyTransaction:public Transaction  
{  
public:  
    BuyTransaction(parameters):Transaction(parameters){}//每个BuyTransaction都有专属自己的logTransaction信息  
};