1 .让自己习惯C++
条款01 视C++为一个语言联邦
C
Object-Oriented C++
Template C++
STL
C++ 高效编程守则视情况而变化,取决于你使用C++ 的哪一部分。
条款02 尽量与const,enum,inline替换#define
- 对于单纯常量,最好以
const 对象或enums 替换#defines 。
- 对于形似函数的宏(
macros ),最好改用inline 函数替换#defines 。
条款03 尽可能使用const
- 将某些东西声明为
const 可以帮助编译器侦测出错误用法。const 可被施加于任何作用域内的对象、函数参数、函数返回类型、成员函数本体。
- 编译器强制实施
bitwise constness ,但你编写程序时应该使用“概念上的常量性”(conceptual constness )。
- 当
const 和non-const 成员函数有着实质等价的实现时,令con-const 版本调用const 版本可避免代码重复。
条款04 确定对象使用前已被初始化
- 为内置类型对象进行手工初始化,因为
C++ 不保证初始化他们。
- 构造函数最好使用成员初始值列(
member initialization list ),而不要在构造函数本体内使用赋值操作(assignment )。初始值列列出的成员变量,其排列次序应该和它们在class 中声明的次序相同。
- 为免除“跨编译单元之初始化次序”问题,请以
local static 对象替换non-local static 对象。
2. 构造/析构/赋值运算
条款05 了解C++默认编写并调用哪些函数
- 编译器可以暗自为
class 创建default 构造函数、copy 构造函数和copy assignment 操作符,以及析构函数。(C++11 开始还有move constructor 和move assignment )。
条款06 若不想使用编译器自动生成的函数,就应该明确拒绝
- 为驳回编译器自动(暗自)提供的机能,可将相应的成员函数声明为
private 并且不予实现。使用像uncopyable 这样的base calss 也是一种做法。(C++11 以后可以使用=delete 告诉编译器删除不需要的成员函数。)
条款07 为多态积累声明virtual析构函数
- 多态性质的
base calsses 应该声明一个virtual 析构函数。如果class 带有任何virtual 函数,它就应该拥有一个virtual 析构函数。
Classes 的设计目的如果不是作为base classes 使用,或不是为了具备多态(polymorphically ),就不应该声明virtual 析构函数。
条款08 别让异常逃离析构函数
- 析构函数绝对不要吐出异常。如果一个被析构哈你数调用的函数可能抛出异常,析构函数应该捕捉人分和异常,并吞下它们或结束程序。
- 如果客户需要对某个操作函数运行期间抛出的异常做出反应,那么
class 应该提供一个普通函数(而非析构函数中)执行该操作。
条款09 绝不在构造和析构过程中调用virtual函数
- 在构造和析构期间不要调用
virtual 函数,因为这类调用从不下降至derived class 。
条款10 令operator=返回一个reference to *this
- 为了实现“连锁赋值”,应该令
operator= 返回一个reference to *this 。
条款11 在operator=中处理“自我赋值”
- 确保当对象自我赋值时
operator= 有良好的行为。其中技术包括比较“来源对象”和“目标对象”的地址、精心周到的语句顺序、以及copy-and-swap 。
- 确定任何函数如果操作一个以上的对象,而其中多个对象时同一个对象时,其行为仍然正确。
条款12 复制对象时勿忘其每一个成分
Copying 函数应该确保赋值“对象内的所有成员变量”及“所有base class”成分。
- 不要尝试以某个
copying 函数实现另一个copying 函数。应该将共同机能放在第三个函数中,并有两个copying 函数共同调用。
3. 资源管理
条款13 以对象管理资源
- 为了防止资源泄露,请使用
RAII 对象,它们在构造函数中获得资源并在析构函数中释放资源。
- 两个常被使用的
RAII Class 分别时tr1::shared_ptr 和auto_ptr 。前者通常是较好的选择,因为其copy 行为比较直观。若选择auto_ptr ,赋值动作会使它(被复制物)指向null。(C++11 中使用std::shared_ptr 、std::unique_ptr 和std::weak_ptr 代替了两者。)
条款14 在资源管理类中小心copying行为
- 复制
RAII 对象必须一并复制它所管理的资源,所以资源的copying 行为决定RAII 对象的copying 行为。
- 普通常见的
RAII class copying 行为是:抑制copying 、实行引用计数法(reference counting )。不过其行为也都可以被实现。
条款15 在资源管理类中提供对原始资源的访问
APIs 往往要求访问原始资源(raw resources ),所以每一个RAII Class 应该提供一个“取得其所管理之资源”的办法。
- 对原始资源的访问可能经由显式转换或隐式转换。一般而言显式转换比较安全,隐式转换对客户比较方便。
条款16 成对使用new和delete时要采取相同形式
- 如果在
new 表达式中使用[] ,必须在相应的delete 表达式中也使用[] 。如如果在new 表达式中不使用[] ,一定不要在相应的delete 表达式中也使用[] 。
条款17 以独立语句蒋newed对象置入智能指针
- 以独立语句将
newed 对象存储于(置入)智能指针内。如果不这样做,一旦异常被抛出,有可能导致难以察觉的资源泄露。
4. 设计与声明
条款18 让接口容易被正确使用,不易被吴用
- 好的接口很容易被正确使用,不容易被误用。应该在所有的接口中努力达成这些性质。
- “促进正确使用”的办法包括接口的一致性,以及与内置类型的行为兼容。
- “阻止误用”的办法包括建立新类型、限制类型上的操作,束缚对象值,以及消除客户的资源管理责任。
条款19 设计class犹如设计type
Class 的设计就是type 的设计。应该带着和“语言设计者当初设计语言内置类型”时一样的谨慎来研讨class 的设计。
条款20 宁以pass-by-reference-to-const 替换 pass-by-value
- 尽量以
pass-by-reference-to-const 替换pass-by-value 。前者通常比较高效,并可避免切割问题。(slicing problem )
- 以上规则并不适用于内置类型,以及
STL 的迭代器和函数对象。对它们而言,pass-by-value 往往比较适当。
条款21 必须返回对象时,别妄想返回其reference
- 绝不要返回
pointer 或reference 指向一个local stack 对象,或返回reference 指向一个heap-allocated 对象,或返回pointer 或reference 指向一个local static 对象而有可能同事需要多个这样的对象。
条款22 将成员变量声明为private
|