C++是多重范型编程语言,可以同时支持过程形式、面向对象形式、函数形式、泛型形式、元编程形式。
Q:如何理解C++?
A:不要把它当成一种单一语言,而是把它视为由相关语言组成的联邦,由多个“次语言”组成。这就导致了C++高效编程守则会视情况而变化,取决于我们使用的是哪个部分。 其主要的次语言有四个:
- C :包括了对区块blocks、语句statements、预处理器preprocessor、内置数据类型、数组、指针等形式。但C语言没有模板、异常、重载等。
- 面向对象的C++: 这部分包括了classes(包括构造和析构函数),封装,继承,多态,虚函数(动态绑定)等等。
- Template C++:这是c++泛型编程的部分。这一部分大多数程序经验都比较少但威力很大!条款46会有相关的说明。
- STL: 是个特殊的template程序库。他对容器、迭代器、算法以及函数对象(function objects)的规约有极佳的紧密配合和协调。使用它时就要遵守它的规则。
当从某个次语言切换到另一个时,高效编程守则也要相应的改变。举例:
对内置类型(C)而言,pass-by-value通常比pass-by-reference更高效。
但当从C向Object-oriented C++转变时,由于用于自定义的构造函数和析构函数的存在,pass-by-reference-to-const往往更好。使用Template C++的时候更是如此。
但如果跨入STL,由于迭代器和函数对象都是在C指针上塑造出来的,所以对STL的迭代器和函数对象而言,旧式的C pass-by-valur守则再次适用(参数传递方式的选择细节见条款20)