C++深度解析 多态的概念和意义 --- virtual，虚函数，静态联编，动态联编（48）

C++深度解析 多态的概念和意义 --- virtual，虚函数，静态联编，动态联编（48）

 

 

 

父类指针（引用）指向

父类对象则调用父类中定义的函数

子类对象则调用子类中定义的重写函数

p->print();

//p指向父类对象
void print()
{
    cout << "I'm Parent." << endl;
}

//p指向子类对象
void print()
{
    cout << "I'm Child." << endl;
}

根据实际的对象类型决定函数调用的具体目标。

同样的调用语句在实际运行时有多种不同的表现形态。

 

 

 

多态 virtual

通过使用virtual关键字对多态进行支持

被virtual声明的函数被重写后具有多态特性

被virtual声明的函数叫做虚函数

示例程序：

#include <iostream>
#include <string>
 
using namespace std;
 
class Parent
{
public:
    //print()函数可能被继承，被重写，多态的行为，虚函数
    virtual void print()
    {
        cout << "I'm Parent." << endl;
    }
};
 
class Child : public Parent
{
public:
    //重写print()函数，由于继承的关系，是虚函数
    void print()
    {
        cout << "I'm Child." << endl;
    }
};
 
void how_to_print(Parent* p)
{
    p->print(); //展现多态的行为
}
 
int main()
{
    Parent p;
    Child c;
    
    how_to_print(&p);   // Expected to print:I'm Parent
    how_to_print(&c);   // Expected to print:I'm Child
    
    return 0;
}

结果如下：

 分析：根据指针p所指向的实际对象类型，来判断调用哪一个重写函数。如果p指针指向的是Parent对象，调用Parent的print()。如果p指针指向的是Child对象，调用Child的print()，

 

 

 

多态的意义：

在程序运行过程中展现出动态的特性

函数重写必须多态实现，否则没有意义

多态是面向对象组件化程序设计的基础特性

 

 

 

静态联编：

在程序的编译期间就能确定具体的函数调用，如：函数重载

动态联编：

在程序实际运行后才能确定具体的函数调用，如：函数重写

示例程序：

#include <iostream>
#include <string>

using namespace std;

class Parent
{
public:
    //虚函数
    virtual void func()
    {
        cout << "void func()" << endl;
    }
    //虚函数
    virtual void func(int i)
    {
        cout << "void func(int i) : " << i << endl;
    }
    //虚函数
    virtual void func(int i, int j)
    {
        cout << "void func(int i, int j) : " << "(" << i << ", " << j << ")" << endl; 
    }
};

class Child : public Parent
{
public:
    //重写父类的函数，虚函数
    void func(int i, int j)
    {
        cout << "void func(int i, int j):" << i + j << endl;    
    }
    //在Child类里面的两个func()函数，是函数重载
    void func(int i, int j, int k)
    {
        cout << "void func(int i, int j, int k):" << i + j + k << endl;
    }
};

//全局函数
void run(Parent* p)
{
    //同一行语句展现出不同的调用结果
    p->func(1, 2);  //展现多台的特性  //动态联编
}

int main()
{
    Parent p;
    
    p.func();       //静态联编
    p.func(1);      //静态联编
    p.func(1, 2);   //静态联编
    
    cout << endl;
    
    Child c;
    
    c.func(1, 2);   //静态联编
    
    cout << endl;
    
    run(&p);        //动态联编
    run(&c);        //动态联编
    
    return 0;
}

结果如下：

 

 

 

江湖恩怨

#include <iostream>
#include <string>

using namespace std;

class Boss
{
public:
    int fight()
    {
        int ret = 10;
        
        cout << "Boss::fight() : " << ret << endl;
        
        return ret;
    }
};

class Master
{
public:
    virtual int eightSwordKill()
    {
        int ret = 8;
        
        cout << "Master::eightSwordKill() : " << ret << endl;
        
        return ret;
    }
};

class NewMaster : public Master
{
public:
    int eightSwordKill()
    {
        int ret = Master::eightSwordKill() * 2;
        
        cout << "NewMaster::eightSwordKill() : " << ret << endl;
        
        return ret;
    }
};

void field_pk(Master* master, Boss* boss)
{
    int k = master->eightSwordKill();
    int b = boss->fight();
    
    if (k < b)
    {
        cout << "Master is killed..." << endl;
    }
    else
    {
        cout << "Boss is killed..." << endl;
    }
}

int main()
{
    Master master;
    Boss boss;
    
    cout << "Master vs Boss" << endl;
    
    field_pk(&master, &boss);
    
    cout << "NewMaster vs Boss" << endl;
    
    NewMaster newMaster;
    
    field_pk(&newMaster, &boss);
    
    return 0;
}

结果如下：

 

 

 

小结

函数重写只可能发生在父类与子类之间

根据实际对象的类型确定调用的具体函数

virtual关键字是C++中支持多态的唯一方式

被重写的虚函数可表现出多态的特性