《Effective C++》笔记

时间:2023-03-08 16:53:53
《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