《Effective C++》rule 01: View C++ as a federation of languages

最开始，C++ 是 C + OO (Object Oriented)，所以把 C++ 称为 C with Classes.

而之后 C++ 多了很多新的特性:

• exceptions (异常)
• templates (模板)
• STL (Standard Template Library, 标准模板库)

如今的 C++ 是个多范式编程语言，支持:

• 面向过程 (procedural)
• 面向对象 (object-oriented)
• 函数式编程 (functional programming)
• 泛型编程 (generic programming)
• 模板元编程 (template metaprogramming)

为了更易于理解 C++, 《Effective C++》的作者 Scott Meyers 建议将 C++ 视作一个由四个 次语言 (sublanguage) 组成的 "联邦".

在每个次语言中，规则相对简单直观，而在不同的次语言中进行转换时，规则可能有一些变化.

这四个次语言分别是：

1. C

   毕竟 C++ 是从 C 发展过来的，许多内置数据类型、预处理语句、指针等都是从 C 传承来的.

2. Object-Oriented C++

   顾名思义就是与面向对象相关的部分:

   • 类 (classes)，包括其构造函数、析构函数等
   • 封装 (encapsulation)
   • 继承 (inheritance)
   • 多态 (polymorphism)
   • virtual function (虚函数)、动态绑定等

3. Template C++

   C++ 的泛型编程部分.

   由于 template 功能强大，产生了新的编程范式 —— template metaprogramming (TMP, 模板元编程)

4. STL

   包含 容器 (containers)、迭代器 (iterators)、算法 (algorithms)、函数对象 (function objects)等.

小 tips:

• 对内置 (C-like) 类型而言值传递 (pass by value)往往比引用传递(pass by reference)要高效.
• 然而对于 Object-Oriented C++ 而言，由于用户自定义 (user-defined) 的构造函数和析构函数的存在，引用传递 (pass by reference to const) 往往更好. (对 Template C++ 更是如此，而对于 STL 来说，pass by value 要更好，原因是迭代器和函数对象是在 C 指针之上塑造出来的)

总结: C++ 每个次语言都有自己的规约，C++ 高效编程守则视情况而变化，取决于你使用 C++ 的哪一部分.