先看一个简单的虚函数的例子

#include <iostream>
using namespace std;
class B
{
public:
void Fun() { vf(); }
virtual void vf() { cout << "B::vf" << endl; }
};
class D : public B
{
public:
void vf() { cout << "D::vf" << endl; }
};

int main()
{
D d;
d.Fun();
B* pd = NULL;
pd = &d;
pd->Fun();
}

它的输出也很简单， 没有什么可以解释的。

D::vf

D::vf


我们的目标是使用模板来重新实现它，下面便是具体实现:

#include <iostream>
using namespace std;
template<typename T>
class Base
{
public:
void Fun()
{
T* pT = static_cast<T*>(this);
pT->vf();
}

void vf()
{
cout << "Base::vf" << endl;
}
};


class Derived : public Base<Derived>
{
public:
void vf()
{
cout << "Drived:vf" << endl;
}
};
int main()
{
Derived derived;
derived.Fun();
}

它的输出：

D::vf

我们的模板类真的实现了虚函数呀！其中关键的两条语句是： 
class Derived : public Base<Derived>
T* pT = static_cast<T*>(this);

利用模板的好处是很明显的：首先是编译后的程序变小了，省去了vptr 和 vtable。
第二时效率，模板类在编译期完成了静态绑定，比起虚函数的执行期动态绑定，节省了对於指针的指针的调用。 

如果模板真的那么强大，我想早就没有人用虚函数了。下面我们有必要谈一谈它的缺
点:

我们重新来改写main()函数
int main()
{
Derived derived;
derived.Fun();
Base *pBase = &derived;
pBase->Fun();

}
似乎没有问题，我们重新编译执行.......................报错了没有？报错的原因在於Base Class 后的尖括号，你必须声明那个<typename T>。我们重新改写一下

int main()
{
Derived derived;
derived.Fun();
Base<Derived> *pBase = &derived;
pBase->Fun();

}

重新编译执行，如果再有问题。那就是你自己的了。

模板是支持缺省值的，因此我们可以适当的偷下懒。将我们的基类改写一下。


template<type name T=Derived>
class Base
{
public:
void Fun()
{
T* pT = static_cast<T*>(this);
pT->vf();
}

void vf()
{
cout << "Base::vf" << endl;
}
};

但即便如此，尖括号也是必须的。


int main()
{
Derived derived;
derived.Fun();
Base<> *pBase = &derived;
pBase->Fun();

}