More Effective C++ 35个改善编程与设计的有效方法笔记与心得 1

最新推荐文章于 2024-08-15 05:02:54 发布

小飞猪Jay

最新推荐文章于 2024-08-15 05:02:54 发布

阅读量957

点赞数 33

分类专栏： c++面向对象文章标签： c++ 笔记

本文链接：https://blog.csdn.net/qq_43504141/article/details/140072099

版权

c++面向对象专栏收录该内容

15 篇文章 0 订阅

订阅专栏

一. 基础议题

条款1：仔细区别 pointers 和 references

‌‌‌‌　　这是一个常见的问题。指针（pointers）和引用（references）都是C++面向对象编程中常用的概念，虽然他们在某些方面表现得很相似，但是其实他们有一些重要的区别。

1. 初始化

指针可以在任何时候被初始化，而且可以多次重新赋值，指向不同的对象或值。
引用在创建时必须被初始化，并且一旦被初始化后就不能改变目标对象。换句话说，引用一旦绑定到一个对象上，就不能重新赋值引用到另一个对象。

2. Null值

指针可以为null，表示它没有指向任何对象。
引用不能为null，必须始终链接到一个已经存在的对象。

3. “解引用"与"间接访问”

指针需要被"解引用"以访问其指向的值（使用*操作符）。
引用不需要特别的语法就可以访问其关联的对象，可以像访问普通变量一样操作引用。

4. 内存

指针本身也有一个内存地址，并占据内存空间。
引用不占用实际内存，只是一个别名。

5. 指针的指针与引用的引用

可以有指向指针的指针，甚至有指向指针的指针的指针等等。
C++规定，没有引用的引用。

‌‌‌‌　　总的来说，如果需要一个变量与另一个变量共享/链接同一值，并且不需要修改链接的话，引用通常是更好的选择。相反，如果你需要存储空值NULL，或者需要在不同的时间点指向不同的对象或者更改指向，则需要使用指针。

条款2：最好使用C++转型操作符

C++提供了四种类型转换操作符：static_cast，dynamic_cast，const_cast和reinterpret_cast。各自都有特定的用途，你应该根据具体的情况选择使用哪一种。

static_cast：这是最常用的转型操作符，可以用于各种简单的、非多态类型之间的转换，比如基础数据类型（如int到float，float到int），同一继承层级中的上下转型等。
dynamic_cast：主要用于类层次间的向上和向下转换。只有当所涉及的类都是多态的（即，至少有一个虚函数）时才可以使用。如果转换失败，dynamic_cast会返回null。
const_cast：用于将const对象转为非const对象，或者将volatile对象转为非volatile对象。但这并不意味可以通过const_cast修改const对象的值，因为那通常會是未定义的行为。
reinterpret_cast：进行低层次的类型转换，比如将一个指针转换为一个整数，或者将一个类型的指针转换为另一个不相关类型的指针。应谨慎使用，因为其结果很可能取决于具体实现，而且在不同的机器和编译器上可能会有不同的结果。

以上就是C++中的四种转型操作符。值得注意的是，应该优先使用C++的这四种类型转换操作符，而不是C风格的类型转换，因为C++的类型转换操作符更易于找到，也更易于理解和控制。

这里再解释一下volatile对象：
‌‌‌‌　　volatile是C++中的一个关键字，它用来修饰变量，表示这个变量可能会在外部,而非程序代码本身,被意外改变。对于被volatile关键字修饰的变量，编译器将会做两件事：

它将确保不会因为编译器的优化策略而调整对这个变量的读取和写入的顺序。也就是说，编译器不会将这些操作进行缓存或者重排，而是每次都会直接在内存中进行。
它通知编译器对这个变量的操作不可省略。也就是说，即使同一个值被写入多次，或者读取后的值没有被使用，编译器都不可以省略这些 seemingly redundant的操作。

常见的场合如下：

并发编程：当多个线程可能会访问和修改同一个数据项时，这个数据项应该被声明为volatile。
硬件访问：当一个变量可能被外部之外的事物修改，比如：硬件寄存器，应该将该变量声明为volatile。
用于实现特殊的内存映射，例如某些特殊的硬件设备的内存区域。

请注意，尽管volatile可以防止编译器的某些优化，但它并不是线程安全的解决方案。在多线程环境中进行操作时，需要额外的同步工具（如互斥锁，信号等）来保证线程安全。

条款3：绝对不要以多态（polymorphically）方式处理数组

‌‌‌‌　　这句话其实是建议我们在使用含有多态性质的数组（即，数组元素是基类的指针，但实际指向不同的子类对象）时需要格外小心。

‌‌‌‌　　当我们处理传统的数组时，编译器会做很多工作来帮助我们，例如正确地识别并管理数组中元素的大小和布局。但是当我们使用多态数组时，这些编译器的帮助就不再适用，我们需要手动管理元素的生命周期，包括它们的创建和销毁。

‌‌‌‌　　如果我们像处理普通数组一样处理多态数组，而没有正确管理这些对象的生命周期，就可能会导致一些问题，如内存泄漏或者对象的“切片”。

‌‌‌‌　　对象的“切片” 是一个常见的问题，发生在当我们直接把一个子类对象赋值给一个基类对象时。子类对象的“基类部分”会被复制到基类对象中，而子类特有的部分则会被切掉，造成数据丢失。

例如以下代码:

Base array[10];
Derived d;

array[0] = d; // 对象切片, 把派生类对象赋值给基类对象, 丢失了派生类特有的数据。

‌‌‌‌　　解决上述问题的常见策略是使用容器类（如vector或array）存储指向基类的指针，并使用new创建对象，delete删除对象，从而确保每个对象都正确地创建和销毁。

std::vector<Base*> array;
array.push_back(new Derived());
...
delete array[0]; // 不能忘记删除对象以防止内存泄漏

‌‌‌‌　　所以，"绝对不要以多态方式处理数组"的主要含义是，我们在使用多态数组时必须要更加小心，以防止上述的问题发生。

条款4：非必要不提供default constructor

‌‌‌‌　　这句话的含义是，除非特别需要，否则应避免提供默认构造函数。

‌‌‌‌　　在C++中，默认构造函数是一个没有任何参数的构造函数，或者，所有参数都有默认值的构造函数。其他语言中同样也有类似的概念。

‌‌‌‌　　默认构造函数被调用的情况包括如下几种：创建新对象时没有提供任何参数；创建类的数组时；类的派生类的构造函数中调用基类的构造函数，但没有提供任何参数。

‌‌‌‌　　通常，如果给定的类有一些必须要满足的初始条件或者属性，那么为了避免默认构造函数创建出未初始化或者部分初始化的对象，我们可能会选择不提供默认构造函数。

‌‌‌‌　　比如说：假设我们有一个表示分数的类Fraction。每个Fraction对象都有两个成员变量，分子（numerator）和分母（denominator）。在这个情况下，我们可能不希望提供一个默认构造函数 Fraction()，因为这样可能会创建出一个分母为0的对象，这在数学上是没有意义的，因此我们更希望用户必须手动提供分子和分母。

‌‌‌‌　　所以，"非必要不提供default constructor"主要是为了防止创建未初始化或部分初始化的对象，提高代码的健壮性。但是，具体是否需要提供默认构造函数，还需要根据类对象的具体需求来决定。