首页 > 代码库 > Effecvtive C++笔记:让自己习惯C++

Effecvtive C++笔记:让自己习惯C++

条款01:视C++为一个语言联绑

C++的四个语言层次:

  1. CC++是以C为基础的。基本数据类型、语句、预处理器、数组、指针等统统来自C。
  2. Oject-Oriented C++:面向对象这一特性包含了:类,封装,继承,多态,虚函数等
  3. Template C++:C++的泛型编程能力。
  4. STL一个标准的template库,里面介绍了容器、迭代器、算法以及函数对象等模板类和模板函数。

综述:C++并不是一个带有一组守则的一体语言:它是从四个次语言组成的联绑政府,每个次语言都有自己的规约。

条款02:尽量以const,enum,inline替换#define

对于单纯常量,最好以const对象或enums替换#define。

对于形似函数的宏,最好改用inline函数替换#define

条款03:尽可能使用const

STL的迭代器是以指针为根据塑模出来,所以迭代器的作用就像个T*的指针。声明迭代器为const就像声明指针为const一样(即声明一个T*const指针),表示这个迭代器不得指向不同的东西,但它所指的东西的值是可以改动的。如果希望迭代器所指的东西是不可被改动的,需要的是const_iterator。

vector<int> vec; 
const vector<int>::iterator = vec.begin(); 
*iter = 10;        // 没问题,改变iter所指物 
++iter;            // 错误!iter是const 
vector<int>::const_iterator cIter = vec.begin(); 
*cIter = 10;    // 错误!*cIter是const 
++cIter;        // 没问题,改变cIter

请记住

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

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

类的构造函数的次序是先执行构造函数初始化列表,初始化所有成员变量,然后再执行构造函数体,构造函数体内的成员赋值已经不属于初始化的范畴,成员都是用拷贝赋值。

如果类没有初始化列表,则类会先执行默认构造函数,构造出所有成员变量后,再执行函数体内的拷贝赋值。

C++类的成员初始化是有着明显的次序的,一般是基类的成员先初始化,然后派生类的成员按定义的顺序初始化。所以类的构造函数初始化列表上的初始化顺序跟类真实的成员初始化顺序是没有关系的。

“不同编译单元内定义之non-local static对象”

static对象,其寿命从被构造出来直到程序结束为止。

函数内的static对象称为local static对象(因为它们对函数而言是local),其他static对象称为non-local static对象。程序结束时static对象会被自动销毁,也就是它们的析构函数会在main()结束时被自动调用。

当我们的某个编译单元内的某个non-local static对象的初始化动作使用了另一编译单元的某个non-local static对象,它所用到的这个对象可以尚未被初始化。C++关于定义于不同编译单元内的non-local static对象的初始化次序并无明确定义。

比如在a.cpp里我们定义一个类,一个该类的对象

class FileSystem 
{ 
public: 
    size_t numDisks()const; 
}; 
extern FileSystem tfs;

现在同一个项目下的b.cpp文件中有一个类,类构造函数用到了tfs对象。

class Directory 
{ 
public: 
    Directory(params); 
}; 
Directory::Directory(params) 
{ 
    size_t disks = tfs.numDisks(); 
}

现在如果我们创建了一个Directory对象

Directory tempDir(params);

上面的代码就可能会出问题,除非能保证tfs在tempDir之前先初始化,否则tempDir的构造函数会用到尚未初始化的tfs。

解决方案:

C++保证,函数内的local static对象会在该函数被调用期间,首次遇到该对象的定义的时候被初始化。

所以如我们把tfs和tempDir设计为一个函数,函数返回该类的一个static对象引用就可以解决问题了。

所以我们可以改写上面的代码:

FileSystem& tfs() 
{ 
    static FileSystem fs; 
    return fs; 
}

Directory& tempDir() 
{ 
    static Directory td; 
    return td; 
}

请记住

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