C/C++语言的静态类型系统，在满足效率与安全性的同时，很大程度上也成为阻碍程序员编写通用代码的桎梏。它迫使人们不得不为每一种数据类型编写完全或几乎完全相同的实现，虽然它们在抽象层面上是一致的。所以C++中引入泛型和STL，这样极大程度上提高效率。