CSDN博客

img cc9hwa

使用模板模拟虚函数

发表于2004/5/7 22:01:00  605人阅读

使用模板模拟虚函数

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

#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<typename 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();

}

 

for more information and simulation of virtual function with template, please refer to http://www.codeproject.com/cpp/SimulationofVirtualFunc.asp

0 0

相关博文

我的热门文章

img
取 消
img