C++中多态的概念和意义

1、函数重写回顾：

• 父类中被重写的函数依然会继承给子类；
• 子类中重写的函数将覆盖父类中的函数；
  重写父类当中提供的函数是因为父类当中提供的这个函数版本不能满足我们的需求，因此我们要重写；
  期望只要是子类对象，则调用子类当中的版本，而不是父类当中定义的函数版本；
• 通过作用域分辨符（::）可以访问到父类中的函数；

代码示例：

    Child c;
    Parent* p = &c;
    
    c.Parent::print();  // 从父类中继承；I'm Parent.
    c.print();  // 在子类中重写；I'm Child.
    
    p->print();  // 父类中定义；I'm Parent.不是我们期望的版本，因为 p 指向了子类对象，期望调用子类版本

2、面相对象中期望的行为：

• 根据实际的对象类型判断如何调用重写函数；
  而不是根据指针类型（编译器默认的安全行为）；
• 父类指针（引用）指向：
  父类对象，则调用父类中定义的函数；
  子类对象，则调用子类中定义的重写函数；

3、面向对象中的多态的概念：

• 根据实际的对象类型决定函数调用的具体目标；
  相同的行为方式可能导致不同的行为结果，即产生了多种形态行为，即多态；
• 同样的调用语句在实际运行时有多种不同的表现形态；
  同一行语句展现了多种不同的表现形态，多态本质；

4、C++ 语言直接支持多态的概念：

• 通过使用 virtual 关键字对多态进行支持；
  什么时候用 virtual ?
  定义类的时候，觉得某一个函数在后续被继承的过程当中，有可能被重写，就是用 virtual 关键字修饰这个函数；
• 被 virtual 声明的函数被重写后具有多态特性；
  函数名和参数都必须一样，若函数名相同但参数不同，这是同名覆盖；
• 被 virtual 声明的函数叫做虚函数（因为 virtual 的意思就是虚拟的）；
  虚函数被继承后依然是虚函数，不用再被 virtual 修饰；

5、多态的初体验编程实验：

#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()  // 虽然没有写 virtual 关键字，但是由于继承的关系，它就是虚函数；一般工程中没必要在子类中写 virtual；
    {
        cout << "I'm Child." << endl;
    }
};
void how_to_print(Parent* p)
{
    p->print();     // 希望展现多态行为；
}
int main()
{
    Parent p;
    Child c;

    how_to_print(&p);    // 期望打印: I'm Parent.  实际打印：I'm Parent.
    how_to_print(&c);    // 期望打印: I'm Child.  实际打印：I'm Child.
    return 0;
}

6、多态意义：

• 在程序运行过程中展现出动态的特性；
  编译时无法决定究竟调用哪一个版本的实现；
• 函数重写必须多态实现，否则没有意义；
  C++ 后续语言（Java、C#）中，只要是重写，一定是虚函数，不需要显示声明 virtual 关键字；
• 多态是面向对象组件化程序设计的基础特性；
  后续学习中多态特性会被变着花样玩儿，特别是设计模式中绝大多数模式都和多态相关；

7、理论中的概念：

• 静态联编：
  在程序的编译期间就能确定具体的函数调用；
  如函数重载；
• 动态联编（多态）：
  在程序实际运行后才能确定具体的函数调用；
  如函数重写；

8、动态联编与静态联编实例分析：

#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();         // 静态联编
    p.func(1);        // 静态联编
    p.func(1, 2);     // 静态联编

    cout << endl;

    Child c;

    c.func(1, 2);     // 静态联编

    cout << endl;

    run(&p);
    run(&c);

    return 0;
}

9、多态编程实验：

#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;
}

10、小结：

• 重写只可能发生在父类与子类之间；
  根据实际对象的类型确定调用的具体函数；
  virtual 关键字是 C++ 中支持多态的唯一方式；
  被重写的虚函数课表现出多态的特性；
• 虚函数和多态的关系：
  多态是面向对象理论当中的一个概念，它和具体的程序设计语言是没有关系的，也就是说多态指的仅仅是相同的行为方式，不同的行为结果；
  这种多态的表现形式在 C++ 中由虚函数来实现；
  更多C++相关知识体系，请移步C++知识目录。