面向对象:
</pre><pre name="code" class="cpp">class Widget{
public:
widget();
virtural ~widget();
virtural void normalize();
}
</pre><pre name="code" class="cpp">void doPeocessing(Widget& w)
{
if(w.size()>10 && w != NMD)
{
Widget temp(w);
temp.normalize();
}
}
定义了一个无意义的类和函数。
显示接口:w被声明为Widget,w支持Widget的接口,并且接口的定义在源码中可见,这就是显示接口。在源码中明确可见的接口。
运行期多态:Widget的成员函数为virtural,w调用那些成员函数由运行期决定。运行期多态指的就是在运行期根据w的动态类型决定调用哪一个函数,或者是基类函数或者派生类函数。
Templates及泛型编程:
通过泛型的方式重新定义上边的函数,
template<typename T>
void doProcessing(T& w)
{
if(w.size()>10 && w != NMD)
{
T temp(w);
temp.normalize();
}
}
隐式接口:w必须支持的接口类型由T来决定。在上例看来T类型必须支持size normalize 成员函数,copy构造函数等等。T必须支持的表达式就是T必须支持的隐式接口,否则无法通过编译。
编译期多态:凡是涉及到w的任何函数调用,有可能造成template函数的具现化,使这些调用得以成功。这样的具现行为发生在编译期,因此称为编译期多态。也就是在编译期同通过模板实例化函数模板。