条款一:将C++视为一个由相关语言组成的联邦而非单一语言
1.C
说到底C++仍是以C为基础。区块(blocks) 、语句(statements) 、预处理器(preprocessor) 、内置数据类型(built-in data types)、数组(arrays) 、 指针(pointers) 等统统来自C。许多时候C++对问题的解法其实不过就是较高级的C解法,但当你以C++内的C成分工作时,高效编程守则映照出C语言的局限:没有模板(templates) ,没有异常(exceptions),没有重载( overlading)。。
2.C++面向对象
这部分也就是C with Classes(早期C++设计出来的一个重要目的)所诉求的: classes (包括构造函数和析构函数),封装(encapsulation)、 继承(inheritance)、多态 (polymophism)、virtual函数(动态绑定) ...等等。这一部分是面向对象设计之古典守则在C++上的最直接实施。
3.C++模板
这是C++的泛型编程(generic programming) 部分,也是大多数程序员经验最少的部分。Template相关考虑与设计已经弥漫整个C++,良好编程守则中“惟template 适用”的特殊条款并不罕见。实际上由于templates威力强大,它们带来崭新的编程范型(programming paradigm),也就是所谓的template metaprogramming (TMP,模板元编程)。TMP相关规则很少与C++主流编程互相影响。
4.STL
STL是个template程序,看名称也知道,但它是非常特殊的一个。它对容器(containers)、迭代器(iterators)、算法(algorithms)以及函数对象( functionobjects)的规约有极佳的紧密配合与协调,然而templates及程序库也可以其他想法建置出来。STL有自己特殊的办事方式,当你伙同STL 一起工作,你必须遵守它的规约。
C、C++面向对象、C++模板、STL。记住这四个次语言,当你从某个次语言切换到另-一个,导致高效编程守则要求你改变策略时,不要感到惊讶。例如对内置(也就是C-like)类型而言pass-by-value 通常比pass-by-reference 高效,但当你从C part of C++移往Object-Oriented C++, 由于用户自定义( user-defined) 构造的数和析构函数的存在,passby-reference-to-const往往更好。运用Template C++时尤其如此,因为彼时你甚至不知道所处理的对象的类型。然而一旦跨入STL你就会了解,迭代器和函数对象都是在C指针之上塑造出来的,所以对STL的迭代器和函数对象而言,旧式的Cpass-by-value守则再次适用。因此,C++并不是一个带有一组守则的一体语言;它是从四个次语言组成的联邦政府,每个次语言都有自己的规约。记住这四个次语言你就会发现C++容易了解得多。
请记住
■C++ 高效编程守则视状况而变化,取决于你使用C++的哪-部分。