首页 > 代码库 > Effective C++ 笔记一 让自己习惯C++

Effective C++ 笔记一 让自己习惯C++

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

C++是个多重范型编程语言,一个同时支持面向过程形式、面向对象形式、函数形式、泛型形式、元编程形式的寓言。

将C++视为几个子语言:

传统C:区块、语句、预处理器、内置数据类型、数组、指针。没有模板、没有异常、没有重载。

面向对象C++:类(包括构造函数析构函数)、封装、继承、多态、虚函数。

Template C++:泛型编程、模板元编程。

STL:容器、迭代器、算法、函数对象(仿函数)。

记住:

C++高效编程守则视状况而变化,取决于你使用C++的哪一部分。

 

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

用编译器代替预处理器。#define不被视为语言的一部分,所使用的名称不进入记号表。

 1 #define ASPECT_RATIO 1.653 2 const double AspectRatio = 1.653; 3 const char* const authorName = "Scott Meyers"; 4 const std::string authorName2("Scott Meyers"); 5 class GamePlayer { 6     static const int NumTurns = 5; 7     enum { NumTurns2 = 5 };// 一个属于枚举类型的数值可以当做int使用 8     int scores[NumTurns]; 9 };10 const int GamePlayer::NumTurns;// 需要取地址时不能省略11 #define CALL_WITH_MAX(a, b) f((a)>(b)?(a):(b))12 template<typename T>13 inline void callWithMax(const T& a, const T& b) {14     f(a>b?a:b);15 }

 

记住:

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

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

 

条款03:尽可能使用const

const 允许指定一个不能被改动的约束,而编译器会强制实施这项约束。

const 可以在 classes 外部修饰 global 或 namespace 作用域中的常量,或修饰文件、函数或区块作用于中被声明为 static 的对象。也可以修饰 classes 内部的 static 和 non-static 成员变量。面对指针,也可以指出指针自身、指针所指物或两者都是 const:如果关键字 const 出现在星号左边,表示被指物是常量;出现在星号右边,表示指针自身是常量;出现在星号两边,表示被指物和指针两者都是常量。

STL迭代器声明为 const 相当声明指针为 const,迭代器不得指向不同的东西,但它所指的值是可以改动的。const_iterator 所指的东西不可改动。

在函数声明式内,const 可以和函数返回值、各参数、函数自身(成员函数)产生关联。令函数返回一个常量值,可以避免客户错误造成的意外。将 const 实施于成员函数的目的,是为了确认该成员函数可作用于const对象身上:第一,它使 class 接口比较容易理解;第二,它使操作 const 对象成为可能,以 pass by reference-to-const 方式传递对象。两个成员函数如果只是常量性不同可以被重载。

一个const成员函数可以修改它处理的对象内的某些数据,但只有在客户端侦测不出的情况下才可以,例如高速缓存的文本区块的长度等。mutable 关键字修饰的成员可以被更改。

运用 const 成员函数实现出其 non-const 孪生兄弟来避免代码重复。

记住:

将某些东西声明为 const 可帮助编译器侦测出错误用法。const 可被施加于任何作用域内的对象、函数参数、函数返回类型、成员函数本体。

编译器强制实施 bitwise constness,但你编写程序时应该使用 conceptual constness(概念上的常量性)。

 

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

static 对象,其寿命从被构造出来直到程序结束为止,因此 stack 和 heap-based 对象都被排除。这种对象包括 global 对象、定义于 namespace 作用域内的对象、在 classes 内、在函数内、以及在 file 作用域内被声明为 static 的对象。函数内的 static 对象称为 local static 对象,其他 static 对象称为 non-local static 对象。程序结束时 static 对象会被自动销毁,它们的析构函数会在 main() 结束时被自动调用。

编译单元是指产出单一目标文件的那些源码。基本上是单一源码文件加上其所含入的头文件。

多个编译单元内的 non-local static 对象经由模板隐式具现化形成,不能决定正确的初始化次序。

将每个 non-local static 对象搬到自己的专属函数内,该对象在此函数内被声明为 static。这些函数返回一个指向他所含对象的引用,non-local static 对象呗 local static 对象替换了。这是单例模式的一个常见实现手法。

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

记住:

为内置型对象进行手工初始化,因为C++不保证初始化它们。

构造函数最好使用成员初值列,而不要在构造函数本体内使用赋值操作。初值列列出的成员,其排列次序应该和它们在class中的声明次序相同。

为避免跨编译单元的初始化次序问题,以 local static 对象替换 non-local static 对象。

 

Effective C++ 笔记一 让自己习惯C++