《Effective C++》笔记

01：视c++为一个语言联邦

为了理解C++，必需要认识其主要的次语言：

• C
  说到底C++还是以C为基础。区块，语句，预处理器，内置数据类型，数组，指针通通来自C。
• Object-Oreinted C++
  这一部分是面向对象设计之古典守则在C++上的最直接实施。类，封装，继承，多态，virtual函数等等...
• Template C++
  这是C++泛型编程部分。

• STL
  STL是个template程序库。包含容器（containers），迭代器（iterators），算法（algorithms）以及函数对象（function objects）...
  这四个次语言，当你从某个次语言切换到另外一个，致使高效编程守则要求你改变策略。C++高效编程守则视情况而变化，取决于你使用C++的哪一部分。
  
  例如：当对内置（C-like）类型而言，pass-by-value比pass-by-reference高效。但当你从C part of C++移往Object-Oriented C++，因为user-defined构造函数和析构函数的存在，pass-by-reference-to-const每每更好。运用template C++ 时尤为如此。然而对STL的迭代器和函数对象而言，旧式的pass-by-value守则再次适用。

  请记住

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

02：尽可能以const，enum，inline替换#define

#define M 1.1

记号M也许从未被编译器看见，也许在编译器开始处理源码以前它就被预处理器移走了。所以M可能压根就就没进入符号表(symbol table)。当你使用该常量但产生编译错误时，错误信息可能只提到1.1而不是M。若被定义在某个头文件中，就很难发现错误所在。
解决之道：

const double M=1.1;

做为语言常量，M确定会被编译器看到，天然也就必定会进入符号表。另外，使用常量还能够避免宏替换带来的多份目标码(object code)问题。

两种特殊状况

1. 定义常量指针
   因为常量表达式一般被放在头文件内，所以有必要将指针（不只是指针所指之物）声明为const。
   例如：

const char* const authorName="Scott Meyers";

1. class专属常量
   为了限制做用域于class内，必须让它成为class的一个成员，为了确保只有一份，必须加上static修饰符。

class GamePlayer
{
    static const int NumTurns=5;
    int scores[Numturns];
};

若是你须要取这个常量的地址或者是编译器坚持要看到一个定义式，你就必须在实现文件中提供以下定义：

const int GmaePlayer::NumTurns;

若是编译器不支持static成员在声明式上得到初始值，那么只好放在定义式上。但当你在class编译期间须要一个class常量值，能够采用the enum hack：

class GamePlayer
{
    enum{NumTurns=5};
    int scores[Numturns];
};

关于the enum hack，有几点须要了解：

• 对一个enum取地址是不合法的，所以能够做为不容许获取pointer或reference的约束。
• 是模板元编程的基础技术(template metaprogramming)

另外一个问题是用#define实现宏。(这里没有使用原书中的例子)

#define SUB(a,b) a-b

对于以上宏定义，试问F(4-1,3)*2结果为多少？按照直观理解，你可能会理所固然的认为是0。但当咱们写出展开式后：4-1-2*2，显然结果是-1。
为了不这种问题，只好给参数加上括号：

#define SUB(a,b) ((a)-(b))

不管什么时候当你写出这种宏，就必须为全部实参加上小括号，但即便是加上小括号，有时也会出现问题。
如今咱们可使用template inline解决这一点：

template<typename T>
inline auto SUB(const T& a,const T& b) -> decltype(a-b)
{
    return a-b;
}

请记住

• 对于单纯常量，最好以const对象或enums替换#defines。
• 对于形似函数的宏，最好改用inline函数替换之。

03：尽量使用const

04：肯定对象被使用前已先被初始化

05：了解C++默默编写并调用哪些函数

06：若不想使用编译器自动生成的函数，就该明确拒绝

07：为多态基类声明virtual析构函数

08：别让异常逃离析构函数

09：毫不在构造和析构的过程当中调用virtual函数

10：令operator= 返回一个reference to *this

11：在operator=中处理自我赋值

12：复制对象时勿忘其每个成分

13：以对象管理资源（RAII）

14：在资源类中当心coping行为

15：在资源类中提供对原始资源的访问

16：成对使用new和delete时要采用相同形式

17：以独立语句将newed对象置入智能指针

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函数

26：尽量延后变量定义式的出现时间

27：尽可能少作转型操做

28：避免返回handles指向对象内部成分

29：为异常安全而努力是值得的

30：透彻了解inlining的里里外外

31：将文件间的编译依存关系降到最低

32：肯定你的public继承塑模出is-a关系

33：避免遮掩继承而来的名称

34；区分接口继承和实现继承

35：考虑virtual函数之外的其余选择

36：毫不从新定义继承来的的non-virtual函数

37：毫不从新定义继承而来的缺省参数值

38：经过复合塑模出has-a或根据某物实现出

39：明智而审慎地使用private继承

40：明智而审慎地使用多重继承

41：了解隐式接口和编译器多态

42：解诶typename的双重意义

43：学习处理模板化基类内的名称

44：将与参数无关的代码抽离template

45：运用成员模板接受全部兼容类型

46：须要类型转换时请为模板定义非成员函数

47：请使用traits classes表现类型信息

48：认识template元编程

49：了解new-handler的行为

50：了解new和delete的合理替换时机

51：编写new和delete时需固守常规

52：写了placement new 也要写placement delete

53：不要轻视编译器的警告

54：让本身熟悉包括TR1在内的标准程序库

55：让本身熟悉boost