更多
当前位置: 首页 > 艺术商店

《EffectiveC++》读书笔记(4):设计与声明

发布时间:2023-08-02 15:51:39 来源:面包芯语

点击上方“C语言与CPP编程”,选择“关注/置顶/星标公众号”


(资料图片仅供参考)

干货福利,第一时间送达!

最近有小伙伴说没有收到当天的文章推送,这是因为微信改了推送机制,有一部分小伙伴刷不到当天的文章,一些比较实用的知识和信息,错过了就是错过了,建议大家加个星标⭐️,就能第一时间收到推送。

今天继续更新《Effective C++》和《C++并发编程实战》的读书笔记,下面是已经更新过的内容:

《C++并发编程实战》读书笔记(1):并发、线程管控

《C++并发编程实战》读书笔记(2):并发操作的同步

《C++并发编程实战》读书笔记(3):内存模型和原子操作

《C++并发编程实战》读书笔记(4):设计并发数据结构

《Effective C++》读书笔记(1):让自己习惯C++

《Effective C++》读书笔记(2):构造/析构/赋值运算

《Effective C++》读书笔记(3):资源管理

本文包括第6章设计基于锁的并发数据结构与第7章设计无锁数据结构,后者实在有些烧脑了。此外,发现吴天明版的中译本有太多太离谱的翻译错误了,还得是中英对照才行:)

条款18、让接口容易被正确使用,不易被误用

好的接口容易被正确使用,不易被误用;应使自己的所有接口努力达成这一点。

“容易被正确使用”的办法包括:

1、接口的一致性。例如STL的容器几乎都有类似的接口。

2、与内置类型行为类似。例如对于int类型来说a*b=c是非法的,那么自己定义的operator*也应该避免a*b=c的操作。

“不易被误用”的方法包括:

1、建立新类型。例如对于以int类型的年、月、日作为参数的接口来说,用户很可能搞混顺序(不同国家年月日的常用顺序不一),那么可以建立年类、月类、日类作为参数类型。

2、限制类型上的操作。例如令返回值为const,即可阻止用户写出“a*b=c”的代码。

3、限制对象值。例如参数像月份这样取值有限,即可使用枚举类或者预先定义一系列函数返回所有月份。

4、消除用户的资源管理责任。例如条款13中提过一个工厂方法:

如果只是返回一个裸指针,那么删除指针释放资源的责任就落在用户身上,而这常常会带来问题;如果把返回值改为shared_ptr,那么自动释放资源。

shared_ptr还有个性质是会使用每个指针专属的删除器。如果对象在一个DLL中被new创建而在另一个DLL内被delete,会引起运行期错误;而shared_ptr使用的删除器来自创建时所在的DLL,不存在上述问题。

条款19、设计class犹如设计type

当定义了一个新class,也就定义了一个新type。在定义一个新type前考虑以下问题:

新type的对象应该如何被创建和销毁?

对象的初始化和对象的赋值该有什么样的差别?

新type的对象如果被passed by value意味着什么?

什么是新type的合法值?

你的新type需要配合某些继承图系吗?

你的新type需要什么样的转换?

什么样的操作符和函数对此新type而言是合理的?

什么样的标准函数应该驳回?

谁该取用新type的成员?

什么是新type的未声明接口?

你的新type有多么一般化?

你真的需要一个新type吗?

条款20、宁以pass-by-reference-to-const替换pass-by-value

默认情况下C++以by value方式传参。这意味着函数参数都是由实参拷贝构造而来,调用端获得的也是函数返回值拷贝构造而来(不过有各种优化方式),多次拷贝的成本非常大。

C++中引用通常以指针来实现,传引用的成本相当低。因此,绝大多数情况下,用pass-by-reference-to-const替换pass-by-value更加高效。

此外,如果采用pass-by-value,如果误将派生类对象传给基类参数,那么派生类成员将被截断,仅留下基类成员;使用pass-by-reference-to-const即可避免这样的切割问题。

以上规则并不适用于内置类型以及STL的迭代器和函数对象,因为它们本质上很小,pass-by-value更适当。

条款21、必须返回对象时,别妄想返回其reference

虽然条款20中介绍了对于函数参数而言pass-by-reference-to-const相比pass-by-value的优势,但是对于函数返回值而言情况又不一样了。

当要返回的对象是一个局部栈对象时,函数退出后该对象就被销毁,无法通过指针或引用访问。因此函数返回值不能是指针或引用,必须是值传递。

当要返回的对象是函数内分配的堆对象时,如果返回的是堆对象的引用,那么函数退出后指针无法被删除,该堆对象无法被回收。因此需要返回堆对象的指针。

当返回的对象是局部静态变量的指针或引用时,如果程序的逻辑可能同时需要多个这样的对象,那么显然会出错:

正确的做法是:对于返回值而言,该用值传递是就用值传递

条款22、将成员变量声明为private

将成员变量声明为private有各种好处:

1、客户访问数据的一致性。客户只需记住用访问器函数来得到数据,无需考虑哪些是成员函数、那些是成员变量。

2、可细微划分访问控制。public成员全都可读可写,而private成员可以通过访问器、修改器的不同设置来控制读写权限。

3、为所有可能的实现提供弹性。private成员完全封装,日后完全可以在不影响用户使用的前提下被修改或替换。

protected并不比public更具封装性。假设取消一个已存在的protected/ic成员变量,那么所有派生类中使用到它的都需相应调整;而取消一个private成员变量则无需这样。

条款23、宁以non-member、non-friend替换member函数

越多成员被封装,则越少用户能访问它们,则修改它们时弹性就越大。而对于成员变量来说(首先应该是private),能访问它的函数越多,则其封装性越低。

那么,如果在成员函数与非成员/非友元函数之间抉择,并且两者提供相同的技能,那么非成员/非友元函数能访问的成员变量更少,封装性更强。

C++中比较自然的做法是选择clear_webbrowser而非WebBrowser::clear_all,并将其置于WebBrowser的命名空间中。

条款24、若所有参数皆需类型转换,请为此采用non-member函数

如果需要让某函数的所有参数都进行类型转换,包括this指针所指的参数,那么该函数必须是non-member的。

虽然让类支持隐式类型转换通常很糟糕,但有个例外是建立数值类型时:

当operator*是成员函数时,无法解决这样的代码:

对于有理数类的乘法,如果要支持字面量隐式转换为有理数对象,那么该类的operator*的所有参数都可能需要类型转换。因此成员函数无法解决这个问题,必须转为非成员函数:

条款25、考虑写出一个不抛异常的swap函数

swap函数目前已是异常安全性编程的脊柱(copy and swap写法)。

如果对于你的类/模板类来说,swap的默认实现的效率可接受,那么无需额外做什么;而如果默认实现的效率不足,通常源于类为了二进制兼容性使用了pimpl技法,就需要实现一个确保不抛出异常的swap:

1、首先,提供一个public的swap成员函数,让它高效地置换两个对象。

2、在类/模板类所在的命名空间提供一个non-member的swap,调用swap成员函数。

3、对于类(而非模板类),还需特化std::swap,调用swap成员函数。

4、真正使用swap时先声明using std::swap,再直接使用swap,让编译器寻找最合适的swap实现版本。

你好,我是飞宇,本硕均于某中流985 CS就读,先后于百度搜索以及字节跳动电商等部门担任Linux C/C++后端研发工程师。

同时,我也是知乎博主@韩飞宇,日常分享C/C++、计算机学习经验、工作体会,欢迎点击此处查看我以前的学习笔记&经验&分享的资源。

我组建了一些社群一起交流,群里有大牛也有小白,如果你有意可以一起进群交流。

欢迎你添加我的微信,我拉你进技术交流群。此外,我也会经常在微信上分享一些计算机学习经验以及工作体验,还有一些内推机会。

加个微信,打开另一扇窗

上一篇:热评丨未来人们一定会想起 我们在地下700米深处的努力

下一篇:最后一页