1.让自己习惯C++(Accustoming Yourself to C++)

前言

不论你的编程背景是什么，C++都可能让你觉得有点儿眼熟。它是一个威力强大的语言，带着众多特性，但是在你可以驾驭其威力并有效运用其特性之前，你必须先习惯C++的办事方式。本书谈的便是这个。总有某些东西比其他更基础些，本章就是最基本的一些东西。

条款 01： 视C++为一个语言联邦（View C++ as a federation of languages.)

一开始的C++只是C加上一些面向对象特性，所以C++最初名称是C with Classes。

但是当C++日益成熟，开始接受各种观念、特性和编程战略。例如：Exceptions(异常）对函数的结构化带来不同的做法（见条款29），templates(模板）将我们带到新的设计思考方式（见条款41），STL则定义了一个前所未见的伸展性做法。

今天的C++准确来说已经是个多重范型编程语言编程语言（multiparadigm programming language），一个同时支持过程形式（procedural)、面向对象形式（object-oriented）、函数形式（functional）、泛型形式（generic）、元编程形式（metaprogramming）的语言。这些能力和弹性使C++成为一个无可匹敌的工具，但也可能会引发迷惑：所有“适当用法”似乎都有例外。我们该如何理解这样的语言呢？

最简单的方法是将C++视为一个由相关语言组成的联邦而非单一语言。在其某个次语言（sublanguage)中，各种守则与通例比较通俗易懂，然而从一个次语言移往另一个，守则可能改变。为了理解C++，我们必须认识主要的次语言。幸运的是总共只有四个：

• C。区块（blocks)、语句(statements)、预处理器（preprocessor)、内置数据类型（built-in data types)、数组（arrays)、指针（pointers)等统统来自C。局限：没有模板（templates),没有异常（exceptions)，没有重载（overloading)…
• Object-Orientend C++。classes(包括构造函数和析构函数)，封装（encpasulation)、继承（inheritance)、多态（polymorphism)、virtual函数（动态绑定）…等等。
• Template C++。这是C++的泛型编程的部分，也是大多数程序员经验最少的部分。条款48对此提供了一些TMP（模板元编程）的概述，但除非你是template激进团队的中坚骨干，大可不必太担心这些。TMP相关规则很少与C++主流编程相互影响。
• STL。是template程序库。它对容器（containers)、迭代器（iterators)、算法（algorithms)以及函数对象（function objects)的规约有极佳的紧密配合与协调，然而templates以及程序库也可以其他想法建置出来。

记住这四个次语言，当你从某个次语言切换到另一个，导致高效编程守则要求你改变策略时，不要感到惊讶。例如对内置（也就是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你就会了解，迭代器和函数对象都是在C指针之上塑造出来的，所以对STL的迭代器和函数对象而言，旧式的C pass-by-value 守则再次适用（参数传递方式的选择细节请见条款20）。

因此我说，C++并不是一个带有一组守则的一体语言；它是从四个次语言组成的联邦政府，每个语言都有字节的规约。请记住这四个次语言你就会发现C++容易了解得多。

请记住

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