c++基础学习12-c++的多态与继承

1,函数重写

如果子类定义了与父类中原型相同的函数会发生什么?

1,在子类中定义与父类中原型相同的函数。
  2,函数重写只发生在父类与子类之间。
#include <cstdlib>
#include <iostream>
using namespace std;
class Parent
{
        public:
                void print()
                {
                        cout<<"i'm parent.."<<endl;
                }
};
class Child : public Parent
{       
        public:
                void print()
                {
                        cout<<"i'm child.."<<endl;
                }
};

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

默认情况下子类中重写的函数将隐藏父类中的函数。

通过作用域分辨符::可以访问到父类中被隐藏的函数。

Parent parent;
Child  child;

parent.print();

child.Parent::print();
child.print();

2,当函数重写遇上赋值兼容性原则

你期望下面的程序输出什么?

#include <cstdlib>
#include <iostream>
using namespace std;
class Parent
{
        public:
                void print()
                {
                        cout<<"i'm parent.."<<endl;
                }
};
class Child : public Parent
{
        public:
                void print()
                {
                        cout<<"i'm child.."<<endl;
                }
};
void run()
{
        Child child;
 
        Parent* pp = &child;
        Parent& rp = child;
 
        child.print();
        pp->print();
        rp.print();
}
 
int main()
{
        run();
        return 0;
}
 

结果是

i'm child..
i'm parent..
i'm parent..

为什么结果会是这个呢?
1,c++与c相同是静态编译型语言。
2,在编译时,编译器自动根据指针类型判断指向的是一个什么样的对象。
3,所以编译器认为父类指针指向的是父类对象
4,由于程序没有运行,所以不可能知道父类指针指向的具体是父类对象还是子类对象。
5,从程序安全的角度,编译器假设父类指针只指向父类对象,因此编译的结果为调用父类的成员函数。
你可能会说这句话
Parent *pp = &child


明明指向child,为什么会说编译器不知道?

下面我们来看一个例子
void print(Parent *p)
{
        p->print();
}


假设我调用了这个函数,那么在编译这个函数的时候,编译器不可能知道指针p指向了什么。对吧
但是编译器也不能报错,所以编译器认为最好的做法就是编译父类的print函数,因为父类和子类都有相同的print函数啊。

3,多态的本质

1,面向对象的新需求

根据实际的对象类型来判断重新函数的调用

如果父类指针指向的是父类对象则调用父类中定义的函数。
如果父类指针指向的是子类对象则调用子类中定义的重写函数。

2,面向对象中的多态

     根据实际的对象类型决定函数调用语句的具体调用目标
多态:同样的调用语句有多种 不同的表现形态。

3,c++中多态的支持

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

4,重写与重载

请看下面的例子?它的继承方式有问题吗?
#include <cstdlib>
#include <iostream>
using namespace std;
class Parent
{
     public: 
         virtual void func() 
         {
             cout<<"void func()"<<endl;
         }
          virtual void func(int i)
         {
            cout<<"void func(int i)"<<endl         }
         virtual void func(int i, int j)
         {
             cout<<"void func(int i, int 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(int argc, char *argv[])
{
    Parent p;
    p.func();
    p.func(1);
    p.func(1, 2);
    Child c;
    c.Parent::func();
    run(&p);
    run(&c);

    return EXIT_SUCCESS;
}

函数重载:
必须在同一个类中进行
子类无法重载父类的函数。
重载时在编译期间根据参数类型和个数决定调用函数
函数重写:
必须发生于父类与子类之间。
并且父类与子类中的函数必须有完全相同的原型。
使用virtual声明之后能够产生多态。
多态是在运行期间根据具体对象的类型决定调用函数。

5,虚函数深入理解

1,c++中多态的实现原理

   当类中声明虚函数时,编译器会在类中生成一个虚函数表。(最终会进入可执行程序)
虚函数表是一个存储类成员函数指针的数据结构。
虚函数表示有编译器自动生成与维护的。
virtual成员函数会被编译放入虚函数表中。
存在虚函数时,每个对象中都有一个指向虚函数表的指针。





以下面的为例 
void run(Parent *p)
{
    p->fun();
}


 调用该函数的时候 编译器首先确定fun是否为虚函数? 
 是:编译器在对象VPTR多指向的虚函数表中查找fun(),并调用,查找和调用在运行时候完成。
不是:编译器直接可以确定并找到被调用成员函数。

注意:
通过虚函数表指针VPTR调用重写函数是在程序运行时完成的,因此需要通过寻址操作才能确定真正应该调用的函数,而普通成员函数是在编译时就确定了调用的函数,所以在效率上虚函数要低很多。
所以我们没有必要将所有成员函数都声明为虚函数。

那么对象中的VPTR指针声明时候被初始化?
1,对象在创建的时候由编译器对VPTR指针进行初始化。
2,只有当对象的构造完全结束后VPTR的指向才最终确定。
3,父类对象的VPTR指向父类虚函数表。
4,子类对象的VPTR指向子类虚函数表。
结论: 构造函数中调用虚函数无法实现多态。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值