0454156f6a675265a6c961b8034fae74.png

问题1:小伙伴问我这个unique_ptr出了作用域为什么没调它的析构函数呢?  

问题2:第一个运行结果是什么?为什么?

我把问题抛到群里讨论,让大家一起思考,大家可以先思考一下:

feb3549c5452ee82e64edc3a1574d2b5.png

C++背景知识

C++程序的内存格局通常分为四个区:

  • 全局数据区(data area)

  • 代码区(code area)

  • 栈区(stack area)

  • 堆区(heap area)(即自由存储区)

全局数据区存放全局变量,静态数据和常量;所有类成员函数和非成员函数代码存放在代码区;为运行函数而分配的局部变量、函数参数、返回数据、返回地址等存放在栈区;余下的空间都被称为堆区。根据这个解释,我们可以得知在类的定义时,类成员函数是被放在代码区,而类的静态成员变量在类定义时就已经在全局数据区分配了内存,因而它是属于类的。对于非静态成员变量,我们是在类的实例化过程中(构造对象)才在栈区或者堆区为其分配内存,是为每个对象生成一个拷贝,所以它是属于对象的。

深入学习:

C++内存管理全景指南

C++的最后一道坎|百万年薪的程序员


用图表示看起来更清楚:

18f73f03be686f3f637d2c337ace32cd.png

参考答案

第一个问题答案:

unique_ptr本身也是一个类, frame也是对象(只是指针指的是空对象),这里应该是调用unique_ptr析构函数,在~unique_ptr析构函数中,会去调用对象的析构函数,如下图(gcc 11 unique_ptr 源码 ),但如果对象为空,就不会去调用。

c2ac26fde10b37e3f5341b2dd8dad303.png

不要震惊,我们来查看汇编结果,从汇编代码可以看到确实调用了default_delete函数(unique_ptr的默认析构函数):

ce5d833decbc17284738ce1ed68bce50.png

查看标准说明:

12909eac1ac013a0ff96bb833f9c2ec8.png

https://en.cppreference.com/w/cpp/memory/unique_ptr

gcc 11 unique_ptr的源码,通过查看gcc的源码,确实证明我们上面的结论,如果对象为空,就不会去调用对象的析构函数:

109e8f0d29b3cffac9e82f6e01decd98.png

第二个问题答案:

可以打印:frame,为什么呢?因为这里成员函数在代码区且没有访问对象成员,这样函数调用就不需要访问this指针(这里记住了,对象成员是通过this指针来访问的),所以不需要对象也可以访问成员函数,如果成员函数未使用任何成员变量的话,不管是不是static的,都能正常工作。

我们可以测试一下,如果有对象成员的情况,就会导致程序异常退出,如下:

e22027dada8e46784ca89884b19739a0.png

4f786aa722c11e9ee056f3db91a75cd8.png

48ec70cc11b559e5f1b921fdc1d36771.png

我们来升级一下问题:

b10d1df836ba1ed64a002e9c8aaf4116.png

程序运行结果是什么,为什么? 大家可以先思考一下。

问题参考答案:

输出“printA”后,程序崩溃。为什么呢?printA是成员函数,存放在代码段(.text),所以没有实例化类的时候仍然可以调用。printB是虚函数,关系到虚函数表和虚函数指针,虚函数指针存放在实例化的对象中,所以,未实例化对象时,不存在虚函数指针,所以调用虚函数会报错。一般找虚函数指针都是通过this指针地址+偏移来计算的,this本身是空, 算出来虚拟函数指针肯定有问题,只要访问就会挂。

648c85af30f53272e474ce20d0673cbf.png

一张图搞懂虚函数表原理

https://blog.csdn.net/u011391093/article/details/45249325

我们来看一下汇编代码:

c335e6593e6600e0dec3c80cb0269848.png

单步调试,程序确实会core在26行汇编:

a5d320355f379da9d763b3a773fee733.png

最后总结

C++核心知识

这道经典的面试题,看起来很简单,但却考察C++最核心的知识,比如C++的内存管理(内存布局),智能指针原理,析构原理,虚函数原理等核心知识。

关于汇编

为什么要通过看汇编代码来分析,那是因为汇编代码能够查看C++代码到底都做了些什么操作,这样可以找到更多线索,就像群里小伙伴说的:汇编之下,了无秘密

大家不要害怕汇编,当你搞多了, 自然就不害怕了。

102e7f63a3247cef28d30d88f8919e24.png

汇编其实很简单,就是一些常见指令, 然后记住一些固定访问模式,还有常见的场景。比如函数入参,函数调用,字符串copy ,条件判断,指针读取, 循环等,慢慢练,孰能生巧。

推荐汇编学习视频,适合入门:

33ca98ee4485cf33244f72aed813305b.png

https://www.bilibili.com/video/BV1Pb411L73i?p=6

885ec08ba94546adeb80e02d2ce43986.png

https://www.bilibili.com/video/BV1mt411R7Xv

文中汇编生成网站:Compiler Explorer

https://godbolt.org/,可以支持各种编译器:

3fe15db69d81640ce55c71ef5b5054e4.png

one more thing

23e6d950fa518878834e5a0c0dc5988a.png

这点非常重要,当提出这个问题后,群里一些小伙伴,就凭经验猜想,给出一些答案,但有个小伙伴给出答案后,会同步去做代码编译验证,去查看反汇编,去一步一步调试,去确认是不是符合自己的猜想。

8d0b6548fa143ca2ec02954711085580.png

75f3e80d82fcdcc21fea3a91dacaed28.png

最后祝大家面无不胜,基础越来越扎实。

我每周都会提问几道非常经典的面试题,通过参与这些经典的面试题分析验证,我们可以彻底理解大厂面试的核心知识,需要深入交流学习同学,可以加入极客星球,和大家一起快速成长:

  • 大厂求职核心原理1v1指导(职位,简历,面试,策略等一条龙优化)

  • 技术问题分析解答(有专属VIP群)

2501b1f7ec93ce0c0a0b55761d55dd69.png

 加入极客星球,然后加我微信,进群一起学习。

  • 大厂技术路线

  • 后台开发进阶

  • 开源项目学习

  • 直播分享(已经分享了7期,加入星球可以看回放)

  • 技术视野

  • 按需提供经典资料,节约你

  • 实战技能分享

等,极客星球希望成为最有技术价值星球,尽最大努力为星球的同学提供面试,跳槽,技术成长帮助!详情查看点击->极客星球

75143ad31cb48c987512d4449a286fcc.png

- END -


看完一键三连在看转发点赞

是对文章最大的赞赏,极客重生感谢你157277f28f2030e3a947fe4f7fa9e9a2.png

推荐阅读

1e3032fc159aa124a0a38c95afbc2525.png

定个目标|建立自己的技术知识体系


9d1c43c48b9d3b31164a566f947a9f63.png

大厂后台开发基本功修炼路线和经典资料

6a920a23d068d705382d1a447c7ac6eb.png

个人学习方法分享


你好,这里是极客重生,我是阿荣,大家都叫我荣哥,从华为->外企->到互联网大厂,目前是大厂资深工程师,多次获得五星员工,多年职场经验,技术扎实,专业后端开发和后台架构设计,热爱底层技术,丰富的实战经验,分享技术的本质原理,希望帮助更多人蜕变重生,拿BAT大厂offer,培养高级工程师能力,成为技术专家,实现高薪梦想,期待你的关注!点击蓝字查看我的成长之路

校招/社招/简历/面试技巧/大厂技术栈分析/后端开发进阶/优秀开源项目/直播分享/技术视野/实战高手等, 极客星球希望成为最有技术价值星球,尽最大努力为星球的同学提供面试,跳槽,技术成长帮助!详情查看->极客星球

                                                                求点赞,在看,分享三连41aa456f8f759c791c61fdf1c20cd64e.png

Logo

北京人形旗下天工造物具身智能开源社区,聚焦具身天工与慧思开物两大平台

更多推荐