C++重新理解虚函数

1. 虚函数的定义

允许派生类重新定义与基类同名的函数,并且可以通过基类指针引用来访问基类或派生类的同名函数

1.1 动态绑定(动态联编)

函数的运行版本由实参决定,直到运行的时候才知道调用了哪个版本的虚函数。
动态绑定只有通过指针或引用调用虚函数时才会发生

Quote base = derived;
base.net_price(20);
//在这里只调用Quote的net_price

switch、if也属于动态联编

2. 虚函数的构造

2.1 派生类中虚函数的构造

派生类中虚函数的参数列表函数名必须相同,返回类型在大多情况下是相同的(当返回类型为基类时,派生虚函数返回类型为自己的派生类)

2.2 override/final说明符

使用override关键字来修饰派生类中的虚函数,表示该函数并没有覆盖已存在的虚函数,如果用户强制覆盖会报错。

struct B{
  virtual void f1() const;
  virtual void f2();
};
struct D:B{
  void f1() const override;
  void f2(int)  override;//编译器会报错,因为B没有f2(int)这样的函数
}

如果用final关键字修饰虚函数,那么它的派生类如果要覆盖该函数会出错

struct B{
  virtual void f2() final;
};
struct D:B{
void f2();//出错,因为f2已经声明为final
}
2.2.1 重载/重写/覆盖
  • 重载(overload):同一个访问区内被声明的几个具有不同参数列的同名函数,在传入数据时,根据实参选择相应的形参的函数,不关心返回值类型
class A{
public:
  void test(int i);
  void test(double i);
  void test(int i, double j);
  void test(double i, int j);
};
  • 重写(override)派生类中需要重写的函数,它的返回值,参数列表,函数名都必须与被重写的基类相同,只有函数体不同。并且基类中的被重写函数必须加上virtual。派生类在调用该函数时,就只会调用自己重写的函数,不会调用基类的函数(其实也相当于覆盖了)
class A{
public:
  virtual void fun3(int i){
    cout << "A::fun3() : " << i << endl;
  }
 
};
class B : public A{
public:
  virtual void fun3(double i){
    cout << "B::fun3() : " << i << endl;
  }
};
  • 覆盖:派生类的函数屏蔽了与其同名的基类函数。注意只要同名函数,不管参数列表是否相同,基类函数都会被隐藏
class A{
public:
  void fun1(int i, int j){
    cout << "A::fun1() : " << i << " " << j << endl;
  }
 
};
class B : public A{
public:
    //隐藏
  void fun1(double i){
    cout << "B::fun1() : " << i << endl;
  }
};
2.3 回避虚函数机制

有时候我们在派生类的虚函数的函数体中想要调用基类的虚函数,那么这时候就一定要加上作用符限定,否则就会调用派生类的虚函数,造成无限循环

3. 纯虚函数

当设计者不希望创建一个基类对象,因为基类里面的函数是没有意义的,那么可以将基类的该函数定义为纯虚函数,那么我们将这些含有纯虚函数的基类称为抽象基类

3.1 抽象基类
3.1.1 为什么有抽象基类

因为纯虚函数不能被调用,所以包含纯虚函数的类是无法实例化的,那么这时候就出现了一个抽象类,它作为多个子类的共同基类,就相当于给多个子类提供一个公共的接口,我们可以通过定义这个公共接口的指针或引用,指向派生类的某个对象,这样就可以通过它来访问派生类对象中的虚函数

3.1.2 抽象基类的几个要点
  • 抽象基类负责定义接口,后续派生类可以覆盖接口,实现该接口。
  • 抽象基类无法实例化。
  • 如果基类定义多个纯虚函数,子类没有一一将纯虚函数实现,那么子类依旧也会被认为是抽象类。

4. 虚函数表

4.1 虚函数表是如何实现的

先思考一个问题,编译器是在什么时候实现不同对象能调用同名函数绑定关系的?

在创建对象的时候,编译器偷偷给对象加了一个vptr指针。只要我们类中定义了虚函数,那么在实例化对象的时候,就会给对象添加一个vptr指针,类中创建的所有虚函数的地址都会放在一个虚函数表中,vptr指针就指向这个表的首地址。

4.2 在构造函数中定义虚函数会出现什么情况?

看以下代码,思考一下此时虚函数的调用

class Parent{
public:
    Parent(int a=0){
            this->a = a;
            print();}
    virtual void print(){cout<<"Parent"<<endl;}
private:
    int a;
};
class Son:public Parent{
    Son(int a=0,int b=0):Parent(a){
        this->b = b;
        print();}
    virtual void print(){cout<<"Son"<<endl;}
};
void main(int argc, char const *argv[]){
        Son s;
        return 0;
}

两个类中构造函数中,都只会调用自己类中的print()函数
为什么呢?因为Son对象在实例化时,先调用基类构造函数,存在虚函数,将vptr指向基类的虚函数表,调用派生类构造函数,存在虚函数,将vptr指向派生类的虚函数表。所以都只会调用自己类中的虚函数。

如果子类重写了父类的某一虚函数,那么父类的该虚函数就被隐藏,无论以后怎么调用,调用同名虚函数调用的都是子类虚函数

重写前

重写后

为什么析构函数经常定义为虚析构函数

虚析构函数:只有当一个类被定义为基类的时候,才会把析构函数写成虚析构函数。
为什么一个类为基类,析构函数就需要写成虚析构?
假设现在有一个基类指针,指向派生类。此时释放基类指针,如果基类没有虚析构函数,此时只会看指针的数据类型,而不会看指针指向的数据类型,所以此时会发生内存泄露。

4.3 虚继承
4.3.1 为什么会使用虚继承

当类D继承于类B与类C,而类B与类C又继承于公共基类类A,为了避免基类多重拷贝,我们就让类B与类C虚继承于类A

4.3.2 底层原理

每个虚继承的子类都有一个虚基类指针(占用一个指针的存储空间,4字节)和虚基类表(不占用类对象的存储空间)
vbptr指的是虚基类表指针(virtual base table pointer),该指针指向了一个虚基类表(virtual table),虚表中记录了虚基类与本类的偏移地址;通过偏移地址,这样就找到了虚基类成员,而虚继承也不用像普通多继承那样维持着公共基类(虚基类)的两份同样的拷贝,节省了存储空间


一个非常容易错的地方!
class parent  
{  
    public:  
    virtual void output();  
};  
void parent::output()  
{  
    printf("parent!");  
}  
       
class son : public parent  
{  
    public:  
    virtual void output();  
};  
void son::output()  
{  
    printf("son!");  
}

son s; 
memset(&s , 0 , sizeof(s)); 
parent& p = s; 
p.output(); 

猜一猜上面会输出什么呢?
编译出错!!!
为什么呢?

memset会将s所指向的某一块内存中的每个字节的内容全部设置为ch指定的ASCII值
虚函数链表地址也清空了, 所以p.output调用失败。 output函数的地址编程0

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 159,117评论 4 362
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 67,328评论 1 293
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 108,839评论 0 243
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 44,007评论 0 206
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 52,384评论 3 287
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 40,629评论 1 219
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,880评论 2 313
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 30,593评论 0 198
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 34,313评论 1 243
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 30,575评论 2 246
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 32,066评论 1 260
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 28,392评论 2 253
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 33,052评论 3 236
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 26,082评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,844评论 0 195
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 35,662评论 2 274
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 35,575评论 2 270

推荐阅读更多精彩内容

  • C++虚函数 C++虚函数是多态性实现的重要方式,当某个虚函数通过指针或者引用调用时,编译器产生的代码直到运行时才...
    小白将阅读 1,690评论 4 19
  • 一个博客,这个博客记录了他读这本书的笔记,总结得不错。《深度探索C++对象模型》笔记汇总 1. C++对象模型与内...
    Mr希灵阅读 5,486评论 0 13
  • 前言 把《C++ Primer》[https://book.douban.com/subject/25708312...
    尤汐Yogy阅读 9,447评论 1 51
  • 1. 结构体和共同体的区别。 定义: 结构体struct:把不同类型的数据组合成一个整体,自定义类型。共同体uni...
    breakfy阅读 2,072评论 0 21
  • 命运多造作 往事易蹉跎 于是 坚持爱过 也曾执意离开过 若说做错过什么 就是还活着 做个迷人的滚蛋 善良不得喜感 ...
    血腥的哲学阅读 133评论 0 0