C++模板与泛型编程

1、面向对象编程总是以显式接口和运行时多态解决问题。模板及泛型世界不同，在此世界中显式接口和运行时多态仍然存在，但重要性降低，反倒是隐式接口和编译器多态移到前头。

运行时多态和编译时多态：前者表示哪一个虚函数该被绑定，后者表示哪一个重载函数该被调用。

显式接口由函数的签名式（函数名称、参数类型、返回类型）构成，隐式接口并不基于签名式，而是由有效表达式组成。

2、了解typename 的双重意义：

template<class T>  class Widget   使用class 

template<typename T> class Widget  使用typename

上面两个没有什么不同，然而C++并不总是把class和typename视为等价。

C++有个规则：如果解析器在template中遭遇一个嵌套从属名称，它便假设这名称不是个类型，除非你告诉它是。

一般性规则很简单：任何时候当你想要在template中指涉一个嵌套从属类型名称，就必须在紧邻它的前一个位置放上关键字typename。

注意：“typename必须作为嵌套从属类型名称的前缀词”的例外是，typename不可以出现在base class list内的嵌套从属名称类型前，也不可以出现在member initialization list (成员初始列)中作为base class修饰符。

 3、模板全特化“template <>” 象征这既不是template也不是标准class，也就是说一旦类型参数被定义，再也没有其他template参数可供变化。

注意：当继承MsgSender<Company> ,但其中的Company是个template参数，不到后来我们无法确切知道他是什么。而如果不知道Company是什么，就无法知道class MsgSender<Company> 看起来像什么———更明确的说是没办法知道他是否有个sendClear函数。

有三个解决办法：

第一是在base class 函数调用动作之前加上this->

第二是使用using 声明式

第三是明白指出被调用函数位于base class内

4、将与参数无关的代码抽离template，