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

1.函数重写顾虑

-> 父类中被重写的函数依然会继承给子类。

-> 子类中重写的函数将覆盖父类中的函数。

-> 虽然被重写覆盖了，但通过作用域分辨符（::）可以访问到父类中的函数。

Child c;
Parent* p = &c;
 
c.Parent::print();        //从父类中继承
c.print();                //在子类中重写
 
p->print();               //父类中定义 （我们期望调用子类中的对象，因为p指针指向子类c）

2.多态的概念和意义

面向对象中期望的行为：

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

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

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

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

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

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

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

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

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

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

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

代码示例：多态的初体验

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

结果：

I'm Parent.
I'm Child.    

 分析：

virtual实现我们的期望，virtual声明的函数叫虚函数，子类与父类如果存在同名函数，父类的同名函数是虚函数，子类的同名函数也一样是虚函数，子类的同名函数会覆盖父类的同名函数，实现函数重写。

3.多态的意义

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

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

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

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

4.理论中的概念

静态联编：

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

-> 函数重载(编译器会确定使用哪种函数)。

动态联编：

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

-> 函数重写 ，需要编译后再用其他函数去调用。

代码示例：动态联编与静态联编

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

结果：

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       //动态联编，多态特性

小结：

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

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

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

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