【c++基础】多态/虚函数：父类为形参，子类为实参时的传参情况

转载自：https://blog.csdn.net/weixin_45590473/article/details/108328192
https://blog.csdn.net/anarkitek/article/details/90590031
补充阅读：https://zhuanlan.zhihu.com/p/37331092

一、定义介绍

1. 多态

多态（polymorphism）是面向对象编程语言的一大特点，而虚函数是实现多态的机制。

其核心理念就是通过基类访问派生类定义的函数。

多态性使得程序调用的函数是在运行时动态确定的，而不是在编译时静态确定的。

使用一个基类类型的指针或者引用，来指向子类对象，进而调用由子类复写的个性化的虚函数，这是C++实现多态性的一个最经典的场景。

2. 虚函数/纯虚函数

• 虚函数，在类成员方法的声明（不是定义）语句前加“virtual”, 如 virtual void func()
• 纯虚函数，在虚函数后加“=0”，如 virtual void func()=0
• 对于虚函数，子类可以（也可以不）重新定义基类的虚函数，该行为称之为复写Override。
• 对于纯虚函数，子类必须提供纯虚函数的个性化实现。

在派生子类中对虚函数和纯虚函数的个性化实现，都体现了“多态”特性。但区别是：

• 子类如果不提供虚函数的实现，将会自动调用基类的缺省虚函数实现，作为备选方案；
• 子类如果不提供纯虚函数的实现，编译将会失败。尽管在基类中可以给出纯虚函数的实现，但无法通过指向子类对象的基类类型指针来调用该纯虚函数，也即不能作为子类相应纯虚函数的备选方案。（纯虚函数在基类中的实现跟多态性无关，它只是提供了一种语法上的便利，在变化多端的应用场景中留有后路。）

二、多态答疑

1. 为什么类的静态成员函数不能为虚函数?

如果定义为虚函数，那么它就是动态绑定的，也就是在派生类中可以被覆盖的，这与静态成员函数的定义（在内存中只有一份拷贝，通过类名或对象引用访问静态成员）本身就是相矛盾的。

2. 为什么构造函数不能为虚函数?

在继承体系中，构造的顺序就是从基类到派生类，其目的就在于确保对象能够成功地构建。构造函数同时承担着虚函数表的建立，如果它本身都是虚函数的话，如何确保vtbl的构建成功呢？

3. 为什么析构函数是虚函数？

如果不定义虚析构函数，当删除一个指向派生类对象的指针时，只会调用基类的析构函数，派生类的析构函数未被调用，造成内存泄露。

4. 虚函数析构函数的工作顺序？

虚析构函数工作的方式是：最底层的派生类的析构函数最先被调用，然后各个基类的析构函数被调用。这样，当删除指向派生类的指针时，就会首先调用派生类的析构函数，不会有内存泄露的问题了。

5. 如果形参是父类，实参是子类，那么局部对象是父类还是子类？

如果形参是父类，而实参是子类，在进行值传递的时候，临时对象构造时只会构造父类的部分，是一个纯粹的父类对象，而不会构造子类的任何特有的部分。如果想在被调函数中通过调用虚函数获得一些子类特有的行为，这是不能实现的。

6. 父类、子类中同名函数，但一为虚函数，一为普通函数的情况？

• 父类虚函数，子类普通函数
  调用子类普通函数
• 父类普通函数，子类虚函数
  调用父类普通函数
• 如果是析构函数是什么情况？
  父虚子实 → 先析构子类再析构父类
  父实子虚 → 只析构父类
  父实子实 / 父虚子虚 → 先析构子类再析构父类

三、父类为形参，子类为实参时的传参情况

1. 采用直接值传递

• 代码示例

#include <iostream>  
using namespace std;  
  
class Fish  
{  
public:  
    virtual void ShowInf()  
    {  
        cout << "我是一条fish" << endl;  
    }  
};  
  
class Carp : public Fish  
{  
public:  
    void ShowInf()  
    {  
        cout << "我是一条carp" << endl;  
    }  
};  
  
void ShowInf(Fish fish)  // 直接进行普通的值传递
{  
    fish.ShowInf();  
}  
  
int main()  
{  
    Carp carp;  
    ShowInf(carp);  
}  

• 代码到底讲述了什么？
  当函数参数是父类对象且传入的参数是子类对象，然而我们用的是普通值传递时，子类对象仅仅将自己继承的那部分数据复制给子类形参。
• 运行结果

我是一条fish

2. 采用引用值传递

• 代码示例

#include <iostream>  
using namespace std;  
  
class Fish  
{  
public:  
    virtual void ShowInf()  
    {  
        cout << "我是一条fish" << endl;  
    }  
};  
  
class Carp : public Fish  
{  
public:  
    void ShowInf()  
    {  
        cout << "我是一条carp" << endl;  
    }  
};  
  
void ShowInf(Fish& fish)  // 进行引用值传递
{  
    fish.ShowInf();  
}  
  
int main()  
{  
    Carp carp;  
    ShowInf(carp);  
}  

• 代码到底讲述了什么？
  
  当用 &引用的方式 进行值传递时，就相当将自己阉割成父类对象的样子，即将只属于自己的那一部分割去。然后将剩下的这一部分当作实参传递给函数。
  我们这里要注意的是虚函数，当父类中有与子类同名的虚函数时，此时子类的成员函数会覆盖父类中的虚成员函数。因此，阉割剩下的部分并不与原父类成员相同。虚函数的作用原理详见“虚函数表”。

• 虚函数表
  我们看到父类中的ShowInf()函数被声明为virtual类型的了，那虚函数是如何作用的呢？
  我个人理解：虚函数的虚字可以理解为“形同虚设”，当我们声明父类的ShowInf()函数为虚函数同时我们在子类中也声明一个ShowInf()函数，那么在子类中，ShowInf（）函数正好可以覆盖父类中的同名函数(形同虚设的函数)。

• 运行结果

我是一条carp

3. 采用深复制进行传递

• 代码示例

#include <iostream>  
using namespace std;  
  
class Fish  
{  
public:  
    virtual void ShowInf()  
    {  
        cout << "我是一条fish" << endl;  
    }  
};  
  
class Carp : public Fish  
{  
public:  
    void ShowInf()  
    {  
        cout << "我是一条carp" << endl;  
    }  
};  
  
void ShowInf(Fish* fish)  
{  
    dynamic_cast<Carp*>(fish)->ShowInf(); // 进行了有继承关系类之间的强制类型转换  
}  
  
int main()  
{  
    Carp carp;  
    ShowInf(&carp);  
}  

• 代码到底讲述了什么？
  深复制其实传递与操作的是对象的指针，因为当我们获得地址(指针内容)后，我们可以调整指针类型用来访问不同的有效区间，有效区间仅仅指的是内存中与指针类型相同的区域，并不会像值传递的方式阉割了一部分内容，用指针作为形参既灵活(可以调整指针类型从而调整指针指向内容)又高效(传递指针比值传递快得多)。

• 运行结果

我是一条carp