C++利用virtual函数实现动态编链

      问题的提出：如果我们开发一个企业员工的工资发放系统，假设我们需要处理两类员工：普通员工/优秀员工。这两类员工的年终奖金发放规则不同。

• 普通员工 -- 年终奖金为双倍月薪
• 优秀员工 -- 年终奖金为四倍月薪

      由于优秀员工是普通员工的一个特例，所以我们进行如下设计：

 

 

      普通员工类代码如下：

 

//普通员工类
class CEmployee
{
     public :
         /* 构造函数 */
        CEmployee( int _iPay = 0);
         /* 应得年终奖金 */
         int YearendBonus( void );
     protected :
         /* 基本工资 */
         int iPay;
};

//构造函数
CEmployee::CEmployee( int _iPay)
{
   iPay = _iPay;
}

//应得年终奖金int CEmployee::YearendBonus(void)
{
     //双倍月薪
     return iPay * 2;
}

 

      优秀员工类代码如下：

 

//优秀员工类
class CExcellence: public CEmployee
{
     public :
         /* 构造函数 */
        CExcellence( int _iPay);
         /* 应得年终奖金 */
         int YearendBonus( void );
};

//构造方法
CExcellence::CExcellence( int _iPay)
{
    iPay = _iPay;
}

//应得年终奖金
int CExcellence::YearendBonus( void )
{
     //四倍月薪
     return iPay * 4;
}

 

      构造完员工类之后我们还需要写一个函数，用来根据不同的员工类型取得某员工的应得年终奖金：

 

//取得员工应得的年终奖
int BetYearendBonusByEmp(CEmployee *pCEmployee)
{
     return pCEmployee->YearendBonus();
}

 

      接下来使用main函数来实现实际业务，我们来取得月薪同样为3000￥的普通员工和优秀员工的年终奖金：

 

int main( void )
{
     //新建月薪为3000￥的普通员工指针
    CEmployee *pCEmp = new CEmployee(3000);
    cout << "月薪3000的普通员工应得年终奖金：" << BetYearendBonusByEmp(pCEmp) << endl;

     //新建月薪为3000￥的优秀员工指针
    CExcellence *pCExc = new CExcellence(3000);
    cout << "月薪3000的优秀员工应得年终奖金：" << BetYearendBonusByEmp(pCExc) << endl;

     //施放普通员工指针
     delete (pCEmp);
     //施放普通员工指针
     delete (pCExc);
    
     return 0;
}

 

运行结果如下：

 

 

      可见，程序的运行结果并不是我们想要的。这是什么原因呢？原来，系统在编译过程中，认为BetYearendBonusByEmp(CEmployee *pCEmployee)的参数类型为CEmployee的指针，那么程序在编译的过程中认为此函数的参数类型固定为CEmployee*。它的参数类型并不会因为实际传入的参数类型而发生变化。

      我们在执行BetYearendBonusByEmp(pCEmp)时，系统认为传入参数为类型CEmployee*，当执行BetYearendBonusByEmp(pCExc)时，实际传入参数类型为CExcellence*但系统仍然认为参数类型为CEmployee*。于是出现了上述错误的运行结果。即C++中的静态编链方式。

      那么如何才能让C++的编译器采用动态编链的方式来编译我们的程序呢？其实解决办法很简单，我们只需要将员工类中的YearendBonus()方法使用virtual修饰符进行修饰就可以了。如下：

 

//普通员工类
class CEmployee
{
     public :
         /* 构造函数 */
        CEmployee( int _iPay = 0);
         /* 应得年终奖金 */
         //此处采用virtual标识的虚函数来实现编译器的动态编链
         virtual int YearendBonus( void );
     protected :
         /* 基本工资 */
         int iPay;
};

 

      采用virtual修饰符将YearendBonus()函数定义为一个虚函数，那么系统将会采用动态编链方式对程序进行编译，运行结果如下：

 

 

      运行结果正确。