C++多态

本文介绍了C++中的多态性,包括静态多态(如函数重载)和动态多态(通过虚函数实现)。动态多态使得子类对象通过父类指针或引用调用相应的方法时,能够执行不同的实现。文章还讨论了虚函数表、抽象类以及虚析构函数的概念,强调了它们在多态和内存管理中的作用。
摘要由CSDN通过智能技术生成
在现实生活中,不同事物的同一种行为或动作,在细节上的表现可能是不一样的。比如人类,在说话这个行为上,中国人用的是汉语,英国人用的是英语,韩国人用的是韩文等。
在计算机编程语言中, 多态(polymorphism)指的是为不同数据类型的实体提供统一的接口,C++也支持多态特性。利用多态特性提供统一接口来描述以上所说的现实中的不同事物的同一种行为或动作,但在细节上的表现又可能不一样。
多态的种类

静态多态:函数重载,操作符重载,就属于静态多态。函数名相同,在相同参数个数的条件下,函数的参数类型不同,或参数的类型顺序不同,或函数参数的个数不同。注意:函数参数的返回值不同是不能作为函数重载的条件的。

动态多态:父类的成员函数声明为虚函数纯虚函数,子类重写父类的虚函数或纯虚函数,在使用时,让子类的对象指向父类的引用或指针,从而实现运行时多态。

在C++面向对象编程中,我们说的多态,一般指的就是动态多态。

静态多态和动态多态的区别

静态多态函数地址是早绑定,编译阶段确认函数地址。

动态多态函数地址是晚绑定,运行阶段确定函数地址。

语法规则

虚函数语法

virtual 函数返回值 成员函数名(参数列表) {}

纯虚函数语法

virtual 函数返回值 成员函数名(参数列表) = 0;

1.动态多态举例:将父类的成员函数声明为虚函数,子类重写父类的虚函数

#include <iostream>
using namespace std;

class People
{
    public:
    virtual void speak() const //虚函数
    {
        cout << "人在说话" << endl;
    }
};

class Chinese : public People
{
    public:
    virtual void speak() const //重写父类的虚函数
    {
        cout << "中国人在用汉语说话" << endl;
    }
};

class British : public People
{
    public:
    virtual void speak() const //重写父类的虚函数
    {
        cout << "英国人在用英文说话" << endl;
    }
};

void peopleSpeak(const People &p)
{
    p.speak();
}

void peopleSpeak(const People *p)
{
    p->speak();
}

int main(int argc, char * argv[])
{
    Chinese c;
    peopleSpeak(c); //子类对象指向父类的引用
    peopleSpeak(&c); //子类对象指向父类的指针

    British b;
    peopleSpeak(b); //子类对象指向父类的引用
    peopleSpeak(&b); //子类对象指向父类的指针

    cout << "sizeof(People) = " << sizeof(People) << endl;
    cout << "sizeof(Chinese) = " << sizeof(Chinese) << endl;
    cout << "sizeof(British) = " << sizeof(British) << endl;
    return 0;
}

分析:C++中,空类占用内存大小为1字节类的成员变量和成员函数是分开存储的,只有非静态成员变量才存储在类中或类的对象上。通过该类创建的所有对象都共享同一个函数。但我们打印出的只含有一个虚函数的People,Chinese,British类占用了8个字节。这是为什么呢?本质是因为:含有虚函数,纯虚函数的类会有一个虚函数表指针,这个虚函数指针指向虚函数表。因为我编译的是64位可执行程序,一个函数指针的内存大小为8字节,所以打印出含有虚函数的People,Chinese,British类的内存大小是8个字节

2.动态多态举例:将父类的成员函数声明为纯虚函数,子类重写父类的纯虚函数

#include <iostream>
using namespace std;

class People
{
    public:
    virtual void speak() const = 0; //纯虚函数
};

class Chinese : public People
{
    public:
    virtual void speak() const //重写父类的纯虚函数
    {
        cout << "中国人在用汉语说话" << endl;
    }
};

class British : public People
{
    public:
    virtual void speak() const //重写父类的纯虚函数
    {
        cout << "英国人在用英文说话" << endl;
    }
};

void peopleSpeak(const People &p)
{
    p.speak();
}

void peopleSpeak(const People *p)
{
    p->speak();
}

int main(int argc, char * argv[])
{
    Chinese c;
    peopleSpeak(c); //子类对象指向父类的引用
    peopleSpeak(&c); //子类对象指向父类的指针

    British b;
    peopleSpeak(b); //子类对象指向父类的引用
    peopleSpeak(&b); //子类对象指向父类的指针

    cout << "sizeof(People) = " << sizeof(People) << endl;
    cout << "sizeof(Chinese) = " << sizeof(Chinese) << endl;
    cout << "sizeof(British) = " << sizeof(British) << endl;

    return 0;
}

抽象类

含有纯虚函数的类称为抽象类。

抽象类的特点:

  1. 无法实例化

  1. 子类必须重写抽象类中的纯虚函数,否则这个子类还是抽象类

  1. 抽象类虽然不能实例化,但抽象类的虚函数表指针是存在的

#include <iostream>
using namespace std;

class People
{
    public:
    virtual void speak() const = 0; //纯虚函数
};

int main(int argc, char * argv[])
{
    //People p; //错误:抽象类不能实例化
    cout << "sizeof(People) = " << sizeof(People) << endl; //sizeof(People) = 8

    return 0;
}
虚析构函数和纯虚析构函数

在C++中使用多态时,如果在堆区new子类对象指向父类指针,那么父类指针在释放时,是调用不到子类的析构函数的,为了解决这个问题,需要把父类的析构函数定义为虚析构函数或纯虚析构函数。

虚析构函数语法

virtual ~类名(){}

纯虚析构函数

virtual ~类名() = 0; //类内声明
类名::~类名(){} //类外必须实现

含有纯虚析构函数的类也是抽象类,无法实例化对象

  1. 举例:堆区new子类对象指向父类指针,那么父类指针在释放时,是调用不到子类的析构函数

#include <iostream>
using namespace std;

class People
{
    public:
    ~People()
    {
        cout << "~People()" << endl;
    }
    virtual void speak() const = 0; //纯虚函数
};

class Chinese : public People
{
    public:
    ~Chinese()
    {
        cout << "~Chinese()" << endl;
    }
    virtual void speak() const //重写父类的纯虚函数
    {
        cout << "中国人在用汉语说话" << endl;
    }
};

class British : public People
{
    public:
    ~British()
    {
        cout << "~British()" << endl;
    }
    virtual void speak() const //重写父类的纯虚函数
    {
        cout << "英国人在用英文说话" << endl;
    }
};

void peopleSpeak(const People &p)
{
    p.speak();
}

void peopleSpeak(const People *p)
{
    p->speak();
}

int main(int argc, char * argv[])
{
    People *p = new Chinese;
    peopleSpeak(*p); //子类对象指向父类的引用
    peopleSpeak(p); //子类对象指向父类的指针
    delete p;
    p =NULL;

    p = new British;
    peopleSpeak(*p); //子类对象指向父类的引用
    peopleSpeak(p); //子类对象指向父类的指针
    delete p;
    p = NULL;

    return 0;
}
  1. 举例:将父类的析构函数定义为虚析构函数,解决通过父类指针释放子类对象调用不到子类的析构函数的问题

#include <iostream>
using namespace std;

class People
{
    public:
    virtual ~People() //将父类的析构函数定义为虚析构函数
    {
        cout << "~People()" << endl;
    }
    virtual void speak() const = 0; //纯虚函数
};

class Chinese : public People
{
    public:
    virtual ~Chinese()
    {
        cout << "~Chinese()" << endl;
    }
    virtual void speak() const //重写父类的纯虚函数
    {
        cout << "中国人在用汉语说话" << endl;
    }
};

class British : public People
{
    public:
    virtual ~British()
    {
        cout << "~British()" << endl;
    }
    virtual void speak() const //重写父类的纯虚函数
    {
        cout << "英国人在用英文说话" << endl;
    }
};

void peopleSpeak(const People &p)
{
    p.speak();
}

void peopleSpeak(const People *p)
{
    p->speak();
}

int main(int argc, char * argv[])
{
    People *p = new Chinese;
    peopleSpeak(*p); //子类对象指向父类的引用
    peopleSpeak(p); //子类对象指向父类的指针
    delete p;
    p =NULL;

    p = new British;
    peopleSpeak(*p); //子类对象指向父类的引用
    peopleSpeak(p); //子类对象指向父类的指针
    delete p;
    p = NULL;

    cout << "sizeof(People) = " << sizeof(People) << endl;
    cout << "sizeof(Chinese) = " << sizeof(Chinese) << endl;
    cout << "sizeof(British) = " << sizeof(British) << endl;

    return 0;
}

  1. 举例:将父类的析构函数定义为纯虚析构函数,解决通过父类指针释放子类对象调用不到子类的析构函数的问题

#include <iostream>
using namespace std;

class People
{
    public:
    virtual ~People() = 0; //将父类的析构函数声明为纯虚析构函数
    virtual void speak() const = 0; //纯虚函数
};

People::~People() //类外必须初始化
{
        cout << "~People()" << endl;
}

class Chinese : public People
{
    public:
    virtual ~Chinese()
    {
        cout << "~Chinese()" << endl;
    }
    virtual void speak() const //重写父类的纯虚函数
    {
        cout << "中国人在用汉语说话" << endl;
    }
};

class British : public People
{
    public:
    virtual ~British()
    {
        cout << "~British()" << endl;
    }
    virtual void speak() const //重写父类的纯虚函数
    {
        cout << "英国人在用英文说话" << endl;
    }
};

void peopleSpeak(const People &p)
{
    p.speak();
}

void peopleSpeak(const People *p)
{
    p->speak();
}

int main(int argc, char * argv[])
{
    People *p = new Chinese;
    peopleSpeak(*p); //子类对象指向父类的引用
    peopleSpeak(p); //子类对象指向父类的指针
    delete p;
    p =NULL;

    p = new British;
    peopleSpeak(*p); //子类对象指向父类的引用
    peopleSpeak(p); //子类对象指向父类的指针
    delete p;
    p = NULL;

    cout << "sizeof(People) = " << sizeof(People) << endl;
    cout << "sizeof(Chinese) = " << sizeof(Chinese) << endl;
    cout << "sizeof(British) = " << sizeof(British) << endl;

    return 0;
}

关于C++多态的知识点梳理以及使用,先写到这,后面有空再写一篇C++多态的内存模型,让我们更加深层次的去了解C++多态的实现原理。

C++中的多态(Polymorphism)是指在父类和子类之间的相互转换,以及在不同对象之间的相互转换。 C++中的多态性有两种:静态多态和动态多态。 1. 静态多态 静态多态是指在编译时就已经确定了函数的调用,也称为编译时多态C++中实现静态多态的方式主要有函数重载和运算符重载。 函数重载是指在同一作用域内定义多个同名函数,但它们的参数列表不同。编译器根据传递给函数的参数类型和数量来确定调用哪个函数。例如: ```c++ void print(int num) { std::cout << "This is an integer: " << num << std::endl; } void print(double num) { std::cout << "This is a double: " << num << std::endl; } int main() { int a = 10; double b = 3.14; print(a); // 调用第一个print函数 print(b); // 调用第二个print函数 } ``` 运算符重载是指对C++中的运算符进行重新定义,使其能够用于自定义的数据类型。例如: ```c++ class Complex { public: Complex(double real, double imag) : m_real(real), m_imag(imag) {} Complex operator+(const Complex& other) const { return Complex(m_real + other.m_real, m_imag + other.m_imag); } private: double m_real; double m_imag; }; int main() { Complex a(1.0, 2.0); Complex b(3.0, 4.0); Complex c = a + b; // 调用Complex类中重载的+运算符 } ``` 2. 动态多态 动态多态是指在运行时根据对象的实际类型来确定调用哪个函数,也称为运行时多态C++中实现动态多态的方式主要有虚函数和纯虚函数。 虚函数是在父类中定义的可以被子类重写的函数,使用virtual关键字声明。当一个对象的指针或引用指向一个子类对象时,调用虚函数时会根据实际的对象类型来确定调用哪个函数。例如: ```c++ class Shape { public: virtual void draw() { std::cout << "Drawing a shape." << std::endl; } }; class Circle : public Shape { public: void draw() override { std::cout << "Drawing a circle." << std::endl; } }; int main() { Shape* shape_ptr = new Circle(); shape_ptr->draw(); // 调用Circle类中重写的draw函数 } ``` 纯虚函数是在父类中定义的没有实现的虚函数,使用纯虚函数声明(如virtual void func() = 0;)。父类中包含纯虚函数的类称为抽象类,抽象类不能被实例化,只能作为基类来派生子类。子类必须实现父类的纯虚函数才能实例化。例如: ```c++ class Shape { public: virtual void draw() = 0; }; class Circle : public Shape { public: void draw() override { std::cout << "Drawing a circle." << std::endl; } }; int main() { Shape* shape_ptr = new Circle(); shape_ptr->draw(); // 调用Circle类中重写的draw函数 } ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值