Effective C++ 10 总结

yuyuyuj1e

已于 2022-05-03 14:52:58 修改

阅读量462

点赞数

分类专栏： Effective C++ 文章标签： c++ 开发语言

于 2022-05-03 14:51:46 首次发布

本文链接：https://blog.csdn.net/yuyuyuj1e/article/details/124555265

版权

Effective C++ 专栏收录该内容

10 篇文章 0 订阅

订阅专栏

1. 让自己习惯 C++

条款 01：视 C++ 为一个语言联邦

请记住:

C++ 高效编程守则视状况而变化，取决于你使用 C++ 哪一部分。

条款 02：尽量以 const，enum，inline 替代 #define

请记住:

对于单纯常量，最好以 const 对象或 enum 替换 #define。
对于形似函数的宏，最好改用 inline 替换 #define。

条款03：尽可能使用 const

请记住:

将某些东西声明为 const 可帮助编译器检测出错误用法。const 可被施加于任何作用内的对象、函数参数、函数返回类型、成员函数本体。
编译器强制实施 bitwise constness，但你编写程序时应该使用“概念上的常量性”。
当 const 和 non-const 成员函数有着实质等价的实现时，令 non-const 版本调用 const 版本可避免代码重复。

条款04：确定对象被使用前已先被初始化

请记住:

为内置型对象进行手工初始化，因为 C++ 不保证初始化它们。
构造函数最好使用成员初始化列表，而不要再构造函数体内使用赋值操作。初始值列表列出的成员变量，其排列次序应该和它们在 class 中的声明次序相同。
为免除“跨编译单元之初始化次序”问题，请以 local static 对象替换 non-local static 对象。

2. 构造、析构、赋值运算符

条款05：了解 C++ 默默编写并调用哪些函数

请记住:

编译器可以自行为 class 创建 default 构造函数、copy 构造函数、copy assignment 运算符以及析构函数。

条款06：若不想使用编译器自动生成的函数，就该明确拒绝

请记住:

为驳回编译器自动提供的机能（合成函数），可将相应的成员函数只声明不定义为 private 的。也可以使用像 Uncopyable 这样的 base class。

条款07：为多态基类声明 virtual 析构函数

请记住:

polymorphic（带多态性质的）base class 应该声明一个 virtual 析构函数。如果 class 带有任何 virtual 函数，它就应该拥有一个 virtual 析构函数。
class 的设计目的如果不是作为 base class 使用，或不是为了具备多态性，就不该声明 virtual 析构函数。

08：别让异常逃离析构函数

请记住:

析构函数绝对不要吐出异常。如果一个析构函数调用的函数可能抛出异常，析构函数应该捕捉任何异常，然后吞下它们（不传播）或结束程序。
如果客户需要对某个操作函数运行期间抛出的异常做出反应，那么 class 应该提供一个普通函数（而非析构函数中）执行该操作。

09：绝不再构造和析构过程中调用 virtual 函数

请记住:

在构造和析构期间不要调用 virtual 函数，因此这类调用从不下降至 derived class。

条款10：令 operator= 返回一个 reference to *this

请记住:

令赋值运算符返回一个 reference to *this。

条款11：在 operator= 中处理"自我赋值"

请记住:

确保当对象自我赋值时 operator= 有良好行为。其中技术包括，比较”来源对象“和”目标对象“的地址、精心周到的语句顺序以及 copy-and-swap。
确保当函数操作一个以上的对象，而其中多个对象是同一个对象时，其行为仍然正确。

条款12：复制对象的每一个成分

请记住:

Copying 函数应该确保复制”对象内的所有成员变量“以及”所有 base class 成分“。
不要尝试以某个 copying 函数实现另一个 copying 函数。应该将共同机能放进第三个函数中，并由两个 copying 函数共同调用。

3. 资源管理

条款13：以对象管理资源

请记住:

为了放置资源泄露，请使用 RAII 对象，它们在构造函数中获得资源并在析构函数中释放资源。
两个常被使用的 RAII class 分别是：shared_ptr 和 auto_ptr。前者通常是较佳选择，因为其 copy 行为比较直观。若选择 auto_ptr，复制动作会使它（被复制者）指向 null。

条款14：在资源管理类中小心 copying 行为

请记住:

复制 RAII 对象必须一并复制它所管理的资源，所以资源的 copying 行为决定 RAII 对象的 copying 行为。
普通而常见的 RAII class 的 copying 行为是：抑制 copying、施行引用计数法。不过其他行为也都可能被实现。

条款15：在资源管理类中提供对原始资源的访问

请记住:

API 往往要求访问原始资源，所以每一个 RAII class 应该体用一个“取得其所管理的资源”的方法。
对原始资源的访问可能经由显式转换或隐式转换。一般而言显式转换比较安全，但隐式转换对客户比较方便。

条款16：成对使用 new 和 delete 时要采取相同形式

请记住:

如果你在 new 表达式使用 []，必须在相应的 delete 表示中也是用 []。如果在表达式中不适用 []，一定不要再相应的 delete 表达式中使用 []。

条款17：以独立语句将 new(ed) 对象置入智能指针

请记住:

以独立语句将 new(ed) 对象存储于（置入）智能指针内。如果不这么做，一旦异常被抛出，有可能导致难以察觉的资源泄露。

4. 设计与声明

条款18：让接口容易被正确使用，不易被误用

请记住:

好的接口很容易被正确使用，不容易被误用。你应该在你的所有接口中努力达成这些性质。
促进正确使用的办法包括，保持接口的一致性，以及与内置类型的行为兼容。
阻止误用的办法包括，建立新类型、限制类型上的操作、束缚对象值以及消除客户的资源管理责任。
tr1::shared_ptr 支持定制型删除器。这可防范 DLL（动态链接程序库）问题，可被用来自动解除互斥锁等待。

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

请记住:

Class 的设计就是 type 的设计。在定义一个新 type 之前，请确定你已经考虑过本条款覆盖的所有讨论主题。

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

请记住:

尽量以 pass-by-reference-to-const 替换 pass-by-value。前者通常比较高效，并可以避免切个问题。
以上规则并不适用于内置类型，以及 STL 的迭代器和函数对象。对它们而言，pass-by-value 往往比较适当。

条款21：返回对象时，别妄想返回其 reference

请记住:

绝对不要返回 pointer 或 reference 指向一个 local stack 对象；绝对不要返回 reference 指向一个 heap-allocated 对象；绝对不要返回 pointer 或 reference 指向一个 local static 对象。

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

请记住:

切记将成员变量声明为 private。这可赋予客户访问数据的一致性、可细微划分访问控制、允诺约束条件获得保证，并提供 class 作者充分的实现弹性。
protected 并不比 public 更具封装性。

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

请记住:

宁可拿 non-member、non-friend 函数替换 member 函数。这也做可以增加封装性、包裹弹性和机能扩充性。

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

请记住:

如果你需要为某个函数的所有参数（包括被 this 指针所指的那个隐喻参数）进行类型转换，那么这个函数是必须是 non-member。

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

请记住:

当 std::swap 对你的类型效率不高时，提供一个 swap 成员函数，并确定这个函数不抛出异常。
如果你提供一个 member swap，也应该提供一个 non-member swap 来调用前者。对于 class（非 class template），请特例化 std::swap。
调用 swap 时应针对 std::swap 使用 using 声明式，然后调用 swap 并不带任何命名空间资格修饰。
为用户定义类型进行 std template 全特化是好的，但千万不要尝试在 std 内加入某些对 std 而言全新的东西。

5. 实现

条款26：尽可能延后变量定义式的出现时间

请记住:

尽可能延后变量定义式的出现，这样做可能增加程序的清晰度并改善程序效率。

条款27：尽量少做转型动作

请记住:

如果可以，尽量避免转型，特别是在注重效率的代码中避免 dynamic_cast。如果有个设计需要转型动作，试着发展无需转型的替代设计。
如果转型是必要的，试着将它隐藏于某个函数背后。客户随后可以调用该函数，而不需将转型放进他们自己的代码内。
尽量使用 C++ 新式转型，不要使用旧式转型。前者很容易辨识出来，而且也比较有分门别类的职掌。

条款28：避免返回 handles(引用、指针和迭代器) 指向对象内部成分

请记住:

避免返回 handle（包括引用、指针、迭代器）指向对象内部。遵守这个条款可增加封装性，帮助 const 成员函数行为像个 const，并将发生“hadle 指向不存在对象”的可能性降至最低。

条款29：为异常安全而努力是值得的

请记住:

异常安全函数即使发生异常也不会泄露资源或允许任何数据结构败坏。这样的函数区分未三种可能的保证：基本型、强烈型、不抛异常型。
强烈保证往往能够以 copy-and-swap 实现出来，但强烈保证并非对所有函数都可实现或具备现实意义。
函数提供的异常安全保证通常最高只等于其所调用的各个函数的异常安全保证中的最弱者（木桶效应）。

条款30：透彻了解 inlining 的里里外外

请记住:

将大多数 inline 函数限制在小型、被频繁调用的函数身上。这可使日后的调试过程和二进制升级更容易，也可使潜在的代码膨胀问题最小化，是程序的速度提升机会最大化。
不要只因为 function template 出现在头文件，就将它们声明为 inline。

条款31：将文件间的编译依存关系降至最低

请记住:

支持”编译依存性最小化“的一般构想是：相依于声明式，不要相依于定义式。基于此构想的两个手段是 handle class 和 interface class。
程序库头文件应该以”完全且仅有声明式“的形式存在。这种做法不论是否涉及 template 都适用。

6. 继承与面向对象设计

条款 32：确定你的 public 继承塑模出 is-a 关系

请记住:

public 继承意味 is-a。适用于 base class 身上的每一件事情一定也适用于 derived class 身上，因为每一个 derived class 对象也都是以给 base class 对象。

条款 33：避免遮掩继承而来的名称

请记住:

derived class 内的名称会掩盖 base class 内的名称。在 public 继承下从来没有人希望如此。
为了让被掩盖的名称再见天日，可使用 using 声明或转交函数。

条款 34：区分接口继承和实现继承

请记住:

接口继承和实现继承不同。在 public 继承下，derived class 总是继承 base class 的接口。
pure virtual 函数只具体指定接口继承。
impure virtual 函数具体指定接口继承以及缺省实现继承。
non-virtual 函数具体指定接口继承以及强制性实现继承。

条款 35：考虑 virtual 函数以外的其他选择

请记住:

virtual 函数的替代方案包括 NVI 手法及 strategy 设计模式的多种形式。NVI 手法自身是一个特殊形式的 template method 设计模式。
将机能从成员函数一道 class 外部，带来的一个缺点是，非成员函数无法访问 class 的 non-public 成员。
tr1::function 对象的行为就像一般函数指针。这样的对象可接纳“与给定目标签名式兼容”的所有可调用物。

条款 36：绝不重新定义继承而来的 non-virtual 函数

请记住:

绝不要重新定义继承而来的 non-virtual 函数。

条款 37：绝不重新定义继承而来的缺省参数值

请记住:

绝不要重新定义一个继承而来的缺省参数值，因为缺省参数值都是静态绑定，而 virtual 函数却是动态绑定的。

条款 38：通过符合塑模出 has-a 或根据某物实现出

请记住:

复合的意思和 public 继承完全不同。
在应用域，复合意味 has-a（有一个）。在实现域，复合意味 is-implemented-in-terms-of（根据某物实现出）。

条款 39：明智而审慎地使用 private 继承

请记住:

private 继承意味 is-implemented-in-terms-of（根据某物实现出）。它通常比复合的级别低。但是当 derived class 需要访问 protected base class 的成员，或需要重新定义继承而来的 virtual 函数时，这么设计是合理的。
和复合不同，private 继承可以造成 empty base 最优化。这对于致力于对象尺寸最小化的程序库开发者而言，可能很重要。

条款 40：明智而审慎地使用多重继承

请记住:

多重继承比单一继承复杂。它可能导致新的歧义性，以及对 virtual 继承的需要。
virtual 继承会增加大小、速度、初始化（及及赋值）复杂度等等成本。如果 virtual base class 不带任何数据，将是最具使用价值的情况。
多重继承的确有正当用途。其中一个情节涉及，public 继承某个 interface class，private 继承某个协助实现的 class 的组合。

7. 模板与泛型编程

条款 41：了解隐式接口和编译期多态

请记住:

class 和 template 都支持接口和多态。
对 class 而言接口时显式，以函数签名为中心。多态则是用过 virtual 函数发生于运行期。
对 template 参数而言，接口是隐式，奠基于有效表达式。多态则是通过 template 具现化和函数重载解析发生于编译期。

条款 42：了解 typename 的双重意义

请记住:

声明 template 参数时，前缀关键字 class 和 template 可互换。
请使用关键字 typename 标识嵌套丛书类型；但不得在 base class list（基类列表）或 member initialization list（成员初始化列表）内以它作为 base class 修饰符。

条款 43：学习处理模板化基类内的名称

请记住:

可在 derived class templates 内通过 “this->” 指涉 base class templates 内的成员名称，或籍由一个明确写出的 “base class 资格修饰符” 完成。

条款44：将与参数无关的代码抽离 template

请记住:

templates 生成多个 class 和多个函数，所以任何 template 代码都不该与某个造成膨胀的 template 参数产生相依关系。
因非类型模板参数而造成的代码膨胀，往往可以消除，做法是以函数参数或 class 成员变量替换 template 参数。
因类型参数而造成的代码膨胀，往往可降低，做法是让带有完全相同的二进制表述的具现类型共享实现码。

条款 45：运用成员函数模板接受所有兼容类型

请记住:

请使用 member function template（成员函数模板）生成“可接受所有兼容类型”的函数。
如果你声明 member template 用于“泛化 copy 构造”或“泛化 assignment 操作”你还是需要声明正常的 copy 构造函数和 copy assignment 操作符。

条款 46：需要类型转换时请为模板定义非成员函数

请记住:

当我们编写一个 class template，而它所提供之“与此 template 相关的”函数支持“所有参数之隐式类型转换”时，请将那些函数定义为“ class template 内部的 friend 函数”。

条款 47：请使用 trait class 表现类型信息

请记住:

trait classe 使得“类型相关信息”在编译期可用。它们以 template 和 “templates 特化”完成实现。
整合重载技术后，trait class 有可能在编译期对类型执行 if…else 测试。

条款 48：认识 template 元编程

请记住:

TMP 可将工作由运行期移往编译期，因而得以实现早期错误侦测和更高的执行效率。
TMP 可被用来生成“基于政策选择组合”的客户定制代码，也可用来避免生成对某些特殊类型并不适合的代码。

8. 定制 new 和 delete

条款 49：了解 new-handler 的行为

请记住:

set_new_handler 允许客户指定一个函数，在内存分配无法获得满足时被调用。
nothrow new 是一个颇为局限的工具，因为它只适用于内存分配；后续的构造函数调用还是可能抛出异常。

条款 50：了解 new 和 delete 的合理替换时机

请记住:

有许多理由需要写个自定的 new 和 delete，包括改善效能、对 heap 运用错误进行调试、收集 heap 使用信息。

条款 51：编写 new 和 delete 时需固守常规

请记住:

operator new 应该内含一个无穷循环，并在其中尝试分配内存，如果它无法满足内存需求，就该调用 new-handler。它也应该有能力处理 0-byte 申请。class 专属版本则还应该处理“比正确大小更大的（错误的）申请”。
operator delete 应该在受到 null 指针时不做任何事情。class 专属版本则还应该处理“比正确大小更大的（错误的）申请”。

条款 52：写了 placement new 也要写 placement delete

请记住:

当你写一个 placement operator new，请确定也写出了对应的 placement operator delete。如果没有这样做，你的程序可能会发生内存泄漏。
当你声明 placement new 和 placement delete，请确定不要无意识（非故意）地掩盖了它们的正常版本。

9. 杂项讨论

条款 53：不要轻忽编译器警告

请记住:

严肃对待编译器发出的警告信息。努力在你的编译器的最高警告级别下争取“无任何警告”的荣誉。
不要过度依赖编译器的报警能力，因为不同的编译器对待事情的态度并不相同。一旦移植到另一个编译器上，你原本依赖的警告信息有可能消失。

条款 54：让自己熟悉包括 TR1 在内的标准

请记住:

C++ 标准程序库的主要机能是由STL、iostreams、locales 组成。并包含 C99 标准程序库。
TR1 添加了智能指针（例如 tr1::shared_ptr）、一般化函数指针（tr1::function）、hash-based 容器、正则表达式)以及另外 10 个组件的支持。
TR1 自身只是一份规范。为获得 TR1 提供的好处，你需要一份实物。一个好的实物来源是 Boost。