More Effective C++ 读书摘要(一、基础议题 二、运算符)Item1 - 8

2024-04-02 07:58

本文主要是介绍More Effective C++ 读书摘要(一、基础议题 二、运算符)Item1 - 8,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

〇、“引言”
约定与术语:
1.指针加p,引用加r。
2.(在对operator==)的调用中,lhs和rhs,分别为“left-hand side”、“right-hand side”的缩写。
3.ctor表示“constructor”,dtor表示“destructor”

 

一、基础议题
Item 1. 区分指针和引用:
以下情况应该使用引用->
①当知道要指代某个对象并且不会再指代其他的东西
②当实现某些操作符时,如果这些操作符在语义上的要求使得指针不可行。(如operator[])

以下情况应该使用指针->
①当知道要指代有可能什么也不指向
②当有可能在不同时候指向不同的对象,即更改指针的指向

 

Item 2. 优先考虑C++风格的类型转换:
static_cast:         类似于C风格的类型转换
const_cast:         去掉一个对象的const属性
dynamic_cast:     针对一个继承体系做向下或者横向的安全转换
reinterpret_cast:在函数指针之间进行类型转换(几乎是不可移植的)

 

Item 3. 决不要把多态用于数组:
由于派生类对象一般要比基类对象大,所以针对多态使用指针运算很可能会出问题。而因为数组操作几乎总是要涉及指针运算,所以数组和多态也不能一起使用。
delete [] array时就会出问题。

 

Item 4. 避免不必要的默认构造函数:
通常的类都应该有一个默认构造函数,否则
①很难创建一个栈上的对象数组(TheClass classArray[10]
②无法作为许多基于模板的容器类的类型参数使用,因为模板内部需要创建关于模板参数类型的数组(同①)。
③导致没有默认构造函数的虚基类要求所有它的派生类都必须知道、理解虚基类构造函数的参数的含义并且提供这些参数,无论继承层次有多远。

但是没有当足够信息时去完全初始化一个对象会使得其他成员函数变得复杂,因为必须检测变量是否真的有意义。提供无意义的默认构造函数也会影响类的运行效率。

 

二、运算符
Item 5. 小心用户自定义的转换函数:
编译器可能会在你根本不希望、想不到的时候调用一个隐式类型转换函数。如:
例子①

此时编译器并不会报错,而是自作主张找到operator double使得整个调用成功。
解决方法:

则必须显式调用。正如STL的string的成员函数c_str。

 

例子①可以通过不声明类型转换运算符来避免,但下面这个更夸张的例子②:

a的下标打掉了,但编译器并不会报错,而是会生成以下代码:
if (a==static_cas<Array<int> >(b[i])) {...}来全调用成功(注意这里最后两个>符号之间有个空格,why?)。这句代码以b[i]生成了一个临时数组。

 

单个参数的构造函数的问题只能通过explict关键字来克服。  

 

 此外还可以通过一种代理类的技术来重新构造类:

Array<int> a(10)仍然能够通过,会将int转化为ArraySize。但a==b[i]则不能通过,因为为了使得调用成功,会需要一个Array<int>在==的右侧,于是要先将int(即b[i])转换成ArraySize,再将ArraySize转换为Array<int>,但第二个转换是不允许的。

 

最后作者建议:允许编译器进行隐式类型转换通常是弊大于利的,所以除非确实需要,否则不要提供类型转换函数。

 

Item 6. 区分自增运算符和自减运算符的前缀形式与后缀形式:

后缀形式调用时,编译器会悄悄地传递一个0作为参数。而这个int参数实际上是不起作用的,仅仅是为了区分前缀与后缀。
后缀形式必须在内部创建一个临时对象返回。后缀形式的const是为了防止链式后缀(如i++++)。

 

Item 7. 不要重载"&&"、"||"和",":
因为operator&&(expression1, expression2)与operator||(expression1, expression2)均无法保证expression1和expression2之中哪个先被求值(实际上都被求值),因此无法使用C、C++的“短路求值法”,因此它是从左到右求值的。
同样,如果重载逗号运算符,也无法保证从左到右的顺序求值。

 

Item 8. 理解new和delete在不同情形下的含义:
①operator new ->其唯一职责是分配内存,它对构造函数一无所知。这就是operator new与new最本质的区别。
operator new会返回一个未经处理的指针,而new操作符会将这个指针转换为一个对象。
当编译器看到语句:string *ps = new string("Memory Management")时,它会生成如下的代码:

小结:如果你仅仅想分配内存,就调用operator new,它不会调用构造函数。如果想定制在堆对象被建立时的内存分配过程,应该写一个自己的operator new函数,然后使用new操作符,new会调用你定制的operator new。

 

②placement new ->在一块已经有指针指向的内存里建立一个对象:

小结:如果想在一块已经有指针指向的内存里建立一个对象,用placement new。

 

③与①相对应,operator delete仅仅负责释放内存,而delete操作符会调用operator delete,然后再调用析构函数。
当编译器看到语句:delete ps;时,它会生成如下的代码:
ps->~string();          //调用析构函数
operator delete(ps);    //释放内存


小结如果只想处理原始的、未被初始化的内存,应该完全绕过new和delete操作符,而是通过直接调用operator new获得内存和operator delete释放内存。
void *buffer = operator new(50*sizeof(char));
...
operator delete(buffer);

所以如果使用placement new在内存中创建对象,应该避免对这块内存使用delete操作符,因为delete是通过调用operator delete来释放内存,但这块内存最初不是由operator new分配的。此时应该显式释放对象(通常放在对象的析构函数中,即显式调用析构函数)。

 

④operator new[]与operator delete[]对应。
string *ps = new string[10];
delete []ps;

这篇关于More Effective C++ 读书摘要(一、基础议题 二、运算符)Item1 - 8的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/869414

相关文章

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<

C++包装器

包装器 在 C++ 中,“包装器”通常指的是一种设计模式或编程技巧,用于封装其他代码或对象,使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍,可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型: 1. 函数包装器 函数包装器用于封装一个或多个函数,使其接口更统一或更便于调用。例如,std::function 是一个通用的函数包装器,它可以存储任意可调用对象(函数、函数

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

读书摘录《控糖革命》

又到了每周推荐时间,这周末给大家推荐一本书《控糖革命》。身体是革命的本钱,只有保持健康的身体,才能保证持久的生产力,希望我的读者都可以身体健康,青春永驻。 推荐前,首先申明在《控糖革命》一书中,作者提出了一些颇具争议的观点,这些观点并没有经过系统的科学论证,但这并不妨碍我们从中获取一些有益的控糖建议。作者通过分享作者的个人经验和研究,为我们提供了一种全新的饮食理念,帮助我们更好地控制血糖峰值

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象

06 C++Lambda表达式

lambda表达式的定义 没有显式模版形参的lambda表达式 [捕获] 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 有显式模版形参的lambda表达式 [捕获] <模版形参> 模版约束 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 含义 捕获:包含零个或者多个捕获符的逗号分隔列表 模板形参:用于泛型lambda提供个模板形参的名

零基础学习Redis(10) -- zset类型命令使用

zset是有序集合,内部除了存储元素外,还会存储一个score,存储在zset中的元素会按照score的大小升序排列,不同元素的score可以重复,score相同的元素会按照元素的字典序排列。 1. zset常用命令 1.1 zadd  zadd key [NX | XX] [GT | LT]   [CH] [INCR] score member [score member ...]

6.1.数据结构-c/c++堆详解下篇(堆排序,TopK问题)

上篇:6.1.数据结构-c/c++模拟实现堆上篇(向下,上调整算法,建堆,增删数据)-CSDN博客 本章重点 1.使用堆来完成堆排序 2.使用堆解决TopK问题 目录 一.堆排序 1.1 思路 1.2 代码 1.3 简单测试 二.TopK问题 2.1 思路(求最小): 2.2 C语言代码(手写堆) 2.3 C++代码(使用优先级队列 priority_queue)

【C++高阶】C++类型转换全攻略:深入理解并高效应用

📝个人主页🌹:Eternity._ ⏩收录专栏⏪:C++ “ 登神长阶 ” 🤡往期回顾🤡:C++ 智能指针 🌹🌹期待您的关注 🌹🌹 ❀C++的类型转换 📒1. C语言中的类型转换📚2. C++强制类型转换⛰️static_cast🌞reinterpret_cast⭐const_cast🍁dynamic_cast 📜3. C++强制类型转换的原因📝

【Linux 从基础到进阶】Ansible自动化运维工具使用

Ansible自动化运维工具使用 Ansible 是一款开源的自动化运维工具,采用无代理架构(agentless),基于 SSH 连接进行管理,具有简单易用、灵活强大、可扩展性高等特点。它广泛用于服务器管理、应用部署、配置管理等任务。本文将介绍 Ansible 的安装、基本使用方法及一些实际运维场景中的应用,旨在帮助运维人员快速上手并熟练运用 Ansible。 1. Ansible的核心概念