关于多态

问题抛出:

1、在编译此函数的时,编译器不可能知道指针 p 究竟指向了什么。

2、编译器没有理由报错。

3、于是,编译器认为最安全的做法是编译到父类的print函数,因为父类和子类肯定都有相同的print函数。

#include <iostream>

using namespace std;

class parent
{
    public:
        virtual void print()
    //    void print()
        {
            cout << "我是基类。。。" << endl;
        }

};

class child:public parent
{
    public:
        void print()
        {
            cout << "我是子类" << endl;
        }
};

void play(parent *p)
{
    p->print();
}

int main()
{
/*    parent *p;
    child *c;
    p->print();
    c->print();
*/
    parent p1;
    child c1;
    p1.print();
    c1.print();

//    play(p);
//    play(c);
    play(&p1);
    play(&c1);
    return 0;
}

通过测试发现,面向对象新需求,编译器的做法不是我们期望的,应该根据实际的对象类型来判断重写函数的调用

考虑到如果父类指针指向的是父类对象则调用父类中定义的函数,如果父类指针指向的是子类对象则调用子类中定义的重写函数,怎么办呢?那就需要引入多态来解决

如何实现多态:

1)通过virtual关键字对多态进行支持(使用virtual声明的函数被重写后即可展现多态特性)。

2)一般在父类的函数前面加virtual,在子类里边可写可不写(建议一般写)

class Parent
{
    public:
        virtual void print()
        {
            cout << "我是基类。。。" << endl;
        }

};

class Child:public Parent
{
    public:
        void print()
        {
            cout << "我是子类" << endl;
        }
};

多态的理解:

1)多态的实现效果:同样的调用语句有多种不同的表现形态。

2)多态实现的三个条件:有继承、有virtual重写、有父类指针(引用)指向子类对象。

3)多态的C++实现: virtual关键字,告诉编译器这个函数要支持多态;不是根据指针类型判断如何调用;而是要根据指针所指向的实际对象类型来判断如何调用。

4)多态的理论基础: 动态联编PK静态联编。根据实际的对象类型来判断重写函数的调用。

5)多态的重要意义:设计模式的基础 是框架的基石。

6)实现多态的理论基础:函数指针做函数参数,C函数指针是C++至高无上的荣耀。C函数指针一般有两种用法(正、反)。

多态的理论基础:

静态联编和动态联编

1)联编是指一个程序模块、代码之间互相关联的过程。

2)静态联编(static binding),是程序的匹配、连接在编译阶段实现,也称为早期匹配。重载函数使用静态联编。

3、动态联编是指程序联编推迟到运行时进行,所以又称为晚期联编(迟绑定)。switch 语句和 if 语句是动态联编的例子。

4、理论联系实际

(1)C++与C相同,是静态编译型语言

(2)在编译时,编译器自动根据指针的类型判断指向的是一个什么样的对象;所以编译器认为父类指针指向的是父类对象。

(3)由于程序没有运行,所以不可能知道父类指针指向的具体是父类对象还是子类对象,从程序安全的角度,编译器假设父类指针只指向父类对象,因此编译的结果为调用父类的成员函数。这种特性就是静态联编。

原文地址:https://www.cnblogs.com/porkerface/p/11394395.html