Effective C++_笔记_条款01_视C++为一个语言联邦

（整理自Effctive C++，转载请注明。整理者：华科小涛@http://www.cnblogs.com/hust-ghtao/）

C++的各种能力和特性使它成为一个无可匹敌的工具，但也可能引发某些迷惑：所有“适当用法”似乎都有例外。我们该如何理解这种语言呢？最简单的办法就是将C++视为有相关语言组成的联邦而非单一语言。在它的某个次语言中，各种规则与通例都相对简单。然而从一个次语言移往另一个次语言，守则可能改变。

C++主要的次语言有四个：

1 C

所到底C++以C为基础。区块、语句、预处理器、内置数据类型、数组、指针等都来自C语言。许多时候C++对问题的解法其实就是较高级的C的解法：例如条款02谈到预处理器之外的另一选择；条款13谈到以对象管理资源。但当你以C++内的C成分工作时，高效编程守则会反映出C语言的局限：没有模版(templates)，没有异常(exceptions)，没有重载

(overloading)…。

2 Object-Oriented C++

类、封装、继承、多态、虚函数…。这一部分是面向对象设计之古典守则在C++上的最直接实施。

3 Template C++

这是C++的泛型编程的部分。泛型编程让你编写完全一般化并可重复使用的算法，其效率与针对某特定数据类型而设计的算法相同。泛型编程最初诞生于C++中，目的是为了实现C++的STL（标准模板库）。其语言支持机制就是模板（Templates），模板的精神其实很简单：参数化类型。换句话说，把一个原本特定于某个类型的算法或类当中的类型信息抽掉，抽出来做成模板参数T。

4 STL

STL是个templates程序库，但却是非常特殊的一个。它的一个重要特点是数据结构和算法的分离。尽管这是个简单的概念，但这种分离确实使得STL变得非常通用。STL另一个重要特性是它不是面向对象的，为了具有足够通用性，主要依赖于模板而不是封装，继承和虚函数（多态性），这好像是一种倒退，但这正好是使得STL的组件具有广泛通用性的底层特征。STL有自己的办事方式，当你伙同它一起工作，你必须遵守它的规约。

记住这四个次语言，当你从一个切换到另一个，导致高效编程守则要求你改变策略时，不要感到惊讶。因此，C++不是一个带有一组守则的一体语言，而是一个语言联邦*，每个次语言都有自己的规约。