多态_虚函数_重写

面向对象中期望的行为

• 根据实际对象类型判断如何调用重写函数
• 父类指针（引用）指向
  • 父类对象调用父类中定义的函数
  • 子类对象调用子类中定义的函数

多态的概念

• 根据实际对象类型决定调用函数的具体目标
• 同样的语句在实际运行时有多种不同的表现形态
  

C++ 关键字virtual

• virtual 实现多态
• 被virtual声明函数被重写后具有多态特性
• 被virtual声明函数叫虚函数

#include <iostream>
#include <string>

using namespace std;

class Parent
{
public:
	virtual void print()
	{
		cout << " i am Parent" << endl;
	}
};

class Child : public Parent
{
public:
	void print() //由于继承关系，他已经是虚函数
	{
		cout << "i am Child" << endl;
	}
};

void how_to_print(Parent *p)
{
	p->print();   //期待多态行为
}


int main()
{
	Parent p;
    Child c;

	how_to_print(&p);
	how_to_print(&c);//&c退化成父类
    return 0;
}

i am Parent
i am Child

多态意义

• 程序运行过程中展现出动态特性
• 函数重写必须多态实现，否则无意义
• 多态是面向对象组件化程序设计的基础特性

理论概念

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

#include <iostream>
#include <string>

using namespace std;

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

class Child : public Parent
{
public:
    void func(int i, int j)
    {
        cout << "Child:void func(int i, int j) : " << i + j << endl;
    }
    
    void func(int i, int j, int k)
    {
        cout << "Child: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;
}

Parent:void func()
Parent:void func(int i) : 1
Parent:void func(int i, int j) : (1, 2)

Child:void func(int i, int j) : 3

Parent:void func(int i, int j) : (1, 2)
Child:void func(int i, int j) : 3

示例

#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()//函数重写，必要virtual
    {
        int ret = 8;
        
        cout << "Master::eightSwordKill() : " << ret << endl;
        
        return ret;
    }
};

class NewMaster : public Master
{
public:
	int eightSwordKill()//函数重写
	{
		int ret = Master::eightSwordKill() * 2;
		
		couot << "Master::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实现多态的唯一关键字
• 被重写的虚函数表现多态的特性