Effective C++
  • 介绍
  • 0.导读
  • 1.让自己习惯 C++
    • 条款01:视 C++ 为一个语言联邦
    • 条款02:尽量以 const, enum, inline 替换 #define
    • 条款03:尽可能使用 const
    • 条款04:确定对象被使用前已先被初始化
  • 2.构造/析构/赋值运算
    • 条款05:了解 C++ 默默编写并调用哪些函数
    • 条款06:若不想使用编译器自动生成的函数,就该明确拒绝
    • 条款07:为多态基类声明 virtual 析构函数
    • 条款08:别让异常逃离析构函数
    • 条款09:绝不在构造和析构过程中调用 virtual 函数
    • 条款10:令 operator= 返回一个reference to *this
    • 条款11:在 operator= 中处理自我赋值
    • 条款12:复制对象时勿忘其每一个成分
  • 3.资源管理
    • 条款13:以对象管理资源
    • 条款14:在资源管理类中小心 copying 行为
    • 条款15:在资源管理类中提供对原始资源的访问
    • 条款16:成对使用 new 和 delete 时要采用相同形式
    • 条款17:以独立语句将 newed 对象置入智能指针
  • 4.设计与声明
    • 条款18:让接口容易被正确使用,不易被误用
    • 条款19:设计 class 犹如设计 type
    • 条款20:宁以 pass-by-reference-to-const 替换 pass-by-value
    • 条款21:必须返回对象时,别妄想返回其 reference
    • 条款22:将成员变量声明为 private
    • 条款23:宁以 non-member、non-friend 替换 member 函数
    • 条款24:若所有参数皆需类型转换,请为此采用 non-member 函数
    • 条款25:考虑写出一个不抛异常的 swap 函数
  • 5.实现
    • 条款26:尽可能延后变量定义式的出现时间
    • 条款27:尽量少做转型
    • 条款28:避免返回 handles 指向对象内部成分
    • 条款29:为”异常安全“而努力是值得的
    • 条款30:透彻了解 inlining 的里里外外
    • 条款31:将文件间的编译依存关系降至最低
  • 6.继承与面对对象设计
    • 条款32:确定你的 public 继承塑模出 is-a 关系
    • 条款33:避免遮掩继承而来的名称
    • 条款34:区分接口继承和实现继承
    • 条款35:考虑 virtual 函数以外的其他选择
    • 条款36:绝不重新定义继承而来的 non-virtual 函数
    • 条款37:绝不重新定义继承而来的缺省参数值
    • 条款38:通过复合塑模出 has-a 或”根据某物实现出“
    • 条款39:明智而审慎地使用 private 继承
    • 条款40:明智而审慎地使用多重继承
  • 7.模板与泛型编程
    • 条款41:了解隐式接口和编译期多态
    • 条款42:了解 typename 的双重含义
    • 条款43:学习处理模板化基类内的名称
    • 条款44:将与参数无关的代码抽离 templates
    • 条款45:运用成员函数模板接收所有兼容类型
    • 条款46:需要类型转换时请为模板定义非成员函数
    • 条款47:请使用 traits classes 表现类型信息
    • 条款48:认识 template 元编程
  • 8.定制 new 和 delete
    • 条款49:了解 new-handler 的行为
    • 条款50:了解 new 和 delete 的合理替换时机
    • 条款51:编写 new 和 delete 时需固守常规
    • 条款52:写了 placement new 也要写 placement delete
  • 9.杂项讨论
    • 条款53:不要请忽编译器的警告
    • 条款54:让自己熟悉包括 TR1 在内的标准程序库
    • 条款55:让自己熟悉 Boost
Powered by GitBook
On this page

Was this helpful?

  1. 1.让自己习惯 C++

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

Make sure that objects are initialized before they're used.

读取未初始化的值会导致不明确的行为。array(来自 C part of C++)不保证其内容被初始化,而 vector(来自 STL part of C++)却有此保证。所以最佳的办法是永远在使用对象之前将它初始化,而对于内置类型以外的任何其他东西,初始化责任落在构造函数(constructors)身上,规则很简单,确保每一个构造函数都将对象的每一个成员初始化。

赋值(assignment)和初始化(initialization)

赋值和初始化操作是不一样的,例如:

class PhoneNumber { ... };
class ABEntry {
public:
    ABEntry(const PhoneNumber& phone) {
        thePhone = phone;    // 这是赋值操作,而非初始化
    }
private:
    PhoneNumber thePhone;
};

更好的做法是使用初始化操作:

class PhoneNumber { ... };
class ABEntry {
public:
    ABEntry(const PhoneNumber& phone): thePhone(phone) {}
private:
    PhoneNumber thePhone;
};

基于赋值的版本首先调用 default 构造函数为 thePhone 设初值,然后立刻再对它赋予新值,这相当于浪费了 default 构造函数的操作。而成员初值列(member initialization list)的做法避免了这一问题,因为初值列中针对各个成员变量而设置的实参被拿去作为各成员变量构造函数的实参。

许多 classes 拥有多个构造函数,每个构造函数有自己的成员初值列,合理地在初值列中遗漏那些”赋值表现像初始化一样好“的成员变量,改用它们的赋值操作,并将那些赋值操作移往某个函数,供所有构造函数调用,以避免代码冗余。

C++ 有着十分固定的”成员初始化次序“,次序总是相同的,base classes 更早于其 derived classes,而 class 的成员变量总是以其声明次序被初始化。

static 对象

static 对象,其寿命从被构造出来直到程序结束为止,因此 stack 和 heap-based 对象都被排除,而程序结束时 static 对象会被自动销毁,也就是它们的析构函数会在 main() 结束时自动调用。

问题是:如果某编译单元内的某个 non-loca static 对象的初始化动作使用了另一编译单元内的某个 non-local static 对象,它所用到的这个对象可能尚未被初始化,因为 C++ 对”定义于不同编译单元内的 non-local static 对象“的初始化次序并无明确定义。

class FileSystem {
public:
    std::size_t numDisks() const;
};
extern FileSystem tfs; // 预备给客户使用的对象

解决办法是 Singleton 模式,将每个 non-local static 对象搬到自己的专属函数内。

class FileSystem { ... };
FileSystem& tfs() {
    static FileSystem fs;
    return fs;
}
Previous条款03:尽可能使用 constNext2.构造/析构/赋值运算

Last updated 6 years ago

Was this helpful?