Effective C++ 导读 笔记
学习程序语言根本大法是一回事;学习如何以某种语言设计并实现高效程序则是另外一回事。作者提出两方面的忠告:一般性的设计策略,以及带有具体细节的特定语言特性。
术语(Terminology)
声明式(declaration)告诉编译器某个东西的名称和类型,但略去细节。下面都是声明式:
2 std::size_t numDigits(int number); //函数(function)声明式
3 class Widget; //类(class)声明式
4 template<typename T> //模板(template)声明式
5 class GraphNode; //"typename"的使用见条款42
签名式(signature)就是参数和返回类型。numDigits函数的签名式是std::size_t (int)。C++对签名式的官方定义不包括返回类型,本书把返回类型视为签名式的一部分。
定义式(defination)提供编译器一些声明式所遗漏的细节。对对象而言,定义式是编译器为此对象拨发内存的地点。对function或function template而言,定义式提供了代码本体。对class或class template而言,定义式列出它们的成员。
初始化(initialization)是“给予对象初值”的过程,对用户自定义类型,初始化由构造函数执行。所谓default构造函数是一个可被调用而不带任何实参者。这样的构造函数要不没有参数,要不就是每个参数都有缺省值。构造函数声明为explicit可以阻止执行隐式类型转换,但仍可以进行显示类型转换。
copy构造函数被用来“以同型对象初始化自我对象”,copy assignment操作符被用来“从另一个同型对象中拷贝其值到自我对象”。如果一个新对象被定义,一定会调用构造函数,如果没有新对象被定义,就是赋值操作被调用。copy构造函数定义一个对象如何passed by value。passed by value意味着“调用copy构造函数”。
STL是所谓标准模板库,是C++标准程序库的一部分,致力于容器(如vector, list, set, map等), 迭代器(如vector<int>::iterator, set<string>::iterator等),算法(如for_each, find, sort等)及相关机能。
一个带有不明确(未定义)行为的程序会抹煞你的辛勤努力。有战斗力的C++程序员都知道尽可能避开不明确行为。Java和.NET语言都提供Interfaces为语言元素,但C++没有,本书的接口是指一般性的设计观念。客户(client)是指某人或某物,他(或它)使用你写的代码(通常是一些接口)。
命名习惯(Naming Conventions)
作者喜欢两个参数名称lhs和rhs,分别代表"left-hand side"(左手端)和"right-hand side"(右手端),常常以它们作为二元操作符函数如operator==和operator*的参数名称。对于成员函数,左侧实参由this指针表现出来,所以有时我单独使用参数名称rhs。常以Widget class示例,"Widget"并不代表任何东西,只是当需要一个示范用的class名称时偶尔采用的名称。常“指向将一个T型对象”的指针命名为pt,意思是"pointer to T"。对于references,rw可能是一个reference to Widget,ra则是个reference to Airplane。讨论成员函数时,偶尔会以mf为名。