oop都是以显示接口和运行期多态解决问题；
Template和泛型编程以隐式接口和编译期多态解决问题。
----------------------------------------------------------------------------------------------------------------------------------------------
classes和template都支持接口和多态。
对于classes而言接口是显式的，以函数签名为中心；多态是通过virtual函数发生在运行期。
对于template而言接口是隐式的，取决于有效表达式；多态是通过template具现化和函数重载解析发生于编译期。
----------------------------------------------------------------------------------------------------------------------------------------------
class Widget
{
public:
Widget();
virtual ~Widget();
virtual std::size_t size() const;
virtual void normalize();
void swap(Widget& other);
};
显示接口由函数的签名式（函数名称、参数类型、返回类型）构成：
一个构造函数、一个析构函数、函数size、normalize、swap以及其参数类型、返回类型、常量性构成；
当然也包括编译期产生的copy构造函数、copy assignment操作符。另外也可以包括typedef。
运行期多态：
由于有virtual函数，那么函数的调用将取决于运行期w的动态类型。（换句话说就是，virtual函数的调用不在编译期决定，而是在运行期决定调用哪个virtual函数：base class的版本还是derived class的版本）
template<typename T>
void doProcessing( T& w)
{
if(w.size() > 10 && w != someNsatyWifget)
{…}
}
隐式接口并不基于函数的签名式。而是由有效表达式组成：
T的隐式接口看起来好像有这么约束：
1.他必须提供一个名为size的函数，该函数返回一个整数值。
2.他必须支持一个opreator！=函数，用来比较家两个T对象。这里我们假设someNastyWidget的类型是T。
size成员函数可能是从base class 继承而来的，所以它不需要返回一个数值类型。
T并不需要支持opreator！=，因为opreator！=接收一个类型为x的对象那个和一个类型为y的对象，T可被转换为x而someNastyWidget的类型可被转换成y，这样就可以有效调用！=了。
虽然具体确定隐式接口很难，但是我们整体确认表达式约束条件却很简单，if语句的条件句必须是个布尔表达式。这是template doProcessing加诸于其类型参数T的隐式接口的一部分。其他的隐式接口是：copy构造函数、normalize和swap也都必须对T类型对象有效。
编译期多态：
对于w的任何函数调用，都有可能造成template具现化。
这些行为发生在编译期。
以不同的template参数具现化function template会导致调用不同的函数，这就是编译期多态。
Ps：显示接口和隐式接口都在编译期完成检查。