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++中RAII资源获取即初始化

《C++中RAII资源获取即初始化》RAII通过构造/析构自动管理资源生命周期,确保安全释放,本文就来介绍一下C++中的RAII技术及其应用,具有一定的参考价值,感兴趣的可以了解一下... 目录一、核心原理与机制二、标准库中的RAII实现三、自定义RAII类设计原则四、常见应用场景1. 内存管理2. 文件操

C++中零拷贝的多种实现方式

《C++中零拷贝的多种实现方式》本文主要介绍了C++中零拷贝的实现示例,旨在在减少数据在内存中的不必要复制,从而提高程序性能、降低内存使用并减少CPU消耗,零拷贝技术通过多种方式实现,下面就来了解一下... 目录一、C++中零拷贝技术的核心概念二、std::string_view 简介三、std::stri

C++高效内存池实现减少动态分配开销的解决方案

《C++高效内存池实现减少动态分配开销的解决方案》C++动态内存分配存在系统调用开销、碎片化和锁竞争等性能问题,内存池通过预分配、分块管理和缓存复用解决这些问题,下面就来了解一下... 目录一、C++内存分配的性能挑战二、内存池技术的核心原理三、主流内存池实现:TCMalloc与Jemalloc1. TCM

C++ 函数 strftime 和时间格式示例详解

《C++函数strftime和时间格式示例详解》strftime是C/C++标准库中用于格式化日期和时间的函数,定义在ctime头文件中,它将tm结构体中的时间信息转换为指定格式的字符串,是处理... 目录C++ 函数 strftipythonme 详解一、函数原型二、功能描述三、格式字符串说明四、返回值五

从基础到进阶详解Pandas时间数据处理指南

《从基础到进阶详解Pandas时间数据处理指南》Pandas构建了完整的时间数据处理生态,核心由四个基础类构成,Timestamp,DatetimeIndex,Period和Timedelta,下面我... 目录1. 时间数据类型与基础操作1.1 核心时间对象体系1.2 时间数据生成技巧2. 时间索引与数据

C++作用域和标识符查找规则详解

《C++作用域和标识符查找规则详解》在C++中,作用域(Scope)和标识符查找(IdentifierLookup)是理解代码行为的重要概念,本文将详细介绍这些规则,并通过实例来说明它们的工作原理,需... 目录作用域标识符查找规则1. 普通查找(Ordinary Lookup)2. 限定查找(Qualif

安装centos8设置基础软件仓库时出错的解决方案

《安装centos8设置基础软件仓库时出错的解决方案》:本文主要介绍安装centos8设置基础软件仓库时出错的解决方案,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐... 目录安装Centos8设置基础软件仓库时出错版本 8版本 8.2.200android4版本 javas

C/C++ chrono简单使用场景示例详解

《C/C++chrono简单使用场景示例详解》:本文主要介绍C/C++chrono简单使用场景示例详解,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友... 目录chrono使用场景举例1 输出格式化字符串chrono使用场景China编程举例1 输出格式化字符串示

C++/类与对象/默认成员函数@构造函数的用法

《C++/类与对象/默认成员函数@构造函数的用法》:本文主要介绍C++/类与对象/默认成员函数@构造函数的用法,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录名词概念默认成员函数构造函数概念函数特征显示构造函数隐式构造函数总结名词概念默认构造函数:不用传参就可以

C++类和对象之默认成员函数的使用解读

《C++类和对象之默认成员函数的使用解读》:本文主要介绍C++类和对象之默认成员函数的使用方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、默认成员函数有哪些二、各默认成员函数详解默认构造函数析构函数拷贝构造函数拷贝赋值运算符三、默认成员函数的注意事项总结一