49-多态的概念和意义

注：博客中内容主要来自《狄泰软件学院》，博客仅当私人笔记使用。

测试环境：Ubuntu 10.10

GCC版本：9.2.0

 

一、函数重写顾虑

1）父类中被重写的函数依然会继承给子类

2）子类中重写的函数将覆盖父类中的函数 (父类函数不能满足子类需求)

3）通过作用域分辨符（::）可以访问到父类中的函数

Child c;
Parent* p = &c;

c.Parent::print();        //从父类中继承
c.print();                //在子类中重写

p->print();               //父类中定义 （我们期望调用子类中的对象，因为p指针指向子类c）

 

二、多态的概念和意义

1）面向对象中期望的行为

        -    根据实际的对象类型判断如何调用重写函数

        -    父类指针（引用）指向

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

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

        根据指针指向的对象类型，确认调用函数。

 

2）面向对象中的多态的概念

        -    根据实际的对象类型决定函数调用的具体目标（期望不存在退化行为）

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

 

3）C++语言直接支持多态的概念

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

        -    被virtual声明的函数被重写后具有多态特性 （解决退化问题）

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

编程实验
多态的初体验
49-1.cpp
#include <iostream>
#include <string>

using namespace std;

class Parent
{
public:
    virtual void print() //使用virtual，变成虚函数（这个函数可能在子类被重写）
    {
        cout << "I'm Parent." << endl;
    }
};

class Child : public Parent
{
public:
    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;
}

操作：

1) g++ 49-1.cpp -o 49-1.out编译正确，打印结果：

I'm Parent.
I'm Child.    

分析：

        virtual实现我们的期望！函数重写时，不存在子类退化现象。

 

4）多态的意义

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

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

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

面向对象三个特性：封装、继承、多态。

 

5）理论中的概念

        -    静态联编

            * 在程序的编译期间就能确定具体的函数调用

                    如：函数重载(编译器会确定使用哪种函数)

        -    动态联编

            * 在程序实际运行后才能确定具体的函数调用

                    如：函数重写 （本质多态）（子类退化造成，对象类型不确定，导致运行后才能确定）

注：C++多态，依赖动态联编。动态联编不一定是多态。

实例分析
动态联编与静态联编
49-2.cpp
#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;
    }
    
    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();         // 静态联编    void func()
    p.func(1);        // 静态联编    void func(int i) : 1
    p.func(1, 2);     // 静态联编    void func(int i, int j) : (1, 2)
    
    cout << endl;
    
    Child c;
    
    c.func(1, 2);     // 静态联编    void func(int i, int j) : 3
    
    cout << endl;
    
    run(&p);    // void func(int i, int j) : (1, 2) 
    run(&c);    // void func(int i, int j) : 3
    
    return 0;
}

操作：

1) g++ 49-2.cpp -o 49-2.out编译正确，打印结果：

void func()
void func(int i) : 1
void func(int i, int j) : (1, 2)
 
void func(int i, int j) : 3
 
void func(int i, int j) : (1, 2)  //动态联编，多态特性
void func(int i, int j) : 3       //动态联编，多态特性

 

编程实验
江湖恩怨——多态练习
49-3.cpp
#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;    //作用域分辨符访问eightSwordKill
        
        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 << endl;
    
    cout << "NewMaster vs Boss" << endl;
    
    NewMaster newMaster;
    
    field_pk(&newMaster, &boss);
    
    return 0;
}

操作：

1) g++ 49-3.cpp -o 49-3.out编译正确，打印结果：

Master vs Boss
Master::eightSwordKill() : 8
Boss::fight() : 10
Master is Killed...
 
NewMaster vs Boss
Master::eightSwordKill() : 8
NewMaster::eightSwordKill() : 16
Boss::fight() : 10
Boss is killed...

 

小结

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

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

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

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