微信搜索:编程笔记本。获取更多干货。
点击上方蓝字关注我,我们一起学编程
欢迎小伙伴们分享、转载、私信、赞赏
今天转载一个讲得很好的C++构造函数得真面目。
出处:知乎(https://www.zhihu.com/question/396004298/answer/1236427106)
你买了套房,住进去之前得先装修;
你买个硬盘,用之前得先分区;
你买个手机,用之前得先装上 sim 卡、下载一些必要软件、注册/登录微信/支付宝账户…
创建一个对象也一样:你得到了一块内存;这块内存可能是“二手房”,前任留下的 shit 什么的都还留在里面,你得先清理(把内容置零)、重新装修(设置一些基础信息)之后才能入住。
过去,C 时代,这些都得你自己照应。如果你忘了,那么访问了未初始化存储区、读出乱七八糟的东西,你就自认倒霉吧。C++时代,人们变聪明了:既然装修是入住前的必要步骤,我干脆把它固定到你的《购房流程指导书》里算了。你交钱买房后,就会有人领你看房、给你谈装修事宜。这个固定的、执行装修事宜的步骤就是构造函数。
用伪码表示的话,对象创建流程是这样的:
- 1、用各种奇怪的方式得到一块内存
- 2、执行构造函数,“装修”这块内存
- 3、拎包入住每个人都有自己独特的口味,每个用户自定义对象也有不同的初始化流程。
因此,C++做了一个约定:和类名相同的无返回函数就是它的初始化函数(构造函数),编译器保证在创建一个对象之后、允许你使用它之前,它必定会在这个对象对应的内存上执行构造函数,按你的要求把对象装修好。如果你不写,那么它默认给你个毛坯房(这就是所谓的“默认构造函数”)。
举例来说,你打算写个网游;其中有一个魔法师角色;那么当 new 一个新的魔法师对象时,你就要给它弄上一套默认的初始装备:
class Mage {
Mage() {
//new一个白板法杖
//new一件普通法袍
}
Mage(法杖类型 法杖, 法袍类型 法袍) {
//按传入的法杖类型new一根法杖
//按传入的法袍类型new一件法袍
}
}
现在,你声明一个法师对象,对应的构造函数就被调用了:
//自动执行Mage(),为它添加一根白板法杖和一件普通法袍
Mage babyMage();
//自动执行Mage(法杖类型 法杖, 法袍类型 法袍),给它一套NB的装备
Mage superMage(天使之杖, 神圣裹尸布);
一般来说,你写了自己的构造函数,就有必要写出自己的析构函数。这样删除法师对象时,可以把 new 给他的装备一起删掉,以免造成内存泄漏:
class Mage {
Mage() {
//new一个白板法杖
//new一件普通法袍
}
Mage(法杖类型 法杖, 法袍类型 法袍) {
//按传入的法杖类型new一根法杖
//按传入的法袍类型new一件法袍
}
~Mage() {
//删除法杖、法袍等对象
}
}
C++ 保证在你调用 delete 时,先自动调用析构函数(而我们安排在这个函数里面删除它的法杖、法袍等对象),再删除对象占用的内存。以上,就是所谓的 RAII 机制(Resource Acquisition Is Initialization)。
C++ 中的 RAII 机制等你有了一定的开发经验,那么一定经常听到“(资源)谁申请谁释放”原则。基于这个原则才能清晰、准确的界定资源的生存期、控制权。
而 RAII 天然保证了这个原则被严格执行:如果任何类/对象都严格的管好自己申请的资源、并在析构时确保这些资源被无遗漏的归还;那么对一个熟练掌握了 RAII 的程序员来说,只要一个对象的生存期、所有权、引用关系(计数)在设计之初都理清楚了,资源泄露就是不可能的。
为了清晰表达“所有权转移、复制”等相关语义,C++标准库才提供了 shared_ptr、unique_ptr、weak_ptr 等“智能指针”;更有趣的是,这些“智能指针”同样是借助于有保障的构造/析构函数的自动调用机制设计的。你必须先透彻理解构造/析构函数,才有可能明白它们的工作原理、甚至自己实现它们(没错,过去那个 C++ 标准化 STL 库总是跟不上趟的年代里,很多程序员在自己的工程里手工编写过 shared_ptr)。
因此,当其它语言的程序员觉得离开“垃圾回收”都活不成时,资深 C++ 程序员轻蔑的说“资源可不仅仅是内存”——没有严格的 RAII 机制,没有构造/析构函数调用时机的可靠保证,其它语言在管理内存之外的资源时,反而要比 C++ 困难。