最开始,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++ 的哪一部分.