Effective C++ 学习笔记(一)
- 总共54个条款,分为9个 部分
- 让自己习惯C++
- 构造/析构/赋值运算
- 资源管理
- 设计与声明
- 实现
- 继承与面向对象
- 模板与泛型编程
- 定值new和delete
- 杂项讨论
让自己习惯C++
- C++由四部分组成
- C++仍是以C为基础:区块(blocks)、语句(statements)、预处理(preprocessor)、内置数据类型(build-in data types)、数组(array)、指针(pointers)等。
- 面向对象的C++。classes、encapsulation、inheritance、polymorphism、virtual函数(动态绑定)等。
- 模板(泛型)编程。
- STL。containers、iterators、algorithms、function objects等。
- 尽量以const,enum,inline替换#define
- 对于单纯常量,最好以const对象或enum替换#define
- 对于形似函数的宏(macros),最好改用inline函数替换#define
- const的使用
- 适用场合:指针和迭代器;指针、迭代器及reference所指的对象身上;在函数参数和返回类型身上;在local变量身上;在成员函数身上。
- const适用广泛:任何作用域内的对象、函数参数、函数返回类型、成员函数本体。
- 当const和non-const成员函数有着实质等价的实现时,令non-const版本调用const版本可避免代码重复。
- 对象的初始化
- array(来自c部分的c++)不保证其内容被初始化,而vector却有此保证。
- 赋值和初始化的区别:C++对象的成员变量的初始化动作发生在进入构造函数体之前-成员初值列member initialization list
- 如果成员变量是const或references,它们就一定需要初值,不能被赋值。
- 成员初始化次序:基类->继承类;类内部:以其声明次序初始化。
- static对象:scope从程序运行开始至结束。其包括:global对象、定义域namespace作用域内的对象、在classes内、在函数内、以及在file作用域内被声明为static的对象。
- 为内置类型对象进行手工初始化,因为C++不保证初始化它们。
- 构造函数最好使用成员初始列,而不要在构造函数本体内使用赋值操作。
- 为免除“跨编译单元之初始化次序”问题,请以local static对象替换non-local static对象。(单例模式)
构造/析构/赋值运算
- C++类默认的函数
- 一个空类,编译器所提供的默认函数:(均为public且inline)
- a copy constructor
- a copy assignment:单纯的将来源对象的每一个non-static成员变量拷贝到目标对象
- a destructor
- a default constructor
- 组织编译器默认的拷贝构造函数和拷贝赋值构造函数
- 方法:将copy constructor和copy assignment 函数声明为private,且没有定义。(注:可以不添加函数参数的名称)
- 为不使用编译器自动提供的机能,可将相应的成员函数声明为private并且不予实现。使用像(Boost的)noncopyable这样的base class也是一种做法。
- 为多态基类声明virtual析构函数
- polymorphic base class应该声明一个virtual析构函数。如果class带有任何virtual函数,它就应该拥有一个virtual析构函数。
- classes的设计目的如果不是作为base classes使用,或不是为了具有多态性,就不该声明virtual析构函数。
- 别让异常逃离析构函数
- 析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能抛出异常,析构函数应该捕捉任何异常,然后吞下它们或者结束程序。
- 如果客户需要对某个操作函数运行期间抛出的异常做出反应,那么class应该提供一个普通函数(而非在析构函数中)执行该操作。
- 绝不在构造和析构过程中调用virtual函数
在构造和析构期间不要调用virtual函数,因为这类调用从不下降至继承类(比起当前执行构造函数和析构函数那层)。 - 令operator=返回一个reference *this
为了实现连续赋值(如x=y=z=15),令赋值操作符返回一个reference to*this。 - 在operator=中处理“自我赋值”
- 确保当对象自我赋值时operator=有良好行为。其中技术包括比较“来源对象”和“目标对象”的地址、精心周到的语句顺序、以及copy-and-swap。
- 确定任何函数如果操作一个以上的对象,而其中多个对象是同一个对象时,其行为仍然正确。
- 复制对象时勿忘每个成分
- copying函数应该确保复制“对象内的成员变量”及“所有base class成分”。
- 不要尝试以某个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对象存储于智能指针内。如果不这样做,一旦异常被跑出,有可能导致难以察觉的资源泄露。