Effective C++ 学习笔记（一）

Effective C++ 学习笔记（一）

• 总共54个条款，分为9个 部分
  
  1. 让自己习惯C++
  2. 构造/析构/赋值运算
  3. 资源管理
  4. 设计与声明
  5. 实现
  6. 继承与面向对象
  7. 模板与泛型编程
  8. 定值new和delete
  9. 杂项讨论

让自己习惯C++

• C++由四部分组成
  
  1. C++仍是以C为基础：区块（blocks）、语句（statements）、预处理（preprocessor）、内置数据类型（build-in data types）、数组（array）、指针（pointers）等。
  2. 面向对象的C++。classes、encapsulation、inheritance、polymorphism、virtual函数（动态绑定）等。
  3. 模板（泛型）编程。
  4. STL。containers、iterators、algorithms、function objects等。
• 尽量以const，enum，inline替换#define
  
  1. 对于单纯常量，最好以const对象或enum替换#define
  2. 对于形似函数的宏（macros），最好改用inline函数替换#define
• const的使用
  
  1. 适用场合：指针和迭代器；指针、迭代器及reference所指的对象身上；在函数参数和返回类型身上；在local变量身上；在成员函数身上。
  2. const适用广泛：任何作用域内的对象、函数参数、函数返回类型、成员函数本体。
  3. 当const和non-const成员函数有着实质等价的实现时，令non-const版本调用const版本可避免代码重复。
• 对象的初始化
  
  1. array（来自c部分的c++）不保证其内容被初始化，而vector却有此保证。
  2. 赋值和初始化的区别：C++对象的成员变量的初始化动作发生在进入构造函数体之前-成员初值列member initialization list
  3. 如果成员变量是const或references，它们就一定需要初值，不能被赋值。
  4. 成员初始化次序：基类->继承类；类内部：以其声明次序初始化。
  5. static对象：scope从程序运行开始至结束。其包括：global对象、定义域namespace作用域内的对象、在classes内、在函数内、以及在file作用域内被声明为static的对象。
  6. 为内置类型对象进行手工初始化，因为C++不保证初始化它们。
  7. 构造函数最好使用成员初始列，而不要在构造函数本体内使用赋值操作。
  8. 为免除“跨编译单元之初始化次序”问题，请以local static对象替换non-local static对象。（单例模式）

构造/析构/赋值运算

• C++类默认的函数
  
  1. 一个空类，编译器所提供的默认函数：（均为public且inline）
• a copy constructor
• a copy assignment：单纯的将来源对象的每一个non-static成员变量拷贝到目标对象
• a destructor
• a default constructor
• 组织编译器默认的拷贝构造函数和拷贝赋值构造函数
  
  1. 方法：将copy constructor和copy assignment 函数声明为private，且没有定义。（注：可以不添加函数参数的名称）
  2. 为不使用编译器自动提供的机能，可将相应的成员函数声明为private并且不予实现。使用像（Boost的）noncopyable这样的base class也是一种做法。
• 为多态基类声明virtual析构函数
  
  1. polymorphic base class应该声明一个virtual析构函数。如果class带有任何virtual函数，它就应该拥有一个virtual析构函数。
  2. classes的设计目的如果不是作为base classes使用，或不是为了具有多态性，就不该声明virtual析构函数。
• 别让异常逃离析构函数
  
  1. 析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能抛出异常，析构函数应该捕捉任何异常，然后吞下它们或者结束程序。
  2. 如果客户需要对某个操作函数运行期间抛出的异常做出反应，那么class应该提供一个普通函数（而非在析构函数中）执行该操作。
• 绝不在构造和析构过程中调用virtual函数
  在构造和析构期间不要调用virtual函数，因为这类调用从不下降至继承类（比起当前执行构造函数和析构函数那层）。
• 令operator=返回一个reference *this
  为了实现连续赋值（如x=y=z=15），令赋值操作符返回一个reference to*this。
• 在operator=中处理“自我赋值”
  
  1. 确保当对象自我赋值时operator=有良好行为。其中技术包括比较“来源对象”和“目标对象”的地址、精心周到的语句顺序、以及copy-and-swap。
  2. 确定任何函数如果操作一个以上的对象，而其中多个对象是同一个对象时，其行为仍然正确。
• 复制对象时勿忘每个成分
  
  1. copying函数应该确保复制“对象内的成员变量”及“所有base class成分”。
  2. 不要尝试以某个copying函数实现另一个copying函数。应该将共同技能放进第三个函数中，并由两个copying函数共同调用。

资源管理

资源管理包括：动态内存分配、文件描述器、互斥锁、图形界面中的字型和笔刷、数据库连接、以及网络sockets。
- 以对象管理资源
1. 为防止资源泄露，请使用RAII（Resource Acquisition Is Initialization）对象，他们在构造函数中获得资源并在析构函数中释放资源。
2. 两个常被使用的RAII classes分别是TR1::shared_ptr和auto_ptr。牵着通常是较佳选择，因为其copy行为比较直观。若选择auto_ptr，赋值动作会使它（被复制对象）指向NULL。
- 成对使用new和delete时要采用相同形式
如果在new表达式中使用[]，必须在相应的delete表达式中也使用[]。如果在new表达式中不适用[]，一定不要在相应的delete表达式中使用[].
- 以独立语句将newed对象置入智能指针
以独立语句将newed对象存储于智能指针内。如果不这样做，一旦异常被跑出，有可能导致难以察觉的资源泄露。