模板特化降低代码膨胀

以下内容根据TC++PL 13.5 Specialization一节。
    
    考虑定义了模板Vector<T>之后，我们可以定义
    Vector<int *>
    Vecotr<char *>
    Vector<Shape *>
    等。
    
    Vector<T>的所有操作，对int *, char *等各种类型都要生成一份代码，
    例如Vector<T>::swap()，最终代码里就会有Vector<int *>::swap()，
    Vector<char *>::swap()等，所有这些swap()的执行代码几乎是完全一
    样的，唯一的区别是其中的数据类型是不同的指针，生成的二进制代码
    是完全一样的。这就造成了浪费。
    
    采用Specialization，先定义Vector<void *>，再以如下方式偏特化：
    Vector<int *>  : private Vector<void *>
    Vector<char *> : private Vector<void *>
    Vector<Shape *>: private Vector<void *>
    等。
    
    这样，Vector<T *>的所有操作，都可以通过Vector<void *>来完成。
    例如所有的Vector<T *>::swap()都可以调用Vector<void *>::swap()
    完成。Vector<Ｔ*>的操作只是给Vector<void *>增加了一层类型转换，
    而没有增加新的代码，这一层转换会被编译器优化掉。最终二进制代码
    中，就不会有Vector<int *>:swap()，Vector<char *>::swap()等了，
    只有Vector<void *>::swap()的一份代码。减少了浪费。
    
    TC++PL里面讲的很清楚了，应该仔细多读读，有这么好的书不好好利用，
    实在是浪费。