泛型 – 梁笔记

模板（templates）本应被设计为“泛型（generics）”那样吗

不是这样。generics 其实是为抽象类而设的语法；亦即，利用 generics（无论是 Java generics 或 C# generics），你从此不再需要定义精确的接口，但相对地，你也要为此付出诸如虚函数调用以及/或者动态类型转换的花销。

根据Effective C++第三版第一条款的描述，C++由以下四个“子语言”组成：

1、C子语言。C++支持C语言的几乎全部功能，主要是c89的部分，在语法上与C语言仅有极微妙的差别(如括号表达式的左右值性，具体请参考C++标准文献)。这部分功能对应于传统的面向过程的编程泛型，并提供了面向函数编程泛型的基础。