篮子、水果和鸡蛋——关于C++的模板偏特化和萃取编程技法
最近在读《STL源码剖析》。读这本书的时候发现自己的C++的知识其实是非常匮乏的。 从大学的C++教材上学到一些C++基本的语法、内存管理、继承、多态等方面的基础知识。这些只是是一棵大树的根。而读STL的源码和侯捷的解析的时候，发现C++还有很多丰富的细节和技巧。这些是大树上的枝叶。学习C++，不仅要学习根，也要学习枝叶，这样才能让大树茂盛起来。虽然C++语法一些用法较为晦涩，但读完这些代码之后觉得思路比以前更开阔，另外可以活动脑筋。 比如模板的偏特化这个特性。侯捷的《STL源码剖析》中对于模板的偏特化(partial specialization)的解释为： 如果class template拥有一个以上的template参数，我们可以针对其中某个或多个 template参数进行特化工作。template是一个很抽象的东西。template偏特化之后就让模板变得具体那么一点点。 用一个形象一点的比喻吧。我们把template比作一个装东西的篮子。这个篮子既可以装鸡蛋，也可以装苹果。那么所谓偏特化就是让你用一个篮子专门装水果，这就是template水果篮。以后你就只能使用水果篮来装苹果、装梨，而不能使用其他的篮子来装这些水果了。 看一个STL例子： 有一个“篮子” iterator_traits， 它内部typedef 了value_type类型，用来定义模板的参数类型class I