C++课程第五次博客——多态

目录

• 多态性
  • Part1 多态性概述
    • 1）多态的类型
    • 2）多态的实现
  • Part2 多态实验
    • 运算符重载
    • 虚函数
    • 纯虚函数和抽象类
  • Part3 总结

多态性

Part1 多态性概述

多态是指同样的消息被不同类型的对象接收时导致不同的行为。在C++中，所谓信息是指对类的成员函数的调用，不同的行为是指不同的实现，也就是调用了不同的函数。

1）多态的类型

分为四类：重载多态，强制多态，包含多态和参数多态。前两者为专用多态，而后者称为通用多态。

2）多态的实现

分为两类：编译时的多态和运行时的多态。

前者是在编译的过程中确定了同名操作的具体操作对象

后者则是在程序运行过程中才多态确定操作所针对的具体对象

这种确定操作的具体对象的过程就是绑定，绑定是指计算机程序自身彼此关联的过程，也就是把一条信息和一个对象相结合的过程。绑定工作在编译连接阶段完成的情况称为静态绑定，例如重载，强制和参数多态。而绑定工作在程序运行阶段完成的情况称为动态绑定，例如多态操作对象的确定通过动态绑定完成。

Part2 多态实验

在多态性中，运算符重载、虚函数、纯虚函数和抽象类是相对来说难以理解的，下面我们主要将对这些知识点，设计实验并探索。

运算符重载

第一注意点

当运算符重载为类的成员函数时，函数的参数个数比原来的操作数个数要少一个（后置“++”，“--”除外）

#include <iostream>
using namespace std;
class fun{
private:
    double x,y;
public:
    fun(double x=0,double y=0):x(x),y(y){};
    fun operator+(const fun &c1,const fun &c2)const;   //当重载函数为重载函数时，传进两个无名对象
    void displat()const;
};

结果编译器直接报错：Overloaded 'operator+' must be a unary or binary operator (has 3 parameters)

当operator+改成只传进一个参数时，编译通过。

原因：类的this指针所指的对象默认穿进去。

虚函数

虚函数是动态绑定的基础。虚函数必须是非静态的成员函数。虚函数经过派生之后，在类族中就可以实现运行过程中的多态。

第二注意点：

由成员函数来调用或者是通过指针、引用来访问虚函数

#include <iostream>
using namespace std;
//类的声明和实现
class base1{
public:
    virtual void display()const;        //虚函数
};
void base1::display() const{
    cout<<"Base1::display"<<endl;
}
class base2:public base1{
public:
    void display() const;
};
void base2::display()const{
    cout<<"base2::display"<<endl;
}
class Derived:public base2{
public:
    void display() const;
};
void Derived::display()const{
    cout<<"Derived::display"<<endl;
}
//通过对象名来访问虚函数
int main(){
    base1 base1;
    base2 base2;
    Derived derived;
    base1.display();
    base2.display();
    derived.display();
    return 0;
}

结果输出正确：

但是用这个方式来访问虚函数，则是绑定在编译过程中，而不是在运行过程中进行。如果要实现多态绑定，需要用指针，使程序更加灵活。

void fun(base1 *ptr){
    ptr->display();
}

纯虚函数和抽象类

带纯虚函数的类是抽象类，抽象类声明了一个类族派生类的共同接口，而接口的完整实现，即纯虚函数的函数体，要由派生类自己定义。

#include <iostream>
using namespace std;
class base1{
public:
    virtual void display()const=0;        //纯虚函数
};
class base2:public base1{
public:
    void display1() const;								//没有去定义抽象的函数体
};
void base2::display1()const{
    cout<<"base2::display1"<<endl;
}

报错：Out-of-line definition of 'display1' does not match any declaration in 'base2'

将display1修改为display编译通过。

而且在程序中的虚函数并没有用virtual关键字显性声明，二是编译器通过派生类有着与抽象基类的纯虚函数相同的名称、参数以及返回值，来自动确定其为虚函数。

Part3 总结

通过定义同一名称操作，当面对不同数据时实现不同的功能。使程序的功能实现更加灵活。