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

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

这四个次语言分别是:

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

Object-Oriented C++

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

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

    C++ 的泛型编程部分.

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

    包含 容器 (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++ 的哪一部分.